Unverified50% confidenceFactExact time
DeepMind的AlphaProof和Meta的COPRA等项目正在探索用大语言模型自动生成Lean证明脚本再由Lean验证
1
Sources
50%
Confidence
Medium-term (~90 days)
Relevance
9/19/2026
First Seen
Valid until: 12/18/2026
Sources
Related Entities
Related Claims
VerifiedGoogle DeepMind的AlphaProof结合了大语言模型与形式化证明验证器Lean，采用'生成-验证'闭环机制79% similarVerifiedDeepMind的AlphaProof于2024年将大语言模型与Lean 4结合，通过强化学习在形式化环境中自我博弈生成并验证证明步骤77% similarUnverifiedAlphaEvolve由DeepMind打造，是结合大语言模型与进化算法的进化式代码生成系统76% similarUnverifiedDeepSeek等大语言模型被逆向工程师用于辅助分析抖音加密参数，能够识别检测机制并生成绕过方案76% similarVerifiedDeepMind的AlphaProof和AlphaGeometry系统采用了逐步验证的思路75% similar
Cite This Claim
Stable URI
https://kongchang.com/claim/935080API
curl https://kongchang.com/api/v1/knowledge/claims/935080MCP
get_claim(id=935080)