已验证65% 置信事实精确时间

Google DeepMind的AlphaProof结合了大语言模型与形式化证明验证器Lean，采用'生成-验证'闭环机制

3

来源数

65%

置信度

长期有效

时效性

2026/7/19

首次发现

来源

AI攻克世界级数学猜想，数学家将转型为"策展人"？

相关事实

待验证DeepMind的AlphaProof和Meta的COPRA等项目正在探索用大语言模型自动生成Lean证明脚本再由Lean验证79% 相似已验证DeepMind的AlphaProof和AlphaGeometry系统采用了逐步验证的思路79% 相似已验证DeepMind的AlphaProof于2024年将大语言模型与Lean 4结合，通过强化学习在形式化环境中自我博弈生成并验证证明步骤77% 相似待验证2022年以后DeepMind的AlphaProof和各类大语言模型开始将神经网络与符号推理结合75% 相似

引用此条事实

Stable URI

https://kongchang.com/claim/563069

API

curl https://kongchang.com/api/v1/knowledge/claims/563069

MCP

get_claim(id=563069)