初创公司 Axiom Math 由 24 岁的 Carina Hong 创立，致力于开发能够自主验证逻辑正确性 的"AI 数学家"。该公司在 2025 年获得 6400 万美元融资，核心团队汇聚了来自 Meta 和 Google 的顶尖人才以及知名数学家。与主流大模型不同，其系统通过 Lean 编程语言确保推 理过程的每一步都可追溯、可检查，解决了 AI 产出结果难以验收的信任难题。通过在 Putnam 数学竞赛中的优异表现，Axiom 证明了 AI 可以从简单的答案生成转向严密的形式化 证明。这种对可信度的追求，旨在将 AI 从不稳定的辅助工具提升为能在科研与工业领域真 正落地、可被验收的可靠合作者。 2025 年，几乎每一场 AI 发布会都在说"我们能做什么"。 但企业真正卡住的，是另一个问题：AI 做出来的结果，怎么证明是对的？ 很多 AI 产品上线前 demo 演示得很好，一上线就出问题： 错误定位不了， 责任追不清楚， 结果复现不了。 最后只能说：没法验收。 Axiom Math，一家总部在旧金山的 AI 初创公司，换了个思路：不是追求 AI 能做什么，而是证明它做 对了什么。 这家刚在 2025 ...

新华财经上海11月27日电（记者王鹤）11月27日，市场研究机构J.D. Power君迪与同济大学HVR Lab （人车关系实验室）以及AI评价伙伴XAI Lab（蜂火智能实验室）共同发布的2025中国智能座舱的研究 报告显示，2025年，智能座舱已经开始从"数字冗余"转向"实用主义"的理性变革，未来智能座舱的竞争 焦点将从"功能的广度"回归"体验的深度"。 报告认为，早期"功能座舱"以丰富在线服务为核心；随后的"感知座舱"通过多模态交互与感知技术融 合，实现基于规则的自然交互与任务自动化；如今，大模型技术的深度应用让行业正式迈入"认知座 舱"新阶段。这一系统能精准理解用户行为与偏好，主动推送餐饮、音乐等个性化服务，完成从被动响 应到自主认知的高阶交互升级。 数据质量与场景定义成为核心竞争力，体验深度成为购买决策锚点 随着大模型能力普及，行业出现明显的功能同质化趋势。智能座舱竞争正从"模型规模"转向"数据质 量、场景颗粒度与深度适配"之争。车企需构建"场景—数据—模型"的一体化闭环能力，实现"模型即应 用"，才能在真实用车场景中形成差异化体验。 报告发现，用户对智能座椅、智能音响等舒适性硬件的支付意愿提升，体 ...