Matthew Aldridge

@mpaldridge.bsky.social

But blue. https://mpaldridge.github.io

Take n independent nonnegative random variables, each with mean at most 1, and try to maximise the probability that their sum is at least n+1. The solution to this problem is Feige's conjecture, stated in 2005, and proved twice (largely by ChatGPT) on Monday. mpaldridge.github.io/blog/feiges-...

Feige’s conjecture

Let $X_1, X_2, \dots, X_n$ be independent random variables, each with mean at most 1. We want to maximise the probability that their sum $S = \sum_{i=1}^n X_i$ is at least $n + \delta$ for some $\delt...

mpaldridge.github.io

More on maths and AI: I also didn’t sign the Leiden declaration (leidendeclaration.ai) for similar reasons to those Timothy Gowers outlines here. gowers.wordpress.com/2026/07/26/t... (In rough agreement with most of the basic principles, but would want to be nit-picky about some particulars.)

Thoughts about the Leiden Declaration

Last September I went to a workshop at the Lorentz Centre in Leiden to discuss mathematics and AI with historians, philosophers, computer scientists, AI researchers, and mathematicians of several d…

gowers.wordpress.com

“Thousands of litres of water” seems like … not very much water? A swimming pool is tens or hundreds of thousands of litres. A data centre that, on hot days, uses a tenth of a swimming pool of water seems fine to me.

Skeet:
Microsoft is planning to build three massive AI data centres in Leeds. It’ll drain thousands of litres of water from the River Aire and become the city's biggest carbon emitter. We can still stop the council's sign-off, but we need more voices. Add your name: you.38degrees.org.uk/petitions/pr...

Link card:
Stop the Microsoft AI megasite in Leeds!
Microsoft wants to build three huge AI data centres at Skelton Grange. It would drain the River Aire and become the city's biggest carbon emitter. We can stil

Take a triangle. For each edge, trisect the edge and connect the two trisection points to the opposite corner. This forms a hexagon in the middle of the triangle. Marion’s theorem says the area of the central hexagon is one tenth the area of the original triangle. [1/2]

Bild