[r/singularity] Google DeepMind's Al agent autonomously solved 9 of 353 open Erdos problems in mathematics, at a cost of a few hundred dollars per problem.

Part of

AI Frontier Mathematical Breakthroughs