AlphaProof Nexus solves dozens of open math problems
What happened
The Decoder reported on October 12, 2026 that Google DeepMind's AlphaProof Nexus autonomously solved dozens of open math problems, with the research published in Science and peer reviewed. The results include solving 9 of 353 open Erdős problems, 2 of which had stood for 56 years; proving 44 conjectures from the OEIS integer sequence database; solving an open problem in algebraic geometry; and improving a known bound in min-max optimization.
Written by AI from the coverage · updated 1 hour ago
Coverage
Follow the reports to see the story from different sides.
- The DecoderGoogle Deepmind's AlphaProof Nexus solved dozens of open math problems and actually got peer reviewed
Google DeepMind 的 AlphaProof Nexus 自主解决了数十个开放数学问题，相关研究发表于 Science 并经过同行评审。它解出了 353 个开放 Erdős 问题中的 9 个，其中 2 个已悬而未决 56 年，还证明了 OEIS 整数序列数据库中的 44 个猜想、解决了一个代数几何开放问题，并改进了 min-max 优化的一个已知界限。
Heat over time
Not enough continuous observations to draw a trend yet.