公司动态：Yann LeCun的职业布局 - 人工智能领域知名专家Yann LeCun在离开Meta后，采取了多元化的职业发展策略，不仅创立了自己的初创公司AMI，还加入了另一家初创公司Logical Intelligence [1][2] - LeCun正式加入Logical Intelligence，担任技术研究委员会的创始主席，这标志着其技术理念与该公司的发展路线高度契合 [3][24] 公司介绍：Logical Intelligence - Logical Intelligence是一家于今年1月对外亮相的AI初创公司，专注于研发一种名为能量-推理模型的新型人工智能技术 [12][13] - 公司的创始人是Eve Bodnia，其表示Yann LeCun是能量-推理模型及相关架构领域的唯一专家，是公司启动该项目时唯一可咨询的人选 [24] 核心技术：能量-推理模型 - 公司主推能量-推理模型，该模型通过根据约束条件进行评分来验证和优化解决方案，其目标是找到符合逻辑约束、能量最低的稳定状态 [13][15][16][17] - 该技术路线与当前主流的大模型截然不同，其体系假定问题本身由严格约束构成，推理过程服务于满足约束这一目标 [3][18] - 公司已推出首款工作型能量-推理模型Kona，其参数量低于2亿 [25] 技术论点与优势 - 公司提出三大核心技术论点：大模型作为推理模型存在根本性受限；能量-推理模型克服了基于大模型的推理模型固有的主要难题；扩展AI推理需要结合能量-推理模型与大模型进行协调 [19][20][21] - 能量-推理模型在训练数据方面具有独特优势，其训练数据可以是任何东西，公司旨在为每个独立业务创建较小的专用模型，而非通用大脑，且模型能够从稀疏数据中提取完整信息 [34] 产品性能：Kona模型 - 在数独游戏的性能测试中，Kona模型在单个Nvidia H100 GPU上运行，解决数独问题的速度远快于当前顶尖的大模型 [27] - 具体表现为：Kona完成数独填写用时不到1秒，而GPT 5.2、Claude Opus 4.5、Claude Sonnet 4.5等模型运行超过100秒仍未得出正确结果 [4] - 在准确率上，Kona也遥遥领先，其他如Gemini 3 Pro、Claude Opus 4.5等模型在超过100秒后给出的结果仍是错误的 [28][32] - 选择数独进行测试是为了突出能量模型在强约束、零容错的逻辑问题上的搜索效率优势 [33] 市场定位与发展愿景 - 公司的目标不仅是解决数独类游戏，而是瞄准现实世界中最为棘手的强约束问题，例如优化复杂的能源网络分配或实现精密制造过程的自动化 [33] - 公司CEO Eve Bodnia强调，这些目标任务与语言无关，且对AI幻觉的容忍度非常低 [33] - 公司认为当前行业处于“大模型泡沫”中，而通往通用人工智能的道路需要不同类型的人工智能各司其职 [25][26] - 目前Kona模型为闭源，但公司最终会考虑将部分内容开源，并强调在公开发布前需要充分理解其安全性、可能性与界限 [35][36]