For eighty years, the 'planar unit distance problem' was a wall. The question—how many equal-sized lines can you draw connecting dots on an infinite sheet of paper without overlapping—seemed simple, but the proof remained elusive.
Today, the wall came down.
Using a combination of frontier reasoning models and specialized formal verification, AI has provided the breakthrough. But the real story isn't the solution itself; it's the method.
We are witnessing the transition from the 'Stochastic Parrot' era to the 'Discovery' era. For years, critics argued that AI could only rearrange existing human knowledge. By solving a problem that had zero existing human solution to copy, AI has proven it can synthesize new logic.
If we can solve 80-year-old conjectures in geometry, the implication for cryptography, materials science, and protein folding is immediate. The gap between 'predicting the next token' and 'solving the unsolvable' just disappeared.