Hackernews posts about Erdos

1. Amateur armed with ChatGPT solves an Erdős problem (www.scientificamerican.com)
   796 points by pr337h4m 11 days ago | 560 comments
2. GPT-5.4 Pro solves Erdős Problem #1196 (twitter.com)
   40 points by fratellobigio 22 days ago | 20 comments
3. GPT-5.4 pro solves erdos problem #1196 (www.erdosproblems.com)
   4 points by larve 21 days ago | discuss
4. GPT-5.4 Pro solved Erdos problem #1196 (xcancel.com)
   4 points by energy123 22 days ago | discuss
5. Show HN: Erdös Problem Solver Agent (github.com)
   3 points by demirbey05 9 days ago | 1 comments
6. Another Erdos Problem Solved (www.erdosproblems.com)
   3 points by paulpauper 21 days ago | 1 comments
7. ChatGPT solves Erdos Problem 1176 in 80 minutes (chatgpt.com)
   3 points by voisin 10 days ago | discuss
8. OpenAI's GPT-5.4 Pro reportedly solves an open Erdős problem in two hours (the-decoder.com)
   2 points by voisin 19 days ago | discuss
9. Show HN: Another experiment with an Erdos problem and LLMs
   1 points by ilitirit 10 days ago | discuss
10. Paul Erdős: The Man Who Loved Only Numbers (1998) [video] (www.youtube.com)
    1 points by surprisetalk 27 days ago | discuss
11. GPT 5.4 solves major open math problem- Comments by Terry Tao and Jared Lichtman (www.erdosproblems.com)
    3 points by philipfweiss 16 days ago | 1 comments
12. Show HN: Electric Minds Reborn: pioneering virtual community, on a new platform (electricminds.org)
    1 points by amysox 26 days ago | discuss
13. Trojans in Firefox extensions is MUCH more common than you think. Deep dive (www.yourdev.net)
    7 points by ernos 29 days ago | 2 comments
14. Ask HN: Please, I need your help to try out an iOS app I work on
    1 points by erosa01 3 days ago | 3 comments
15. Show HN: Redos-analyzer – static ReDoS detection and auto-fix for Python (github.com)
    1 points by kingkongsatan 29 days ago | discuss
16. The Cost of Being "Nice" (bytesizedchunks.net)
    11 points by mrdosija 9 days ago | 5 comments
17. “Erdos problem #728 was solved more or less autonomously by AI” (mathstodon.xyz)
    619 points by cod1r 4 months ago | 363 comments
18. Terence Tao: At the Erdos problem website, AI assistance now becoming routine (mathstodon.xyz)
    311 points by dwohnitmok 6 months ago | 90 comments
19. Erdos 281 solved with ChatGPT 5.2 Pro (twitter.com)
    308 points by nl 4 months ago | 294 comments
20. AI just proved Erdos Problem #124 (www.erdosproblems.com)
    242 points by nl 5 months ago | 98 comments
21. Erdős Problem #1026 (terrytao.wordpress.com)
    161 points by tzury 5 months ago | 30 comments
22. AI for math resources, and erdosproblems.com (terrytao.wordpress.com)
    160 points by nabla9 almost 2 years ago | 35 comments
23. Show HN: Erdos – open-source, AI data science IDE (www.lotas.ai)
    86 points by jorgeoguerra 6 months ago | 33 comments
24. A life that added up to something (Obituary of Paul Erdòs) (people.math.osu.edu)
    78 points by joebig over 1 year ago | 17 comments
25. The FBI spent decades tracking mathematician Paul Erdős (2015) (www.muckrock.com)
    18 points by signa11 over 1 year ago | 6 comments
26. We resolve a $1000 Erdős problem, with a Lean proof vibe coded using ChatGPT (borisalexeev.com)
    17 points by mathfan 7 months ago | 4 comments
27. Harmonic's automated theorem prover Aristotle solves open Erdős problem in Lean (www.erdosproblems.com)
    16 points by mathfan 5 months ago | 2 comments
28. Formalization of Erdős Problems (xenaproject.wordpress.com)
    7 points by kevinbuzzard 5 months ago | 1 comments
29. Erdős Problem #1026 (terrytao.wordpress.com)
    6 points by cgdl 5 months ago | discuss
30. Sebastien Bubeck: Another twist in the Erdős problems story (twitter.com)
    5 points by mathfan 7 months ago | 1 comments
31. Resolving a $1000 Erdős problem, and vibe coding a Lean proof using ChatGPT (mathstodon.xyz)
    5 points by mathfan 7 months ago | 1 comments
32. Who has the lowest Erdos-Bacon-Epstein number? (statmodeling.stat.columbia.edu)
    5 points by nabla9 5 months ago | discuss
33. Resolving a $1000 Erdős problem, and vibe coding a Lean proof using ChatGPT (arxiv.org)
    5 points by mathfan 7 months ago | discuss
34. Ask HN: I think I improved an Erdős problem how can I verify it?
    4 points by donutthejedi about 2 months ago | 2 comments
35. Apparently Opus 4.6 has solved erdos' prime divisibility conjecture [pdf] (files.catbox.moe)
    4 points by Bruhdinho about 2 months ago | 1 comments
36. Who has the lowest Erdos-Bacon-Epstein number? (statmodeling.stat.columbia.edu)
    4 points by varjag 3 months ago | discuss
37. Erdos Problem #728 Solved (Mostly) Autonomously by AI (mathstodon.xyz)
    4 points by pfdietz 4 months ago | discuss
38. GPT 5.2 helps solve Erdős problem #728 (www.erdosproblems.com)
    4 points by tootyskooty 4 months ago | discuss
39. AI tools are becoming capable enough to pick off open Erdos problem (mathstodon.xyz)
    4 points by olalonde 4 months ago | discuss
40. Terence Tao: AI contributions to Erdős problems (github.com)
    4 points by frozenseven 4 months ago | discuss
41. Erdos #1051 Forum (www.erdosproblems.com)
    3 points by nmstoker 3 months ago | 1 comments
42. Amateur mathematicians solve long-standing Erdős maths problems with AI (www.newscientist.com)
    3 points by westurner 4 months ago | 1 comments
43. A crowdsourced project to link up erdosproblems.com to the OEIS (terrytao.wordpress.com)
    3 points by robinhouston 8 months ago | 1 comments
44. Is AI solving open Erdős problems? (zeyu-zheng.github.io)
    3 points by demirbey05 4 months ago | discuss
45. Erdos problems solved more or less autonomously by AI (mathstodon.xyz)
    3 points by gmays 4 months ago | discuss
46. AI Contributions to Erdős Problems (github.com)
    3 points by tzury 4 months ago | discuss