待验证60% 置信事实精确时间
2022年以后DeepMind的AlphaProof和各类大语言模型开始将神经网络与符号推理结合
2
来源数
60%
置信度
长期有效
时效性
2026/7/15
首次发现
来源
相关事实
已验证DeepMind的AlphaProof于2024年将大语言模型与Lean 4结合，通过强化学习在形式化环境中自我博弈生成并验证证明步骤84% 相似待验证AlphaEvolve由DeepMind打造，是结合大语言模型与进化算法的进化式代码生成系统81% 相似待验证DeepMind的AlphaGeometry、MIT的概率编程语言Gen和IBM的神经符号AI项目都在尝试将神经网络的感知能力与符号系统的推理能力结合80% 相似已验证DeepMind正在开发智能体框架，将AlphaFold、AlphaGenome等不同专业化模型整合在一起77% 相似已验证DeepMind的AlphaProof和AlphaGeometry系统采用了逐步验证的思路77% 相似
引用此条事实
Stable URI
https://kongchang.com/claim/521351API
curl https://kongchang.com/api/v1/knowledge/claims/521351MCP
get_claim(id=521351)