待验证50% 置信事实精确时间
DeepMind 等机构正在探索将大语言模型与 Lean 结合，让 AI 自动补全证明步骤
1
来源数
50%
置信度
中期 (~90 天)
时效性
2026/9/19
首次发现
有效期至：2026/12/18
来源
涉及实体
相关事实
待验证世界模型被许多研究者视为通往通用人工智能的重要路径之一，DeepMind的Genie是相关探索之一80% 相似待验证DeepMind的AlphaProof和Meta的COPRA等项目正在探索用大语言模型自动生成Lean证明脚本再由Lean验证78% 相似待验证DeepMind的AlphaGeometry、MIT的概率编程语言Gen和IBM的神经符号AI项目都在尝试将神经网络的感知能力与符号系统的推理能力结合77% 相似已验证DeepMind正在开发智能体框架，将AlphaFold、AlphaGenome等不同专业化模型整合在一起77% 相似待验证2022年以后DeepMind的AlphaProof和各类大语言模型开始将神经网络与符号推理结合76% 相似
引用此条事实
Stable URI
https://kongchang.com/claim/935866API
curl https://kongchang.com/api/v1/knowledge/claims/935866MCP
get_claim(id=935866)