GPT‑5.2 Pro cracks Erdős problem in landmark AI math first
On January 18, 2026, Eclipse founder Neel Somani said he used OpenAI’s GPT‑5.2 Pro to solve Erdős Problem #281, a number theory problem open since 1980. Fields Medalist Terence Tao and other mathematicians reviewed and accepted the proof, and OpenAI president Greg Brockman highlighted the result as a major milestone for AI-assisted science.
Source: Sina / IT之家