Unverified50% confidenceFactExact time
2022年以后DeepMind的AlphaProof和各类大语言模型开始将神经网络与符号推理结合
1
Sources
50%
Confidence
Long-term
Relevance
7/15/2026
First Seen
Sources
Related Claims
VerifiedDeepMind的AlphaProof于2024年将大语言模型与Lean 4结合，通过强化学习在形式化环境中自我博弈生成并验证证明步骤84% similarUnverifiedAlphaEvolve由DeepMind打造，是结合大语言模型与进化算法的进化式代码生成系统81% similarUnverifiedDeepMind的AlphaGeometry、MIT的概率编程语言Gen和IBM的神经符号AI项目都在尝试将神经网络的感知能力与符号系统的推理能力结合80% similarUnverified大语言模型从本质上是深度神经网络77% similarUnverifiedAlphaCode在编程竞赛中展现了DeepMind在强化学习与推理能力方面的突破76% similar
Cite This Claim
Stable URI
https://kongchang.com/claim/521351API
curl https://kongchang.com/api/v1/knowledge/claims/521351MCP
get_claim(id=521351)