OpenAI Announces Solving 80-Year-Old Math Problem: AI Independently Proves Erdős' Open Problem
6 hour ago / Read about 0 minute
Author:小编   

OpenAI announced that its newly launched general reasoning model has successfully derived an original mathematical proof, overturning a famous geometric conjecture proposed by Paul Erdős in 1946. Notably, this model was not specifically designed to solve mathematical problems. This breakthrough is regarded as the first time AI has independently solved a significant unsolved problem in the core field of mathematics, a feat confirmed by several mathematicians including Noga Alon, Melanie Wood, and Thomas Bloom. OpenAI stated that this demonstrates AI's ability to comb, sort out, organize, arrange, streamline (Note: ' comb, sort out, organize, arrange, streamline ' is kept as is due to its contextual specificity; if a direct translation is preferred, consider 'organize' or 'navigate') complex logical reasoning and interdisciplinary knowledge connections, with the potential to have a profound impact across multiple fields. Previously, OpenAI's former vice president claimed that GPT-5 had solved the Erdős problem, but it was actually citing an existing solution, which drew ridicule from peers.