6 stories tagged ai-mathematics, newest first.
17 points by elo2000 | 7 comments
Vinay Prasad's Substack post arguing that Terence Tao misused a cancer drug analogy when discussing AI solving math problems without explaining mechanisms.
15 points by philipfweiss | 1 comments
Scott Aaronson's Shtetl-Optimized blog post reacting to OpenAI releasing hundreds of AI-solved major math results, including one his wife worked on.
361 points by 6bitquant | 380 comments
Scott Aaronson blog post reacting to OpenAI releasing hundreds of AI-generated math results, including a claimed proof of Khot's Unique Games Conjecture.
321 points by nill0 | 194 comments
arXiv paper arguing that Lean verification of AI-autoformalised proofs, such as a claimed Navier–Stokes blow-up proof, does not guarantee the original natural-language proof is correct.
![Screenshot of cdn.openai.com: GPT-5.6 Sol Ultra produces proof of the Cycle Double Cover Conjecture [pdf]](https://hn.urlbox.com/shots/renders/2026/7/10/91480f3e-526b-426b-95b6-962a0b9ec6cf.jpg)
489 points by scrlk | 404 comments
OpenAI PDF paper presenting a proof of the cycle double cover conjecture in graph theory, stated to be produced entirely by GPT-5.6 Sol Ultra.
590 points by cod1r | 334 comments
Terence Tao's Mastodon post reporting that Erdős problem #728 was solved more or less autonomously by AI, and discussing emerging AI-powered capabilities in mathematics.