Hackernews posts about Erdos
- “Erdos problem #728 was solved more or less autonomously by AI” (mathstodon.xyz)
- Erdos 281 solved with ChatGPT 5.2 Pro (twitter.com)
- Erdos Problem #728 Solved (Mostly) Autonomously by AI (mathstodon.xyz)
- GPT 5.2 helps solve Erdős problem #728 (www.erdosproblems.com)
- Erdos #1051 Forum (www.erdosproblems.com)
- Amateur mathematicians solve long-standing Erdős maths problems with AI (www.newscientist.com)
- Is AI solving open Erdős problems? (zeyu-zheng.github.io)
- Erdõs Problem #281 (www.erdosproblems.com)
- Erdős Problem #347 Solved (AI assisted math) (www.erdosproblems.com)
- AI Contributions to Erdős Problems (github.com)
- Show HN: GPT-Erdos – the results of GPT 5.2 Pro on the Erdos problems (www.ocf.berkeley.edu)
- AI Contributions to Erdős Problems (github.com)
- GPT-5.2 Solves *Another Erdős Problem, #729 (old.reddit.com)
- Is AI solving open Erdős problems? (zeyu-zheng.github.io)
- The application of AI tools to Erdos problems passes a milestone (mathstodon.xyz)
- I built the first Amharic voice assistant (www.youtube.com)
- Nuclear bunker nears collapse due to erosion (www.bbc.co.uk)
- Microbubble-induced erosion releases micro- and nanoplastics into water (www.science.org)
- AI just proved Erdos Problem #124 (www.erdosproblems.com)
- Erdős Problem #1026 (terrytao.wordpress.com)
- AI for math resources, and erdosproblems.com (terrytao.wordpress.com)
- Show HN: Erdos – open-source, AI data science IDE (www.lotas.ai)
- Erdos Problems Collection (www.erdosproblems.com)
- A life that added up to something (Obituary of Paul Erdòs) (people.math.osu.edu)
- The FBI spent decades tracking mathematician Paul Erdős (2015) (www.muckrock.com)
- We resolve a $1000 Erdős problem, with a Lean proof vibe coded using ChatGPT (borisalexeev.com)
- Harmonic's automated theorem prover Aristotle solves open Erdős problem in Lean (www.erdosproblems.com)
- Formalization of Erdős Problems (xenaproject.wordpress.com)
- Erdős Problem #1026 (terrytao.wordpress.com)
- Who has the lowest Erdos-Bacon-Epstein number? (statmodeling.stat.columbia.edu)
- AI tools are becoming capable enough to pick off open Erdos problem (mathstodon.xyz)
- Terence Tao: AI contributions to Erdős problems (github.com)
- A crowdsourced project to link up erdosproblems.com to the OEIS (terrytao.wordpress.com)
- Erdos problems solved more or less autonomously by AI (mathstodon.xyz)
- AI Contributions to Erdős Problems (github.com)
- The Story of Erdős Problem #1026 (terrytao.wordpress.com)
- The story of Erdős problem #1026 (terrytao.wordpress.com)
- Erdosgate (garymarcus.substack.com)
- A Triangle Inequality by Erdős (www.johndcook.com)
- Harmonic's Math AI (Aristotle) Solves an Erdős-Problem (www.erdosproblems.com)
- Erdős Number (en.wikipedia.org)
- The Erdös Number Project (sites.google.com)
- Erdős Number (en.wikipedia.org)