行业2 天前·量子位 + 36氪
陶哲轩First Proof二期结果：AI烧出7道论文级解法，最低8美元一题
陶哲轩发起的First Proof数学证明验证平台二期结果出炉，AI成功解决7道论文级数学难题，最低成本仅8美元一题。平台新增双盲同行评议机制。
AI Master 解读
核心事件
AI在数学证明领域取得突破
行业影响
AI在数学证明领域的突破标志着其从模式匹配向逻辑推理的质变。单题8美元的成本远低于传统数学家协作费用，意味着AI辅助数学研究正在从学术实验走向规模化应用。双盲同行评议机制的引入进一步提升了结果的可信度。
AI Master 建议
关注AI在科学研究领域的应用进展，评估AI辅助研究工具。
First Proof二期结果
2026年6月11日，陶哲轩First Proof平台发布二期结果。
核心成果
- AI解决7道论文级数学题：最低成本仅8美元一题
- 新增双盲同行评议：提升评审质量
- 标志着AI在数学证明领域的实用化进展
来源: 量子位
链接: https://36kr.com/information/AI/