OpenAI's Reasoning AI Cracks Historic 80-Year Erdős Conjecture

OpenAI has announced that its new reasoning model has produced an original mathematical proof disproving a longstanding Erdős conjecture from 1946—a claim now backed by verification from prominent mathematicians, distinguishing it from OpenAI's previous overclaims about AI mathematical breakthroughs. This achievement showcases AI's capacity for complex reasoning chains and cross-disciplinary problem-solving, with significant implications for advances in biology, physics, engineering, and medicine. The success signals a shift in AI capabilities toward autonomous exploration of deep mathematical problems that have historically required human expertise.