AI Proves Major Math Theorems

Researchers and companies (here, OpenAI) are already producing formal proofs of deep mathematical conjectures that previously required human insight. Public talks and podcasts (Scott Aaronson's 'AI Mathocalypse' and Dana's OpenAI talk on Unique Games) document a rapid, accumulating list of results attributed to automated or AI‑assisted methods. — If AI routinely produces deep, verifiable math theorems, that signals a step‑change in scientific capability with consequences for research practice, credentialing, verification, and the public perception of AI power.