Hackernews posts about Erdos

1. 01
   

   newGoogle DeepMind solves 9 Erdős problemsarxiv.org

   ▲ 7alfiopuglisi27ddiscusssavesaved
2. 02
   

   newShow HN: Extending Axiom's PrimeGapsLib to prove parts 2 and 3 of Erdős #420erdosproblems.ai

   ▲ 1NatalieTrono10ddiscusssavesaved
3. 03
   

   newDear Professor Erdos [pdf]fanchung.ucsd.edu

   ▲ 1jruohonen20ddiscusssavesaved
4. 04
   

   newAn open record of the Erdos problemsgithub.com

   ▲ 1ryanpettry28ddiscusssavesaved
5. 05
   

   newNew site for AI math problemserdosproblems.ai

   ▲ 4NatalieTrono29d💬 2savesaved
6. 06
   

   newError sets with eros: the missing piece in Rust error handlingmcmah309.github.io

   ▲ 4fanf229d💬 1savesaved
7. 07
   

   newRepeated US Treasury interventions risk an erosion of credibilitywww.ft.com

   ▲ 2JumpCrisscross29ddiscusssavesaved
8. 08
   

   newCognitive Outsourcing and the Erosion of Collective Memorymedium.com

   ▲ 1Aldus5514hdiscusssavesaved
9. 09
   

   newA California town's beaches are washing away. Can its residents turn the tide?www.theguardian.com

   ▲ 3howard94119ddiscusssavesaved
10. 10
    

    newA Thing Existsen.wikipedia.org

    ▲ 1handojin7d💬 1savesaved
11. 11
    

    newAlbite – a self-hosted, dependently typed language with Rust syntaxalbite-lang.com

    ▲ 1Erudos9ddiscusssavesaved
12. 12
    

    newOrdo: A self-hosted hierarchical job scheduler (AGPL)ordoscheduler.com

    ▲ 1ngrahamcpan15ddiscusssavesaved
13. 13
    

    newAmateur armed with ChatGPT solves an Erdős problemwww.scientificamerican.com

    ▲ 796pr337h4m195d💬 560savesaved
14. 14
    

    new“Erdos problem #728 was solved more or less autonomously by AI”mathstodon.xyz

    ▲ 619cod1r301d💬 363savesaved
15. 15
    

    newTerence Tao: At the Erdos problem website, AI assistance now becoming routinemathstodon.xyz

    ▲ 311dwohnitmok349d💬 90savesaved
16. 16
    

    newErdos 281 solved with ChatGPT 5.2 Protwitter.com

    ▲ 308nl293d💬 294savesaved
17. 17
    

    newAI just proved Erdos Problem #124www.erdosproblems.com

    ▲ 242nl342d💬 98savesaved
18. 18
    

    newSolving 20 Erdős Problems with 20 Codex Accounts Running in Parallelwww.starfleetmath.com

    ▲ 164colin7snyder115d💬 110savesaved
19. 19
    

    newErdős Problem #1026terrytao.wordpress.com

    ▲ 161tzury326d💬 30savesaved
20. 20
    

    newWhy Erdős Problems Are Falling to AIwww.quantamagazine.org

    ▲ 155pseudolus93d💬 139savesaved
21. 21
    

    newErdosproblems.com Succumbs to the AI Onslaughtwww.erdosproblems.com

    ▲ 122pfdietz31d💬 57savesaved
22. 22
    

    newShow HN: Erdos – open-source, AI data science IDEwww.lotas.ai

    ▲ 86jorgeoguerra375d💬 33savesaved
23. 23
    

    newA life that added up to something (Obituary of Paul Erdòs)people.math.osu.edu

    ▲ 78joebig726d💬 17savesaved
24. 24
    

    newGPT-5.4 Pro solves Erdős Problem #1196twitter.com

    ▲ 40fratellobigio206d💬 20savesaved
25. 25
    

    newAlphaProof Nexus solves 9 Erdős problems and proves 44 sequence conjecturescryptobriefing.com

    ▲ 24hackernj167d💬 2savesaved
26. 26
    

    newWe resolve a $1000 Erdős problem, with a Lean proof vibe coded using ChatGPTborisalexeev.com

    ▲ 17mathfan381d💬 4savesaved
27. 27
    

    newHarmonic's automated theorem prover Aristotle solves open Erdős problem in Leanwww.erdosproblems.com

    ▲ 16mathfan342d💬 2savesaved
28. 28
    

    newAbout That Erdős Problemsiliconreckoner.substack.com

    ▲ 9emil-lp164d💬 1savesaved
29. 29
    

    newFormalization of Erdős Problemsxenaproject.wordpress.com

    ▲ 7kevinbuzzard336d💬 1savesaved
30. 30
    

    newPaul Erdosen.wikipedia.org

    ▲ 7cemsakarya173ddiscusssavesaved
31. 31
    

    newAI proof of the Erdős–Sós conjecturearxiv.org

    ▲ 6tadamcz44ddiscusssavesaved
32. 32
    

    newErdős Problem #1026terrytao.wordpress.com

    ▲ 6cgdl333ddiscusssavesaved
33. 33
    

    newThe math world is losing its mind over the new AI solution to an Erdős problemwww.wsj.com

    ▲ 5fortran77159d💬 2savesaved
34. 34
    

    newWhy the Legendary Erdős Problems Are Falling to AIwww.quantamagazine.org

    ▲ 5speckx95d💬 1savesaved
35. 35
    

    newI solved 6 open Erdős problems in 5 days, using OpenAI GPT-5.6 Soltwitter.com

    ▲ 5akalin107d💬 1savesaved
36. 36
    

    newSebastien Bubeck: Another twist in the Erdős problems storytwitter.com

    ▲ 5mathfan380d💬 1savesaved
37. 37
    

    newResolving a $1000 Erdős problem, and vibe coding a Lean proof using ChatGPTmathstodon.xyz

    ▲ 5mathfan380d💬 1savesaved
38. 38
    

    newWhy the Legendary Erdős Problems Are Falling to AIwww.quantamagazine.org

    ▲ 5isaacfrond95ddiscusssavesaved
39. 39
    

    newAfter 80 Years, Mathematicians Give Famed 'Erdős Method' an Upgradewww.quantamagazine.org

    ▲ 5ibobev133ddiscusssavesaved
40. 40
    

    newWho has the lowest Erdos-Bacon-Epstein number?statmodeling.stat.columbia.edu

    ▲ 5nabla9348ddiscusssavesaved
41. 41
    

    newResolving a $1000 Erdős problem, and vibe coding a Lean proof using ChatGPTarxiv.org

    ▲ 5mathfan380ddiscusssavesaved
42. 42
    

    newAsk HN: I think I improved an Erdős problem how can I verify it?

    ▲ 4donutthejedi232d💬 2savesaved

· edit