Hacker News new | ask | show | jobs
AlphaProof Nexus is out, but Hassabis said solving Erdős isn't real invention (youtube.com)
1 points by muditsrivastava 20 days ago