AlphaProof

AlphaProof证明系统破解了大模型数学理解不稳定的痛点。DeepMind利用Gemini与Lean编译器闭环，低成本自主攻克了9个埃尔德什开放数学难题。此研究标志着数学形式化证明搜索的大规模落地...