Google DeepMind's AlphaProof Nexus solved dozens of open math problems and got peer reviewed
Google DeepMind's AlphaProof Nexus system solved dozens of open math problems, including nine Erdős problems, two of which had been unsolved for 56 years. The results were published in Science and peer reviewed before publication. This comes as OpenAI faces a boycott for dumping AI proofs on GitHub without peer review.
