Google Deepmind's AlphaProof Nexus solved dozens of open math problems and actually got peer reviewed
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.
Via The Decoder
Google Deepmind's AI solved dozens of open math problems on its own, per a new study in Science. AlphaProof Nexus cracked nine of 353 open Erdős problems, two unsolved for 56 years. The team shared those solutions online ahead of the paper.
Beyond that, AlphaProof Nexus proved 44 conjectures from the OEIS integer sequence database, solved an open question in algebraic geometry, and improved a known bound in min-max optimization, a technique used to train some AI models. It's built…
Courtesy
This story was originally published by The Decoder. All rights belong to the original publisher.
Read the original on the-decoder.com ↗