Hackernews posts about Erdos

  1. Ask HN: I think I improved an Erdős problem how can I verify it?
    4 points by donutthejedi 1 day ago | 2 comments
  2. Apparently Opus 4.6 has solved erdos' prime divisibility conjecture [pdf] (files.catbox.moe)
    4 points by Bruhdinho 8 days ago | 1 comments
  3. ChatGPT finds an error in Terence Tao's math research
    42 points by codexon 25 days ago | 8 comments
  4. Is legal the same as legitimate: AI reimplementation and the erosion of copyleft (writings.hongminhee.org)
    569 points by dahlia 12 days ago | 599 comments
  5. Ask HN: How are you all staying sane?
    150 points by throwaway53463 19 days ago | 159 comments
  6. Habits to make sure you don't go insane
    4 points by nyxtom 24 days ago | discuss
  7. What happens when AI mediates everything?
    1 points by spamsch 11 days ago | 5 comments
  8. Marketing for Founders (github.com)
    233 points by jimsojim 7 days ago | 114 comments
  9. Use GPT-5.4/CODEX to reverse engineer ancient machine code (github.com)
    1 points by jhallenworld 7 days ago | 1 comments
  10. Show HN: Ratschn – A local Mac dictation app built with Rust, Tauri and CoreML (ratschn.com)
    4 points by Edos8877 12 days ago | 2 comments
  11. I made a website that uses your pictures to tell you if you are fat (areyoufat.app)
    1 points by erdoc69 30 days ago | discuss
  12. Spotify's take on ADRs is great, but how do you enforce them at scale?
    6 points by iamalizaidi 18 days ago | 1 comments
  13. Show HN: Match – A pattern matching language that replaces regex (www.matchlang.com)
    3 points by hollowsolve 24 days ago | discuss
  14. Show HN: Decision Guardian – surface architectural context
    3 points by iamalizaidi 29 days ago | discuss
  15. Show HN: Decision Guardian – Auto-surface architectural context on PRs and CLI
    2 points by iamalizaidi 21 days ago | discuss
  16. Show HN: Iris – first MCP-native eval and observability tool for AI agents (github.com)
    1 points by iparent 7 days ago | discuss
  17. Show HN: Use your domain as its own sale page (d.omain.co)
    2 points by mrdost 21 days ago | discuss
  18. Show HN: Show your domains and get buyers message you directly (d.omain.co)
    1 points by mrdost 23 days ago | 2 comments
  19. “Erdos problem #728 was solved more or less autonomously by AI” (mathstodon.xyz)
    619 points by cod1r 2 months ago | 363 comments
  20. Terence Tao: At the Erdos problem website, AI assistance now becoming routine (mathstodon.xyz)
    311 points by dwohnitmok 4 months ago | 90 comments
  21. Erdos 281 solved with ChatGPT 5.2 Pro (twitter.com)
    308 points by nl 2 months ago | 294 comments
  22. AI just proved Erdos Problem #124 (www.erdosproblems.com)
    242 points by nl 4 months ago | 98 comments
  23. Erdős Problem #1026 (terrytao.wordpress.com)
    161 points by tzury 3 months ago | 30 comments
  24. AI for math resources, and erdosproblems.com (terrytao.wordpress.com)
    160 points by nabla9 almost 2 years ago | 35 comments
  25. Show HN: Erdos – open-source, AI data science IDE (www.lotas.ai)
    86 points by jorgeoguerra 5 months ago | 33 comments
  26. Erdos Problems Collection (www.erdosproblems.com)
    82 points by dargscisyhp almost 2 years ago | 14 comments
  27. 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
  28. The FBI spent decades tracking mathematician Paul Erdős (2015) (www.muckrock.com)
    18 points by signa11 over 1 year 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 5 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 4 months ago | 2 comments
  31. Formalization of Erdős Problems (xenaproject.wordpress.com)
    7 points by kevinbuzzard 4 months ago | 1 comments
  32. Erdős Problem #1026 (terrytao.wordpress.com)
    6 points by cgdl 3 months ago | discuss
  33. Sebastien Bubeck: Another twist in the Erdős problems story (twitter.com)
    5 points by mathfan 5 months ago | 1 comments
  34. Resolving a $1000 Erdős problem, and vibe coding a Lean proof using ChatGPT (mathstodon.xyz)
    5 points by mathfan 5 months ago | 1 comments
  35. Who has the lowest Erdos-Bacon-Epstein number? (statmodeling.stat.columbia.edu)
    5 points by nabla9 4 months ago | discuss
  36. Resolving a $1000 Erdős problem, and vibe coding a Lean proof using ChatGPT (arxiv.org)
    5 points by mathfan 5 months ago | discuss
  37. Who has the lowest Erdos-Bacon-Epstein number? (statmodeling.stat.columbia.edu)
    4 points by varjag about 1 month ago | discuss
  38. Erdos Problem #728 Solved (Mostly) Autonomously by AI (mathstodon.xyz)
    4 points by pfdietz 2 months ago | discuss
  39. GPT 5.2 helps solve Erdős problem #728 (www.erdosproblems.com)
    4 points by tootyskooty 2 months ago | discuss
  40. AI tools are becoming capable enough to pick off open Erdos problem (mathstodon.xyz)
    4 points by olalonde 3 months ago | discuss
  41. Terence Tao: AI contributions to Erdős problems (github.com)
    4 points by frozenseven 3 months ago | discuss
  42. Erdos #1051 Forum (www.erdosproblems.com)
    3 points by nmstoker about 2 months ago | 1 comments
  43. Amateur mathematicians solve long-standing Erdős maths problems with AI (www.newscientist.com)
    3 points by westurner 2 months ago | 1 comments
  44. A crowdsourced project to link up erdosproblems.com to the OEIS (terrytao.wordpress.com)
    3 points by robinhouston 7 months ago | 1 comments
  45. Is AI solving open Erdős problems? (zeyu-zheng.github.io)
    3 points by demirbey05 2 months ago | discuss
  46. Erdos problems solved more or less autonomously by AI (mathstodon.xyz)
    3 points by gmays 3 months ago | discuss
  47. AI Contributions to Erdős Problems (github.com)
    3 points by tzury 3 months ago | discuss
  48. The Story of Erdős Problem #1026 (terrytao.wordpress.com)
    3 points by amichail 3 months ago | discuss