DeepMind AlphaProof Nexus 解出数十个开放数学问题
Google DeepMind 的 AlphaProof Nexus 解出数十个开放数学问题,相关研究发表在 Science 上并通过同行评审。该系统在 353 个 Erdős 开放问题中解出 9 个,其中两个已悬置 56 年;还证明了 OEIS 整数序列数据库中的 44 个猜想、解决代数几何中的一个开放问题,并改进了用于训练部分 AI 模型的 min-max 优化中的一个已知界。系统基于 Gemini 3.1 Pro,使用 Lean 形式化方法。