Google Deepmind's AlphaProof Nexus solved dozens of open math problems and actually got peer reviewed
Research published in Science by Google DeepMind shows its AlphaProof Nexus independently solved 9 of 353 open Erdős problems, two of which had stood for 56 years, proved 44 conjectures in the OEIS integer sequence database, solved an open algebraic geometry problem, and improved known bounds for min-max optimization.