待验证50% 置信事实精确时间
DeepMind的AlphaProof和Meta的COPRA等项目正在探索用大语言模型自动生成Lean证明脚本再由Lean验证
1
来源数
50%
置信度
中期 (~90 天)
时效性
2026/9/19
首次发现
有效期至：2026/12/18
来源
涉及实体
相关事实
已验证Google DeepMind的AlphaProof结合了大语言模型与形式化证明验证器Lean，采用'生成-验证'闭环机制79% 相似已验证DeepMind的AlphaProof于2024年将大语言模型与Lean 4结合，通过强化学习在形式化环境中自我博弈生成并验证证明步骤77% 相似待验证AlphaEvolve由DeepMind打造，是结合大语言模型与进化算法的进化式代码生成系统76% 相似待验证DeepSeek等大语言模型被逆向工程师用于辅助分析抖音加密参数，能够识别检测机制并生成绕过方案76% 相似已验证DeepMind的AlphaProof和AlphaGeometry系统采用了逐步验证的思路75% 相似
引用此条事实
Stable URI
https://kongchang.com/claim/935080API
curl https://kongchang.com/api/v1/knowledge/claims/935080MCP
get_claim(id=935080)