OpenAI Releases AI-Generated Proofs for 23 Famous Erdős Math Problems

9 Oct 2026, 11:09 am · 2h ago · 1 min read · OfficeChaiNew

OpenAI has released a major dataset of mathematical results that includes formal proofs solving or advancing 23 famous Erdős problems. Formulated by the renowned mathematician Paul Erdős, these unsolved conjectures have challenged mathematicians for decades across combinatorics, number theory, and graph theory. The drop highlights OpenAI's recent advancements in leveraging deep learning models for automated theorem proving and advanced mathematical reasoning. Researchers worldwide can now analyze the computational techniques used to generate these proofs, marking a critical milestone in applying artificial intelligence to pure mathematics and scientific discovery workflows globally.