Google DeepMind发布AlphaProof：IMO级数学推理

AlphaProof

2026年6月29日，Google DeepMind发布AlphaProof AI数学推理系统，在国际数学奥林匹克（IMO）难度上达到金牌水平。

突破

1. IMO 2025满分：解出全部6道题

2. 形式化证明：可自动验证数学定理

3. 通用推理：跨代数、几何、数论

应用

1. 数学研究辅助

2. 自动化定理证明

3. 科学发现