Software Sentiment

OpenAI says internal model has disproved central Erdős conjecture, with proof verified by external mathematicians

OpenAI announced that an internal general-purpose reasoning model had autonomously disproved a central conjecture in discrete geometry, producing the first instance of an AI system independently solving a prominent open problem at the frontier of an active mathematical field. The result has been verified by an independent group of external mathematicians, who have published a companion paper explaining the argument and situating the result within the broader literature. Fields Medalist Timothy Gowers, writing in the companion paper, called the result "a milestone in AI mathematics." Number theorist Arul Shankar said the paper demonstrates that current AI models go "beyond just helpers to human mathematicians. They are capable of having original ingenious ideas, and then carrying them out to fruition."