Hackernews posts about Erdos

  1. FrontierMath Erdős (epoch.ai)
    3 points by cainxinth 17 days ago | discuss
  2. A community database for the problems on the erdosproblems.com site (github.com)
    1 points by duck 25 days ago | discuss
  3. GPT 5.6 has broken the record on large gaps between primes (www.erdosproblems.com)
    6 points by surprisetalk 21 days ago | 1 comments
  4. When Search Eats the Web: A Model of Corpus Erosion Under Generative Extraction (arxiv.org)
    4 points by sypsyp 16 days ago | 1 comments
  5. Sablejs 2.0 – An AOT sandbox for AI-generated JavaScript (github.com)
    4 points by zyeros 26 days ago | 1 comments
  6. Show HN: Redosray – find ReDoS-vulnerable regexes and prove them, offline (aurelio-nakamura.github.io)
    2 points by aurelionakamura 10 days ago | discuss
  7. Amateur armed with ChatGPT solves an Erdős problem (www.scientificamerican.com)
    796 points by pr337h4m 5 months ago | 560 comments
  8. “Erdos problem #728 was solved more or less autonomously by AI” (mathstodon.xyz)
    619 points by cod1r 8 months ago | 363 comments
  9. Terence Tao: At the Erdos problem website, AI assistance now becoming routine (mathstodon.xyz)
    311 points by dwohnitmok 10 months ago | 90 comments
  10. Erdos 281 solved with ChatGPT 5.2 Pro (twitter.com)
    308 points by nl 8 months ago | 294 comments
  11. AI just proved Erdos Problem #124 (www.erdosproblems.com)
    242 points by nl 10 months ago | 98 comments
  12. Solving 20 Erdős Problems with 20 Codex Accounts Running in Parallel (www.starfleetmath.com)
    164 points by colin7snyder 2 months ago | 110 comments
  13. Erdős Problem #1026 (terrytao.wordpress.com)
    161 points by tzury 9 months ago | 30 comments
  14. Why Erdős Problems Are Falling to AI (www.quantamagazine.org)
    155 points by pseudolus about 2 months ago | 139 comments
  15. Show HN: Erdos – open-source, AI data science IDE (www.lotas.ai)
    86 points by jorgeoguerra 11 months ago | 33 comments
  16. A life that added up to something (Obituary of Paul Erdòs) (people.math.osu.edu)
    78 points by joebig almost 2 years ago | 17 comments
  17. GPT-5.4 Pro solves Erdős Problem #1196 (twitter.com)
    40 points by fratellobigio 5 months ago | 20 comments
  18. AlphaProof Nexus solves 9 Erdős problems and proves 44 sequence conjectures (cryptobriefing.com)
    24 points by hackernj 4 months ago | 2 comments
  19. We resolve a $1000 Erdős problem, with a Lean proof vibe coded using ChatGPT (borisalexeev.com)
    17 points by mathfan 11 months ago | 4 comments
  20. Harmonic's automated theorem prover Aristotle solves open Erdős problem in Lean (www.erdosproblems.com)
    16 points by mathfan 10 months ago | 2 comments
  21. About That Erdős Problem (siliconreckoner.substack.com)
    9 points by emil-lp 4 months ago | 1 comments
  22. Formalization of Erdős Problems (xenaproject.wordpress.com)
    7 points by kevinbuzzard 10 months ago | 1 comments
  23. Paul Erdos (en.wikipedia.org)
    7 points by cemsakarya 4 months ago | discuss
  24. Erdős Problem #1026 (terrytao.wordpress.com)
    6 points by cgdl 10 months ago | discuss
  25. The math world is losing its mind over the new AI solution to an Erdős problem (www.wsj.com)
    5 points by fortran77 4 months ago | 2 comments
  26. Why the Legendary Erdős Problems Are Falling to AI (www.quantamagazine.org)
    5 points by speckx about 2 months ago | 1 comments
  27. I solved 6 open Erdős problems in 5 days, using OpenAI GPT-5.6 Sol (twitter.com)
    5 points by akalin about 2 months ago | 1 comments
  28. Sebastien Bubeck: Another twist in the Erdős problems story (twitter.com)
    5 points by mathfan 11 months ago | 1 comments
  29. Resolving a $1000 Erdős problem, and vibe coding a Lean proof using ChatGPT (mathstodon.xyz)
    5 points by mathfan 11 months ago | 1 comments
  30. Why the Legendary Erdős Problems Are Falling to AI (www.quantamagazine.org)
    5 points by isaacfrond about 2 months ago | discuss
  31. After 80 Years, Mathematicians Give Famed 'Erdős Method' an Upgrade (www.quantamagazine.org)
    5 points by ibobev 3 months ago | discuss
  32. Who has the lowest Erdos-Bacon-Epstein number? (statmodeling.stat.columbia.edu)
    5 points by nabla9 10 months ago | discuss
  33. Resolving a $1000 Erdős problem, and vibe coding a Lean proof using ChatGPT (arxiv.org)
    5 points by mathfan 11 months ago | discuss
  34. Ask HN: I think I improved an Erdős problem how can I verify it?
    4 points by donutthejedi 6 months ago | 2 comments
  35. #793 – GPT 5.6 Sol solves it's third Erdos Problem – Two primitives gone (twitter.com)
    4 points by guywithabowtie 2 months ago | 1 comments
  36. Apparently Opus 4.6 has solved erdos' prime divisibility conjecture [pdf] (files.catbox.moe)
    4 points by Bruhdinho 6 months ago | 1 comments