Logical Intelligence 发布 Kona 1.0：全球首个面向关键系统的能量模型，Yann LeCun 担任技术主席

公告

Logical Intelligence 发布 Kona 1.0，号称全球首个面向自主系统、金融和国防等关键系统的能量模型（EBM）。

团队

• Yann LeCun — 技术研究委员会主席（Meta 首席 AI 科学家）
• Michael Freedman — 首席数学官（菲尔兹奖得主）
• Eve Bodnia — 创始人兼 CEO

什么是能量模型？

EBM 代表不同的 AI 方法：不像 LLM 预测下一个 token，EBM 在所有可能输出上定义能量函数。能量越低 = 输出越可能正确。提供推理质量的数学保证，可形式化验证。

产品线

• Kona 1.0：EBM 推理核心
• Aleph：验证代码生成系统， reportedly 已解决 PutnamBench 数学推理基准

愿景

将推理与语言分离：EBM 负责数学验证的逻辑，LLM 负责自然语言接口。

为什么重要

对关键应用（医疗诊断、自动驾驶、金融交易、国防），LLM 的概率性质是根本局限。EBM 提供：确定性输出、形式化验证、不确定性量化和安全保证。

EBM 历史上难以大规模训练，Kona 1.0 是否在生产中克服了这些限制有待观察。但有 Yann LeCun 的支持和 Michael Freedman 的数学专长，Logical Intelligence 有望做出严肃尝试。

Logical Intelligence