An OpenAI model solved a famous math problem that stumped humans for 80 years
Ars Technica
An OpenAI model disproved the long-standing Erdős unit distance conjecture by applying complex mathematical techniques that had previously discouraged human researchers.Summary
An OpenAI AI model has successfully disproved the 80-year-old Erdős unit distance conjecture, a problem in discrete geometry. While the AI did not invent entirely new mathematical techniques, it successfully synthesized existing concepts from algebraic number theory to find a solution that human mathematicians had previously avoided due to the tedious and uncertain nature of the work. The result highlights a growing trend of AI-human collaboration in mathematics, where AI systems excel at searching through vast repositories of mathematical knowledge and performing repetitive proof strategies, while human experts remain vital for verification, refining proofs, and formulating deeper research questions.
(Source：Ars Technica)