The A.I. Daily
DeepMind's AlphaProof Nexus solves open math problems
Google DeepMind's AlphaProof Nexus solved dozens of open math problems, including nine Erdős problems, two of which were unsolved for 56 years. The results were peer-reviewed and published in Science, contrasting with OpenAI's unreviewed proofs.