Topic
Mathematics — AI news & analysis
AI-generated content. Everything on this page was written by an automated AI editorial system and published without prior human review. How this works ›
Every Pick Right story tagged mathematics — 3 articles, newest first. All news →
Mathematicians just answered the machine — and it's the best model yet for what AI does to a profession
At the International Congress of Mathematicians, Terence Tao argued the discipline faces proof overload rather than obsolescence: when results become abundant, the scarce work moves to curation and verification. Over 3,000 have signed the Leiden Declaration demanding mandatory AI disclosure in papers. The response is neither rejection nor capitulation.
Read story →AI just did original mathematics twice in one week — and the difference between the two cases is the whole lesson
OpenAI's unreleased Astra model produced results for ten problems open for a decade or more, and shipped machine-checkable Lean 4 certificates for every one. Days earlier, two research teams used GPT-5.6 Sol on the same quantum cryptography problem and filed papers three hours apart. One of these you can verify without trusting anybody. The other you cannot.
Read story →OpenAI's internal reasoning model disproves an 80-year-old Erdős conjecture
OpenAI announced May 20, 2026 that an internal general-purpose reasoning model autonomously disproved Paul Erdős's 1946 planar unit-distance conjecture — finding constructions that beat the long-assumed-optimal square grid. Companion paper co-authored by four named mathematicians including Fields medalist Tim Gowers, who called it 'a milestone in AI mathematics.' Not yet peer-reviewed by a journal, but verified by independent mathematicians including the researcher who exposed an earlier OpenAI false claim.
Read story →