How OpenAI Just Solved an 80-Year-Old Math Mystery Nobody Else Could

OpenAI says one of its internal AI models independently proved the long-standing unit distance problem.

The proof of the mathematics conjecture, linked to Paul Erdős, was reviewed and verified by outside experts.

The result is notable because it suggests AI may be able to generate new, checkable research in advanced mathematics.