An internal OpenAI reasoning model produced an original proof disproving the Erdős unit distance conjecture, the first time AI autonomously solved a major open problem in mathematics.
An internal OpenAI reasoning model produced an original proof disproving the Erdős unit distance conjecture, the first time AI autonomously solved a major open problem in mathematics.