6 ms·AlphaProof Nexus is out, but Hassabis said solving Erdős isn't real invention1 points by muditsrivastava 4mo ago