The Decoder· Manuel Uth·· 3 小时前精选AI 评分88
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 独立解决了 353 个欧拉（Erdős）开放问题中的 9 个，其中两个已悬置 56 年，相关成果在论文发表前先行公开。
推荐理由
研究给出模型在欧拉问题等开放数学难题上的具体解题数量与验证方式，可据此判断其在数学推理上的实际能力边界。
来源：The Decoder · the-decoder.com