Erdős problems

Google DeepMind's AlphaProof Nexus solved nine of 353 open Erdős problems and proved 44 OEIS conjectures, according to a study published in Science. The system pairs Gemini 3.1 Pro with the Lean proof assistant, and the work went through peer review, unlike other recent AI-math releases.

OpenAI claims its new reasoning model has produced an original mathematical proof disproving a geometry conjecture first posed by Paul Erdős in 1946. The company says this is the first time AI has autonomously solved a prominent open problem central to a field of mathematics, with verification from mathematicians including Thomas Bloom and Noga Alon.

OpenAI's GPT-5.4 Pro model has reportedly solved Erdős open problem #1196 in approximately 80 minutes, with another 30 minutes to format the solution as a LaTeX paper. Mathematician Terence Tao notes the solution reveals a previously undescribed connection between integer anatomy and Markov process theory.