量子位
·
11位顶尖数学家发了篇没结果的论文，陶哲轩推荐都关注一下
💡
原文中文，约2500字，阅读约需6分钟。
📝
内容提要
11位顶尖数学家发起AI实验，挑战AI独立解决10道研究级数学难题，探索“AI+数学”的能力。实验旨在检验AI的证明能力，问题来源于真实研究，答案将于2026年公布。
🎯
关键要点
- 11位顶尖数学家发起AI实验，挑战AI独立解决10道研究级数学难题。
- 实验旨在探索AI在数学领域的能力边界，问题来源于真实研究。
- 实验采用First Proof方案，评估AI是否具备独立解决研究级数学问题的能力。
- 问题全公开但答案不公开，避免数据污染，允许AI使用网络资源。
- 实验结果显示，当前最佳AI系统难以解答大多数问题，但与人类互动可能提高答案质量。
- 未来计划设计第二套问题集，逐步探索AI更高阶能力的评测方式。
- First Proof的价值在于界定AI当前所能触及的边界，强调人机协作的趋势。
➡️
