The Decoder· Manuel Uth·· 21 天前精选AI 评分85
DeepMind 的 AlphaProof Nexus 解决了数十个开放数学问题并获得同行评审
Google Deepmind's AlphaProof Nexus solved dozens of open math problems and actually got peer reviewed
AI 导读
DeepMind 的 AI 系统 AlphaProof Nexus 解决了数十个开放数学问题，包括九个开放 Erdős 问题，并经过同行评审。该系统基于 Gemini 3.1 Pro，能够自动生成和修改证明，并在解决数学问题时表现出色。
推荐理由
AlphaProof Nexus 在数学领域取得了显著成果，解决了多个开放性问题，并经过同行评审，对 AI 在数学领域的应用具有重要意义。
来源：The Decoder · the-decoder.com