数学家独立测试 AI：最好的系统答对十道研究题中的九道

数学家组织 First Proof 出了十道研究级数学题，隐去提交者名字后评审五套 AI 的答案，最好的一套答对九道。这些题目都有人类已经做出、只是还没公开的证明，所以不能说成 AI 攻克了九道难题。

来源

1. First Proof 第三轮公告
2. 完整报告与材料
3. 评审和测试记录
4. 布法罗大学：出题人谈结果
5. 各系统成本记录

相关

• Google 让 AI 设计分子，实验发现它们黏住了不该黏的东西 2026年10月16日
• 丘成桐联合八家机构，成立数学与 AI 实验室联盟 2026年10月11日
• Biohub 联合美国能源部、NIH、DeepMind 和 Meta 承诺 18 亿美元，建设供 AI 使用的开放生物数据 2026年10月7日
• OpenAI 公开数百篇数学论文，声称解决数十年难题 2026年10月6日