GPT-5.2 Solves Multiple Erdos Mathematical Problems With Machine-Verified Proofs

Summary

In the first two weeks of January 2026, OpenAI's GPT-5.2 Pro generated novel mathematical proofs for multiple long-standing Erdos problems, including Problem #397 (a 30-year-old conjecture about central binomial coefficients), Problem #728, and Problem #281. At least 15 Erdos problems moved from "open" to "solved" since late December 2025, with 11 crediting AI models. Fields Medalist Terence Tao personally verified the proofs, calling the Problem #281 solution "perhaps the most unambiguous insta