The late Hungarian mathematician Paul Erdős thought he had the last word on a geometry problem. Now an OpenAI chatbot has proved him wrong.

OpenAI claims its reasoning model disproved a geometry conjecture unsolved since 1946 — and this time, the mathematicians who exposed its last embarrassing claim are backing it up.

OpenAI says its reasoning model autonomously disproved an 80-year-old math conjecture by Paul Erdős, with implications for smart contract verification and crypto.