The Decoder· Manuel Uth·· 2 小时前精选AI 评分67
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问题中的9个，其中两个已悬而未决56年，并证明了44个OEIS数据库中的猜想，解决了代数几何中的一个开放问题，改进了最小最大优化的已知界限。
推荐理由
研究展示了AI在数学证明中的实际进展，且通过同行评审，为AI数学能力提供了可验证的证据。
来源：The Decoder · the-decoder.com