Hackernews posts about AlphaProof

1. 01
   

   newAlphaProof's Greatest Hitsrishimehta.xyz

   ▲ 250rishicomplex687d💬 133savesaved
2. 02
   

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

   ▲ 24hackernj135d💬 2savesaved
3. 03
   

   newMathematicians put AI model AlphaProof to the testwww.nature.com

   ▲ 3mauricioc327d💬 1savesaved
4. 04
   

   newAlphaproof paper (IMO 2024 Silver) is finally published in Nature [pdf]www.nature.com

   ▲ 2zuzatm314d💬 1savesaved
5. 05
   

   newGoogle DeepMind's AlphaProof Nexus solves decades-old math problemsthe-decoder.com

   ▲ 2gmays129ddiscusssavesaved
6. 06
   

   newAlphaProof Nexus is out, but Hassabis said solving Erdős isn't real inventionwww.youtube.com

   ▲ 1muditsrivastava133ddiscusssavesaved
7. 07
   

   newAsk HN: Is fast.ai's "Deep Learning for Coders" still relevant in 2025?

   ▲ 12hedgehog0429d💬 4savesaved
8. 08
   

   newAI Broke ARC-AGI-2 at 84.6% – But the Key Trick Is from 1972ai.gopubby.com

   ▲ 1Aedelon220ddiscusssavesaved
9. 09
   

   newPure LLMs Score 0% on ARC-AGI-2. Why the Third Wave of AI Looks Like the Firstai.gopubby.com

   ▲ 1Aedelon220ddiscusssavesaved
10. 10
    

    newDe novo design of high-affinity protein binders with AlphaProteoarxiv.org

    ▲ 1lawrenceyan557ddiscusssavesaved
11. 11
    

    newDe novo design of high-affinity protein binders with AlphaProteoarxiv.org

    ▲ 1lawrenceyan712ddiscusssavesaved

· edit