待验证50% 置信事实精确时间
DeepMind于2022年推出的AlphaTensor以强化学习方法重新发现了比Strassen算法更优的矩阵乘法路径
1
来源数
50%
置信度
长期有效
时效性
2026/7/11
首次发现
来源
AlphaEvolve商用化：Google Cloud开放算法发现能力解决企业优化难题
redditr/Bard2026/7/9
相关事实
待验证DeepMind的AlphaProof直接在Lean4环境中进行强化学习79% 相似待验证AlphaCode在编程竞赛中展现了DeepMind在强化学习与推理能力方面的突破76% 相似待验证2022年以后DeepMind的AlphaProof和各类大语言模型开始将神经网络与符号推理结合73% 相似已验证DeepMind的AlphaProof于2024年将大语言模型与Lean 4结合，通过强化学习在形式化环境中自我博弈生成并验证证明步骤72% 相似待验证DeepMind的AlphaGeometry、MIT的概率编程语言Gen和IBM的神经符号AI项目都在尝试将神经网络的感知能力与符号系统的推理能力结合71% 相似
引用此条事实
Stable URI
https://kongchang.com/claim/485994API
curl https://kongchang.com/api/v1/knowledge/claims/485994MCP
get_claim(id=485994)