Hackernews posts about Erdos

1. AlphaProof Nexus solves 9 Erdős problems and proves 44 sequence conjectures (cryptobriefing.com)
   24 points by hackernj 29 days ago | 2 comments
2. About That Erdős Problem (siliconreckoner.substack.com)
   9 points by emil-lp 26 days ago | 1 comments
3. The math world is losing its mind over the new AI solution to an Erdős problem (www.wsj.com)
   5 points by fortran77 21 days ago | 2 comments
4. Humans Solve Erdos Problem (blog.computationalcomplexity.org)
   4 points by _alternator_ 12 days ago | discuss
5. Claude Mythos solves OpenAI's landmark Erdős problem with simple proof (the-decoder.com)
   3 points by gmays 22 days ago | discuss
6. Did Amphetamines Help Erdős? (aleph.se)
   3 points by wslh 28 days ago | discuss
7. The Verification Problem (On OpenAI's Erdős Disproof) (korbonits.com)
   3 points by korbonits 29 days ago | discuss
8. Erdős Problems and Speculations about the Power of AI Models (www.youtube.com)
   2 points by maayank 9 days ago | discuss
9. AI cracked an Erdős math problem. Now experts want guardrails (www.sciencenews.org)
   2 points by justinhj 12 days ago | discuss
10. AlphaProof Nexus is out, but Hassabis said solving Erdős isn't real invention (www.youtube.com)
    1 points by muditsrivastava 27 days ago | discuss
11. Sum-product, unit distances, and number fields (www.erdosproblems.com)
    67 points by robinhouston 21 days ago | 19 comments
12. A Famous Math Problem Stumped Humans for 80 Years. AI Just Cracked It (www.wsj.com)
    6 points by ktr 22 days ago | 1 comments
13. A Famous Math Problem Stumped Humans for 80 Years. AI Just Cracked It (www.wsj.com)
    3 points by gmays 18 days ago | 1 comments
14. A Famous Math Problem Stumped Humans for 80 Years. AI Just Cracked It (www.wsj.com)
    2 points by bryan0 23 days ago | 1 comments
15. AI coding agents and the erosion of system understanding (www.thesignalist.io)
    3 points by kodesko 21 days ago | discuss
16. Larry Ellison: "Citizens will be on their best behavior because we’re recording" (www.techradar.com)
    345 points by CharlesW 19 days ago | 264 comments
17. A dire warning from Oracle co-founder Larry Ellison (www.techradar.com)
    5 points by nreece 20 days ago | 1 comments
18. The Loneliest Point (ergosphere.blog)
    3 points by sambellll 25 days ago | discuss
19. Amateur armed with ChatGPT solves an Erdős problem (www.scientificamerican.com)
    796 points by pr337h4m about 2 months ago | 560 comments
20. “Erdos problem #728 was solved more or less autonomously by AI” (mathstodon.xyz)
    619 points by cod1r 5 months ago | 363 comments
21. Terence Tao: At the Erdos problem website, AI assistance now becoming routine (mathstodon.xyz)
    311 points by dwohnitmok 7 months ago | 90 comments
22. Erdos 281 solved with ChatGPT 5.2 Pro (twitter.com)
    308 points by nl 5 months ago | 294 comments
23. AI just proved Erdos Problem #124 (www.erdosproblems.com)
    242 points by nl 7 months ago | 98 comments
24. Erdős Problem #1026 (terrytao.wordpress.com)
    161 points by tzury 6 months ago | 30 comments
25. Show HN: Erdos – open-source, AI data science IDE (www.lotas.ai)
    86 points by jorgeoguerra 8 months ago | 33 comments
26. 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
27. GPT-5.4 Pro solves Erdős Problem #1196 (twitter.com)
    40 points by fratellobigio 2 months ago | 20 comments
28. The FBI spent decades tracking mathematician Paul Erdős (2015) (www.muckrock.com)
    18 points by signa11 almost 2 years ago | 6 comments
29. We resolve a $1000 Erdős problem, with a Lean proof vibe coded using ChatGPT (borisalexeev.com)
    17 points by mathfan 8 months ago | 4 comments
30. Harmonic's automated theorem prover Aristotle solves open Erdős problem in Lean (www.erdosproblems.com)
    16 points by mathfan 7 months ago | 2 comments
31. Formalization of Erdős Problems (xenaproject.wordpress.com)
    7 points by kevinbuzzard 7 months ago | 1 comments
32. Paul Erdos (en.wikipedia.org)
    7 points by cemsakarya about 1 month ago | discuss
33. Erdős Problem #1026 (terrytao.wordpress.com)
    6 points by cgdl 6 months ago | discuss
34. Sebastien Bubeck: Another twist in the Erdős problems story (twitter.com)
    5 points by mathfan 8 months ago | 1 comments
35. Resolving a $1000 Erdős problem, and vibe coding a Lean proof using ChatGPT (mathstodon.xyz)
    5 points by mathfan 8 months ago | 1 comments
36. Who has the lowest Erdos-Bacon-Epstein number? (statmodeling.stat.columbia.edu)
    5 points by nabla9 7 months ago | discuss
37. Resolving a $1000 Erdős problem, and vibe coding a Lean proof using ChatGPT (arxiv.org)
    5 points by mathfan 8 months ago | discuss
38. Ask HN: I think I improved an Erdős problem how can I verify it?
    4 points by donutthejedi 3 months ago | 2 comments
39. Apparently Opus 4.6 has solved erdos' prime divisibility conjecture [pdf] (files.catbox.moe)
    4 points by Bruhdinho 3 months ago | 1 comments
40. Open AI solves a 1946 Erdős problem (twitter.com)
    4 points by bcapchickadee about 1 month ago | discuss
41. GPT-5.4 pro solves erdos problem #1196 (www.erdosproblems.com)
    4 points by larve 2 months ago | discuss
42. GPT-5.4 Pro solved Erdos problem #1196 (xcancel.com)
    4 points by energy123 2 months ago | discuss
43. Who has the lowest Erdos-Bacon-Epstein number? (statmodeling.stat.columbia.edu)
    4 points by varjag 5 months ago | discuss
44. Erdos Problem #728 Solved (Mostly) Autonomously by AI (mathstodon.xyz)
    4 points by pfdietz 5 months ago | discuss
45. GPT 5.2 helps solve Erdős problem #728 (www.erdosproblems.com)
    4 points by tootyskooty 6 months ago | discuss
46. AI tools are becoming capable enough to pick off open Erdos problem (mathstodon.xyz)
    4 points by olalonde 6 months ago | discuss
47. Terence Tao: AI contributions to Erdős problems (github.com)
    4 points by frozenseven 6 months ago | discuss
48. Show HN: Erdös Problem Solver Agent (github.com)
    3 points by demirbey05 about 2 months ago | 1 comments