Hackernews posts about AlphaProof

  1. AlphaProof's Greatest Hits (rishimehta.xyz)
    250 points by rishicomplex over 1 year ago | 133 comments
  2. AlphaProof Nexus solves 9 Erdős problems and proves 44 sequence conjectures (cryptobriefing.com)
    24 points by hackernj about 2 months ago | 2 comments
  3. Ask HN: Why did AlphaProof fail at IMO combinatorial problems?
    4 points by ckcheng almost 2 years ago | 2 comments
  4. Mathematicians put AI model AlphaProof to the test (www.nature.com)
    3 points by mauricioc 8 months ago | 1 comments
  5. Alphaproof paper (IMO 2024 Silver) is finally published in Nature [pdf] (www.nature.com)
    2 points by zuzatm 7 months ago | 1 comments
  6. Google DeepMind's AlphaProof Nexus solves decades-old math problems (the-decoder.com)
    2 points by gmays about 1 month ago | discuss
  7. AlphaProof Nexus is out, but Hassabis said solving Erdős isn't real invention (www.youtube.com)
    1 points by muditsrivastava about 1 month ago | discuss
  8. Ask HN: Is fast.ai's "Deep Learning for Coders" still relevant in 2025?
    12 points by hedgehog0 11 months ago | 4 comments
  9. Why the future of AI is neurosymbolic. (A rare optimistic post from Gary Marcus) (garymarcus.substack.com)
    36 points by garymarcus almost 2 years ago | 36 comments
  10. AI Broke ARC-AGI-2 at 84.6% – But the Key Trick Is from 1972 (ai.gopubby.com)
    1 points by Aedelon 4 months ago | discuss
  11. Pure LLMs Score 0% on ARC-AGI-2. Why the Third Wave of AI Looks Like the First (ai.gopubby.com)
    1 points by Aedelon 4 months ago | discuss
  12. AlphaProteo generates novel proteins for biology and health research (deepmind.google)
    306 points by meetpateltech almost 2 years ago | 98 comments
  13. De novo design of high-affinity protein binders with AlphaProteo (arxiv.org)
    3 points by XzetaU8 almost 2 years ago | discuss
  14. De novo design of high-affinity protein binders with AlphaProteo (arxiv.org)
    1 points by lawrenceyan over 1 year ago | discuss
  15. De novo design of high-affinity protein binders with AlphaProteo [pdf] (arxiv.org)
    1 points by lawrenceyan over 1 year ago | discuss
  16. De novo design of high-affinity protein binders with AlphaProteo (arxiv.org)
    1 points by lawrenceyan over 1 year ago | discuss