The Decoder· Manuel Uth·· 4 d ago
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 and actually got peer reviewed
AI summary
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.
Selection record
Threshold 76Media and individualsFirst 71Second 82
AdmittedSum of both 153 ≥ twice the threshold 152
- Source tier
- Media and individuals; this tier's threshold is 76
- Pre-filter
- passed：DeepMind的AI系统解决数学问题并同行评审
- Why it was chosen
- Covers how AlphaProof Nexus solved several open maths problems with a Lean-checked, AlphaProof-assisted pipeline, and unusually went through peer review.
A model scores each item twice, independently, against one written standard, out of 100. An item is admitted only when the two scores add up to twice the threshold. The threshold is set per source tier.
Source: The Decoder · the-decoder.com