36氪 · 文章· 量子位·· 1 小时前精选AI 评分78
DeepMind AlphaProof Nexus登Science：AI破解9道埃尔德什开放问题含56年悬案
AI破解56年数学难题登Science，还是DeepMind讲究，成果交给同行评审
AI 导读
谷歌DeepMind的AlphaProof Nexus框架登上《Science》，成功解决了9道埃尔德什开放问题，其中包括悬置56年的Erdős #12和30年未决的Erdős #125。
推荐理由
原文披露了AlphaProof Nexus解决56年数学难题的具体方法、Agent配置对比及成本数据，展示了AI在形式化证明中的实际能力边界。
来源：36氪 · 文章 · 36kr.com