Hackernews posts about Erdos
- Amateur armed with ChatGPT solves an Erdős problem (www.scientificamerican.com)
- GPT-5.4 Pro solves Erdős Problem #1196 (twitter.com)
- GPT-5.4 pro solves erdos problem #1196 (www.erdosproblems.com)
- GPT-5.4 Pro solved Erdos problem #1196 (xcancel.com)
- Show HN: Erdös Problem Solver Agent (github.com)
- Another Erdos Problem Solved (www.erdosproblems.com)
- ChatGPT solves Erdos Problem 1176 in 80 minutes (chatgpt.com)
- Paul Erdős: The Man Who Loved Only Numbers (1998) [video] (www.youtube.com)
- GPT 5.4 solves major open math problem- Comments by Terry Tao and Jared Lichtman (www.erdosproblems.com)
- Show HN: Electric Minds Reborn: pioneering virtual community, on a new platform (electricminds.org)
- The Cost of Being "Nice" (bytesizedchunks.net)
- “Erdos problem #728 was solved more or less autonomously by AI” (mathstodon.xyz)
- Erdos 281 solved with ChatGPT 5.2 Pro (twitter.com)
- 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)
- 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)
- Apparently Opus 4.6 has solved erdos' prime divisibility conjecture [pdf] (files.catbox.moe)
- Who has the lowest Erdos-Bacon-Epstein number? (statmodeling.stat.columbia.edu)
- Erdos Problem #728 Solved (Mostly) Autonomously by AI (mathstodon.xyz)
- GPT 5.2 helps solve Erdős problem #728 (www.erdosproblems.com)
- AI tools are becoming capable enough to pick off open Erdos problem (mathstodon.xyz)
- Terence Tao: AI contributions to Erdős problems (github.com)
- Erdos #1051 Forum (www.erdosproblems.com)
- Amateur mathematicians solve long-standing Erdős maths problems with AI (www.newscientist.com)
- A crowdsourced project to link up erdosproblems.com to the OEIS (terrytao.wordpress.com)
- Is AI solving open Erdős problems? (zeyu-zheng.github.io)
- Erdos problems solved more or less autonomously by AI (mathstodon.xyz)
- AI Contributions to Erdős Problems (github.com)