模型
AlphaProof
AlphaProof是由Google DeepMind开发的人工智能数学推理与自动定理证明系统，结合了大型语言模型与强化学习技术，能够将自然语言数学问题转化为形式化语言（如Lean），并通过自动搜索和验证生成严格的数学证明。该系统主要面向竞赛数学及高难度数学推理任务，具备对证明过程进行符号化验证的能力。
时间轴 (近 90 天)
6月1日
2024年Google DeepMind的AlphaProof和AlphaGeometry 2首次在IMO级别问题上达到银牌水平
待验证60%
5月31日
AlphaProof是历史上首个在IMO中达到银牌水平的AI系统
待验证85%
5月31日
AlphaProof的技术核心在于将大语言模型与形式化证明搜索深度结合
待验证85%
5月31日
2024年，AlphaProof与AlphaGeometry 2联合解决了IMO竞赛6道题中的4道，折合得分达到银牌标准
已验证65%
5月31日
DeepMind的AlphaProof和AlphaGeometry在国际数学奥林匹克竞赛（IMO）级别的问题上展现了强大能力，但本质上是专用系统
部分验证75%
5月31日
AlphaProof基于强化学习与形式化证明系统（Lean证明助手）的结合，通过蒙特卡洛树搜索等算法探索证明路径
待验证85%