AlphaProof Nexus is out, but Hassabis said solving Erdős isn't real invention #1 Post by muditsrivastava » Tue, May 26, 2026, 12:08 AM UTC AlphaProof Nexus is out, but Hassabis said solving Erdős isn't real inventionyoutube.com