Hackernews posts about AlphaProof

1. Mathematicians put AI model AlphaProof to the test (www.nature.com)
   3 points by mauricioc 10 days ago | 1 comments
2. AlphaProof's Greatest Hits (rishimehta.xyz)
   250 points by rishicomplex about 1 year ago | 133 comments
3. Ask HN: Why did AlphaProof fail at IMO combinatorial problems?
   4 points by ckcheng over 1 year ago | 2 comments
4. Ask HN: Is fast.ai's "Deep Learning for Coders" still relevant in 2025?
   12 points by hedgehog0 4 months ago | 4 comments
5. Why the future of AI is neurosymbolic. (A rare optimistic post from Gary Marcus) (garymarcus.substack.com)
   36 points by garymarcus over 1 year ago | 36 comments
6. AlphaProteo generates novel proteins for biology and health research (deepmind.google)
   306 points by meetpateltech about 1 year ago | 98 comments
7. De novo design of high-affinity protein binders with AlphaProteo (arxiv.org)
   3 points by XzetaU8 about 1 year ago | discuss
8. De novo design of high-affinity protein binders with AlphaProteo (arxiv.org)
   1 points by lawrenceyan 8 months ago | discuss
9. De novo design of high-affinity protein binders with AlphaProteo [pdf] (arxiv.org)
   1 points by lawrenceyan 11 months ago | discuss
10. De novo design of high-affinity protein binders with AlphaProteo (arxiv.org)
    1 points by lawrenceyan about 1 year ago | discuss