OpenAI Disproves the Erdős Unit Distance Conjecture

Ajouté : 2026-05-26

[00:00:00]Let's dive right into this explainer because today we are looking at something absolutely wild. We're going to explore how an AI literally shattered an 80-year-old mathematical mystery, a mystery that human experts were entirely convinced they already had figured out.

[00:00:16]This isn't just about solving a puzzle.

[00:00:18]It's a complete game-changer for how we view the relationship between human intuition and artificial intelligence.

[00:00:25]The sheer shock from top mathematicians right now, it is totally palpable. When an autonomous AI stepped up and proved one of the most famous conjectures in geometry completely false, it sent massive ripples through the whole scientific community. Just look at this quote from Noga Alon, a highly respected mathematician. For decades, the absolute smartest minds on the planet believed they knew the approximate answer to this problem. But as you can see, the AI did what generations of human researchers couldn't, proving our foundational assumptions were just dead wrong.

[00:00:57]Part one, an 80-year math mystery.

[00:01:00]Okay. So, to get why this is such a monumental breakthrough, let's look at the puzzle that started it all back in 1946. Imagine you're just drawing dots on a flat piece of paper. Your only goal is to maximize how many pairs of those dots are exactly 1 in apart from each other. That simple idea, that's the core of Paul Erdős's famous unit distance problem. It sounds like a fun, simple puzzle you might give a geometry student, right? But it actually gets unbelievably complex as you add more and more points to the paper. Erdős looked at this and proposed an upper limit to how many of these unit distances could possibly exist. And Erdős was so incredibly confident about his predicted upper bound that he actually put his money where his mouth was, offering a $500 prize to anyone who could prove or disprove it. Now, sure, 500 bucks might not sound like a massive lottery win today, but in the world of Erdős problems, that is a huge bounty. It was a clear signal that this was a deep, serious, and probably very, very difficult challenge. If you look at this timeline, it perfectly illustrates this long, slow march of human effort.

[00:02:02]Decades just ticked by with brilliant minds making these tiny incremental steps. In 1984, we got the best upper bound from Spencer, Schmerl, and Trotter. Then in 2015, a closely related problem was solved. Everyone was circling the solution, building right on top of Erdos' original foundation. And literally no one suspected the foundation itself was completely flawed.

[00:02:26]Well, not until the AI stepped in.

[00:02:28]Part two, why experts were fooled.

[00:02:31]So, here's the crazy part. Humans were kind of victims of their own intuition here. Because decades passed without anyone finding a counter example, and because we were successfully solving related problems, we just naturally assumed Erdos' guess had to be right. We totally ignored the hidden mathematical reality. The counter example was out there the whole time, but it required an algebraic structure so massive and so ridiculously complicated that humans naturally assumed it wouldn't bear fruit. I mean, mathematician Thomas Bloom really hit the nail on the head.

[00:02:57]Because Erdos himself, this absolute legend in the field, believed it to be true, everyone else just fell in line.

[00:03:04]Human mathematicians spent all their time trying to prove the rule, rather than searching for the exception. When a legend says, "I believe the answer is X," the entire community spends decades trying to prove X. You don't really get funding to spend your whole career trying to prove not X.

[00:03:19]Let's be real, we are attention bottlenecked creatures, right? Human researchers have limited time, limited funding, limited career bandwidth. We actively avoid long-shot messy theories.

[00:03:29]If a mathematical approach looks like it's going to get terrifyingly complex and yield absolutely nothing, we stop.

[00:03:34]We back up and try something more elegant. And that perfectly explains why no human ever ventured far enough into these specific, treacherous mathematical waters to find the counter example. We simply stopped digging because it looked like a total dead end.

[00:03:47]Part three, the AI shatters the illusion.

[00:03:50]This brings us to the ultimate disruption. Without any humans guiding its hand, an internal AI model just ingested the prompt, crawled through the vast possibilities, and autonomously generated a mathematically flawless disproof.

[00:04:03]No human was in there tweaking the parameters halfway through. The AI was just given the problem, it searched through massive complex mathematical spaces, and it spit out a solution that left external number theory experts completely stunned.

[00:04:17]Now, I know this looks like a super dense equation, but honestly, all it simply means is this. The AI proved you can cram way, way more unit distances into a set of points than humanly thought possible. The original Erdos conjecture was demonstrably, unequivocally false.

[00:04:32]Part four, how did the AI get in?

[00:04:35]You really don't need a PhD in advanced math to understand how the AI pulled this off. It basically took Erdos's original flat grid, those simple dots on a piece of paper, and stretched them into massive high-dimensional spaces.

[00:04:47]Humans had actually thought about doing this before, but we just assumed scaling up the dimensions wouldn't yield anything new. The AI, however, went for a brute-force mathematical expansion. It happily ventured right into the spaces that humans deemed way too unwieldy to track.

[00:05:01]To actually make this work without the math breaking down, the AI used something called infinite class field towers. Sounds intimidating, right? But you can basically think of them as these dizzyingly complex multi-dimensional structures that keep the mathematical rules stable as you scale up to infinity. These are spaces so deep and so complicated that a human mathematician would get hopelessly, completely lost trying to manually calculate all the variables. But for the AI, it was just data to process. When you stack the two approaches side by side, it is incredibly revealing. We humans prefer elegant, manageable theories, but the AI approach, it just tries everything. It combines encyclopedic knowledge with literally infinite computational patience. It doesn't get tired, it doesn't get bored, and it definitely doesn't have a bias telling it that a certain mathematical path is a waste of time. It just calculates until it finds the exact answer hidden away in the sheer mathematical noise.

[00:05:52]Part five, the future of human math.

[00:05:56]Top mathematicians are finally realizing that AI is way more than just a really fast calculator. It's an explorer that is perfectly willing to drown in complexity until it finds a pearl. Jacob Zimmerman's quote here perfectly captures the current mood. The AI can tread water in these impossibly deep mathematically treacherous areas where human working memory simply maxes out.

[00:06:18]And you know what's really interesting?

[00:06:19]There's almost a sense of relief in the math community as captured here by Fields medalist W. T. Gowers. Why relief?

[00:06:26]Because the AI found a counter example through computational brute force and deep searching rather than inventing an entirely new, profound, human-like theory from scratch.

[00:06:37]It really shows that AI has incredible strengths in exploring vast spaces, but it hasn't completely replaced the human need for actual conceptual theory building.

[00:06:46]So, we're essentially entering this beautiful new synergy. AI is going to be the engine that generates these massive complex proofs and uncovers the counter examples hiding right in our blind spots. And human mathematicians, their role is going to shift. They'll be the ones digesting these massive AI outputs, verifying them, and extracting the true human understanding and meaning. It's this deep collaboration between boundless machine patience and human conceptual intuition. Which leaves us with one final really thrilling thought to wrap up this explainer.

[00:07:15]If a machine can just effortlessly clear away 80 years of human bias and solve a famous Erdős problem in a single autonomous run, what other impossible truths are hiding just out of our sight?

[00:07:26]What other dogmas are we holding on to simply because we haven't had the computational patience to look for the exception? I don't know about you, but I cannot wait to see what this technology uncovers next.