The Decoder· Manuel Uth·· 4 小时前精选AI 评分86
Google DeepMind 的 AlphaProof Nexus 解出数十道未解数学题并通过同行评审
Google Deepmind's AlphaProof Nexus solved dozens of open math problems and actually got peer reviewed
AI 导读
Google DeepMind 的 AlphaProof Nexus 在一项发表于 Science 的研究中自主解出数十道未解数学题，包括 353 道 Erdős 开放问题中的九道，其中两道已悬置 56 年。
推荐理由
AlphaProof Nexus 用 Lean 校验证明并由人类同行评审，读者可对比其与 OpenAI 近日在 GitHub 发布证明、遭数学家呼吁抵制的做法差异。
来源：The Decoder · the-decoder.com