The Decoder25h agoenergy 79
Google Deepmind's AlphaProof Nexus solved dozens of open math problems and actually got peer reviewed
image: The Decoder
Google Deepmind's AlphaProof Nexus solved dozens of open math problems, including nine Erdős problems two of which were unsolved for 56 years, per a study in Science. The publication comes as OpenAI faces a boycott for dumping AI proofs on GitHub without peer review. Deepmind had its results reviewed before publishing.
This source publishes only a summary in its feed, so the full article lives at the outlet. The link above and below goes to the original.