Math
GPT-5 Proves Erdős's 80-Year-Old Unsolved Problem — A New Era for AI Mathematics Research
Related terms: 離散数学 組合せ幾何学 AI推論 Planar unit distance problem Erdos 1946
Key points (reviewing AI explanation)
OpenAI's GPT-5 generated an original proof for Erdős's planar unit-distance problem, which had been unsolved for 80 years, disproving the original conjecture. Terence Tao (Fields Medalist) praised it as 'the clearest resolution of an unsolved problem by AI.' An earlier claim that GPT-5 had 'solved 10 unsolved problems' turned out to be merely a rediscovery of existing literature, but this time it is regarded as a genuinely new mathematical achievement. It signals the arrival of an era in which AI collaborates with human mathematicians to discover new theorems.
Explanation
OpenAI's GPT-5 discovered a strategy that generates more pairs than the configuration proposed by Paul Erdős for the planar unit-distance problem he posed in 1946, and produced an original mathematical proof disproving the unsolved conjecture. Fields Medalist Terence Tao praised it as 'the clearest example of an unsolved problem being resolved by AI.'
Source: techcrunch.com