Hackernews posts about Erdos

1. “Erdos problem #728 was solved more or less autonomously by AI” (mathstodon.xyz)
   619 points by cod1r 25 days ago | 363 comments
2. Erdos 281 solved with ChatGPT 5.2 Pro (twitter.com)
   308 points by nl 17 days ago | 294 comments
3. Erdos Problem #728 Solved (Mostly) Autonomously by AI (mathstodon.xyz)
   4 points by pfdietz 26 days ago | discuss
4. GPT 5.2 helps solve Erdős problem #728 (www.erdosproblems.com)
   4 points by tootyskooty 28 days ago | discuss
5. Erdos #1051 Forum (www.erdosproblems.com)
   3 points by nmstoker 4 days ago | 1 comments
6. Amateur mathematicians solve long-standing Erdős maths problems with AI (www.newscientist.com)
   3 points by westurner 16 days ago | 1 comments
7. Is AI solving open Erdős problems? (zeyu-zheng.github.io)
   3 points by demirbey05 26 days ago | discuss
8. Erdõs Problem #281 (www.erdosproblems.com)
   2 points by gone35 17 days ago | 1 comments
9. Erdős Problem #347 Solved (AI assisted math) (www.erdosproblems.com)
   2 points by tzury 13 days ago | discuss
10. AI Contributions to Erdős Problems (github.com)
    2 points by ColinWright 25 days ago | discuss
11. GPT-Erdos – GPT 5.2 attempts to solve Erdos problems, reviewed by mathematicians (github.com)
    1 points by yread 4 days ago | 1 comments
12. Lean 4 formalization of Erdős Problem #848 – seeking review (github.com)
    1 points by vibecodermcswag 7 days ago | 1 comments
13. Semi-Autonomous Mathematics Discovery with Gemini: Erdős Problems Case Study (arxiv.org)
    1 points by tzury 1 day ago | discuss
14. Show HN: GPT-Erdos – the results of GPT 5.2 Pro on the Erdos problems (www.ocf.berkeley.edu)
    1 points by nsomani 8 days ago | discuss
15. AI Contributions to Erdős Problems (github.com)
    1 points by fdeage 16 days ago | discuss
16. GPT-5.2 Solves *Another Erdős Problem, #729 (old.reddit.com)
    1 points by energy123 24 days ago | discuss
17. Terence Tao's list of AI contributions to Erdős problems (github.com)
    1 points by nomilk 26 days ago | discuss
18. Is AI solving open Erdős problems? (zeyu-zheng.github.io)
    1 points by fahrbach 26 days ago | discuss
19. The application of AI tools to Erdos problems passes a milestone (mathstodon.xyz)
    1 points by ColinWright 27 days ago | discuss
20. Ask HN: What to teach my kid if AI does math and CS?
    12 points by devShark 20 days ago | 22 comments
21. I built the first Amharic voice assistant (www.youtube.com)
    1 points by erdos_2 8 days ago | discuss
22. Nuclear bunker nears collapse due to erosion (www.bbc.co.uk)
    5 points by mindracer 21 days ago | discuss
23. Close-Up Look Reveals That Raindrops Are More Erosive Than Assumed (hackaday.com)
    5 points by lxm 25 days ago | discuss
24. Microbubble-induced erosion releases micro- and nanoplastics into water (www.science.org)
    2 points by PaulHoule 6 days ago | discuss
25. Show HN: Doclific – ERD's, Architecture Diagrams, and Snippets, All in Your Repo (www.doclific.com)
    1 points by luker123 13 days ago | discuss
26. Ask HN: What are the metrics for "AI-generated technical debt"?
    3 points by willj 14 days ago | 2 comments
27. AI's Phase Transition Noise
    2 points by dpforesi 11 days ago | 2 comments
28. Terence Tao: At the Erdos problem website, AI assistance now becoming routine (mathstodon.xyz)
    311 points by dwohnitmok 2 months ago | 90 comments
29. AI just proved Erdos Problem #124 (www.erdosproblems.com)
    242 points by nl 2 months ago | 98 comments
30. Erdős Problem #1026 (terrytao.wordpress.com)
    161 points by tzury about 2 months ago | 30 comments
31. AI for math resources, and erdosproblems.com (terrytao.wordpress.com)
    160 points by nabla9 over 1 year ago | 35 comments
32. Show HN: Erdos – open-source, AI data science IDE (www.lotas.ai)
    86 points by jorgeoguerra 3 months ago | 33 comments
33. Erdos Problems Collection (www.erdosproblems.com)
    82 points by dargscisyhp almost 2 years ago | 14 comments
34. A life that added up to something (Obituary of Paul Erdòs) (people.math.osu.edu)
    78 points by joebig about 1 year ago | 17 comments
35. The FBI spent decades tracking mathematician Paul Erdős (2015) (www.muckrock.com)
    18 points by signa11 over 1 year ago | 6 comments
36. We resolve a $1000 Erdős problem, with a Lean proof vibe coded using ChatGPT (borisalexeev.com)
    17 points by mathfan 4 months ago | 4 comments
37. Harmonic's automated theorem prover Aristotle solves open Erdős problem in Lean (www.erdosproblems.com)
    16 points by mathfan 2 months ago | 2 comments
38. Formalization of Erdős Problems (xenaproject.wordpress.com)
    7 points by kevinbuzzard 2 months ago | 1 comments
39. Erdős Problem #1026 (terrytao.wordpress.com)
    6 points by cgdl about 2 months ago | discuss
40. Sebastien Bubeck: Another twist in the Erdős problems story (twitter.com)
    5 points by mathfan 3 months ago | 1 comments
41. Resolving a $1000 Erdős problem, and vibe coding a Lean proof using ChatGPT (mathstodon.xyz)
    5 points by mathfan 3 months ago | 1 comments
42. Who has the lowest Erdos-Bacon-Epstein number? (statmodeling.stat.columbia.edu)
    5 points by nabla9 2 months ago | discuss
43. Resolving a $1000 Erdős problem, and vibe coding a Lean proof using ChatGPT (arxiv.org)
    5 points by mathfan 3 months ago | discuss
44. AI tools are becoming capable enough to pick off open Erdos problem (mathstodon.xyz)
    4 points by olalonde about 1 month ago | discuss
45. Terence Tao: AI contributions to Erdős problems (github.com)
    4 points by frozenseven about 1 month ago | discuss
46. A crowdsourced project to link up erdosproblems.com to the OEIS (terrytao.wordpress.com)
    3 points by robinhouston 5 months ago | 1 comments
47. Erdos problems solved more or less autonomously by AI (mathstodon.xyz)
    3 points by gmays about 1 month ago | discuss
48. AI Contributions to Erdős Problems (github.com)
    3 points by tzury about 1 month ago | discuss
49. The Story of Erdős Problem #1026 (terrytao.wordpress.com)
    3 points by amichail about 2 months ago | discuss
50. The story of Erdős problem #1026 (terrytao.wordpress.com)
    3 points by signa11 about 2 months ago | discuss
51. Erdosgate (garymarcus.substack.com)
    3 points by FromTheArchives 4 months ago | discuss
52. A Triangle Inequality by Erdős (www.johndcook.com)
    3 points by ibobev 5 months ago | discuss
53. Harmonic's Math AI (Aristotle) Solves an Erdős-Problem (www.erdosproblems.com)
    2 points by Davidzheng 2 months ago | 1 comments
54. Did the ChatGPT Erdos controversy obscure a real achievement? (twitter.com)
    2 points by maxutility 3 months ago | 1 comments
55. Erdős Number (en.wikipedia.org)
    2 points by tosh 4 months ago | 1 comments
56. The Erdös Number Project (sites.google.com)
    2 points by jruohonen 5 months ago | 1 comments
57. Erdős Number (en.wikipedia.org)
    2 points by Jalad 9 months ago | 1 comments