The Decoder· Manuel Uth·· 4 日前
Google DeepMind の AlphaProof Nexus、数十の未解決数学問題を解き査読も通過
Google Deepmind's AlphaProof Nexus solved dozens of open math problems and actually got peer reviewed
AI による要約
Google DeepMind の新研究が Science に掲載された。AlphaProof Nexus は 353 の未解決 Erdős 問題のうち 9 つを独自に解決し、そのうち 2 つは 56 年間未解決だった。チームは論文発表前に解答をオンラインで公開していた。
入選の記録
基準 76メディアと個人1 回目 712 回目 82
入選二回の合計 153 ≥ 基準の 2 倍 152
- 情報源の区分
- メディアと個人、この区分の基準は 76 点
- 予備審査
- 通過：DeepMind的AI系统解决数学问题并同行评审
- 推薦理由
- AlphaProof Nexus が Lean 検証と AlphaProof 支援の流れで複数の未解決数学問題を解き、異例なことに査読も通過した点がわかる。
採点はモデルが同じ基準で独立に二回行い、満点は 100。二回の合計が基準の 2 倍に届いたものだけが入選します。基準は情報源の区分ごとに決めています。
情報源：The Decoder · the-decoder.com