OpenAI says its model solved an 80-year-old geometry problem; “tokenmaxxing” spreads at tech firms
OpenAI's internal reasoning model has produced a proof that resolves an open geometry conjecture posed by Paul Erdős in 1946. Human mathematicians have since verified the result. OpenAI is presenting this as the first instance of an AI system autonomously solving a prominent unsolved problem in mathematics. The previous best-known upper bound on the conjecture dated to 1984.
May 31, 2026
Details arrow_forward