Hackernews posts about AlphaProof

1. AlphaProof's Greatest Hits (rishimehta.xyz)
   249 points by rishicomplex 7 days ago | 132 comments
2. Ask HN: Why did AlphaProof fail at IMO combinatorial problems?
   4 points by ckcheng 4 months ago | 2 comments
3. Why the future of AI is neurosymbolic. (A rare optimistic post from Gary Marcus) (garymarcus.substack.com)
   36 points by garymarcus 4 months ago | 36 comments
4. AlphaProteo generates novel proteins for biology and health research (deepmind.google)
   306 points by meetpateltech 3 months ago | 98 comments
5. De novo design of high-affinity protein binders with AlphaProteo (arxiv.org)
   3 points by XzetaU8 2 months ago | discuss
6. De novo design of high-affinity protein binders with AlphaProteo (arxiv.org)
   1 points by lawrenceyan about 1 month ago | discuss