Hackernews posts about AlphaProof

1. AlphaProof's Greatest Hits (rishimehta.xyz)
   250 points by rishicomplex 5 months ago | 133 comments
2. Ask HN: Why did AlphaProof fail at IMO combinatorial problems?
   4 points by ckcheng 9 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 9 months ago | 36 comments