标签: 国际数学奥林匹克
该标签下共有 2 篇文章
用强化学习解决奥数级别的数学推理题
作者: aeks | 发布时间: 2025-11-13 06:02
人工智能旨在构建复杂推理系统，数学是典型领域。现有AI缺形式化验证，我们提出AlphaProof：受AlphaZero启发，用强化学习训练数百万自动形式化问题，难题用测试时强化学习。2024年IMO上，它与AlphaGeometry 2结合，解决3道非几何题（含最难），经多日计算获银牌，系AI首获奖牌级成绩，证明大规模基础经验学习可产生复杂数学推理智能体，为可靠解题AI铺路。
标签: AlphaProof 国际数学奥林匹克 强化学习 形式化证明 数学推理