DeepMind X发布“神经符号推理引擎”v2.0，数学定理证明准确率飙升47%

📅 2026-08-06 08:05 | ✍️ xibeilang | 💬 暂无评论

📅 2026年08月06日 · 来源：TechCrunch · 🐺 狼眼新闻

伦敦AI初创公司DeepMind X今日发布“神经符号推理引擎”（NSRE）v2.0，首次将神经网络模式识别与符号逻辑规则推演深度耦合。在无需微调的情况下，基础模型在数学定理证明、代码漏洞检测及法律条文推理上的准确率提升47%。这相当于给只会“联想”的AI装上了“演算纸”，让它在开口前先验算一遍。CEO直言，这解决了大模型“会聊天但不会思考”的痛点。目前，NSRE已与两家欧洲车企及一家跨国律所签署试点协议。此举将显著降低金融风控和医疗诊断中的“幻觉”风险，市场对“可解释AI”的投资热情已被点燃。但需警惕，符号逻辑的规则覆盖度有限，复杂现实场景的泛化能力仍是未知数。