36氪 · 文章· 大数据文摘·· 1 小时前精选AI 评分78
DeepMind AlphaProof Nexus登《Science》：自主解决9道Erdős数学难题
DeepMind AlphaProof Nexus登《Science》：AI自主破解多道56年未解Erdős数学难题
AI 导读
Google DeepMind的AlphaProof Nexus系统登上《Science》，在353道Erdős开放问题中自主解决了9道，其中包含两道悬置56年的难题。
推荐理由
原文披露了AlphaProof Nexus在Erdős问题上的具体解题率、成本及验证机制，为评估当前AI数学推理能力提供了可量化的基准与局限分析。
来源：36氪 · 文章 · 36kr.com