Google Deepmind's AlphaProof Nexus has autonomously solved nine long-standing Erdős math problems, achieving this for a few hundred dollars per problem. Despite its innovative approach using the Lean compiler, the system has a low overall success rate of 2.5 percent.