人工智能公司Logical Intelligence今日宣布，其首款基于能量模型（EBM）的推理系统Kona 1.0将启动试点项目，合作方涵盖能源、先进制造和半导体行业。公司同步上线Kona 1.0的实时演示，首期以数独挑战形式与主流大语言模型进行对比，后续还将推出国际象棋和围棋等场景的展示。此举旨在向研究者与公众直观呈现能量模型推理与传统概率系统之间的本质差异。 公司创始人兼CEO Eve Bodnia表示：“Kona通过识别并修正自身错误来学习，而非猜测最可能的答案。如果通用人工智能（AGI）意味着跨领域推理、从错误中学习且无需为每项任务重新训练，那么Kona是AGI早期最可信的信号之一。它并非终点，但标志着与狭义AI的根本性突破。AGI不会由单一模型实现，而需EBM、大语言模型、世界模型等技术协同构建的生态系统。” 公司同时宣布重要人事任命：著名AI专家Yann LeCun（2018年图灵奖得主、前Meta首席AI科学家）出任技术研究委员会创始主席，Patrick Hillmann（曾任Binance战略官、通用电气高管）加入担任首席战略官。团队还包括菲尔兹奖得主Michael Freedman（首席数学官）和ICPC世界冠军、前Facebook工程师Vlad Isenbaev（首席AI官）。 LeCun强调：“真正的推理应被建模为优化问题，这正是能量模型的核心思想——通过最小化能量函数实现推理与推断。Logical Intelligence是首个将EBM推理从理论推向实际产品的公司，为更可靠的人工智能系统开辟新路径。” 与依赖概率预测的主流模型不同，Logical Intelligence的系统通过定义“允许”与“禁止”的边界，寻找满足约束条件的解，确保行为可证明正确。该架构特别适用于能源、半导体验证、工业自动化、机器人等对安全性、可审计性和责任归属要求极高的领域。Kona 1.0在原有形式化验证与可验证代码生成基础上，实现对整个系统级推理的支持，保障系统演进过程中的正确性。 Hillmann指出：“AI正进入失败将带来实际后果的领域，市场需要的不是性能最优，而是可认证、可辩护的系统。我们将与政策制定者和行业领袖早期协作，确保技术以负责任的方式演进。” Logical Intelligence致力于在关键基础设施与高可靠性场景中构建可验证AI，其现有Aleph代理已支持形式化验证与机器可检查的代码生成，而Kona平台将推动能量模型迈向大规模、持续可验证的推理系统。