100+ reactions to 100+ solutions(proofsandprompts.com)
79 points by jacobedawson | 73 comments
A blog post on Proofs and Prompts reacting to over 100 solutions, likely AI-generated math proofs; the page showed only a browser check screen.
#erdos-problems on Hacker News
6 stories tagged erdos-problems, newest first.
Erdosproblems.com Succumbs to the AI Onslaught(erdosproblems.com)
86 points by pfdietz | 37 comments
Blog post by Thomas Bloom on erdosproblems.com describing how AI's rapid progress in solving Erdős problems is changing the site and its purpose.
A recent experience with ChatGPT 5.5 Pro(gowers.wordpress.com)
683 points by _alternator_ | 510 comments
Timothy Gowers's blog post describing how ChatGPT 5.5 Pro produced PhD-level mathematical research in about an hour with little input from him.
Amateur armed with ChatGPT solves an Erdős problem(scientificamerican.com)
733 points by pr337h4m | 508 comments
Scientific American article about an amateur who used ChatGPT to prove a 60-year-old Erdős conjecture with a novel method.
“Erdos problem #728 was solved more or less autonomously by AI”(mathstodon.xyz)
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.
OpenAI researcher announced GPT-5 math breakthrough that never happened(the-decoder.com)
349 points by Topfi | 196 comments
The Decoder article reporting that an OpenAI researcher's claim of a GPT-5 math breakthrough turned out to be false.