【编者按】在AI浪潮席卷全球的当下，如何破解模型“幻觉”难题成为行业焦点。由Robinhood首席执行官弗拉德·特涅夫参与创立的Harmonic公司，以1.45亿美元估值完成1.2亿美元融资，开创性地通过“数学超智能”技术让AI像数学家般严谨推理。这家尚未盈利的初创企业竟在14个月内完成三轮融资，红杉资本、凯鹏华盈持续加注，连劳伦娜·鲍威尔·乔布斯的Emerson Collective也躬身入局。其核心模型Aristotle在国际数学奥林匹克竞赛中与谷歌、OpenAI同台竞技斩获顶级评价，更用Lean4编程语言将推理过程转化为可验证代码，为航空航天、金融等高风险领域带来革命性突破。当AI学会用数学思维杜绝信口开河，我们或许正在见证机器智能的真正觉醒。
由Robinhood首席执行官弗拉德·特涅夫联合创立的AI初创公司Harmonic，近日完成1.2亿美元新一轮融资，公司估值飙升至14.5亿美元！这家企业正通过提升推理能力全力攻克AI“幻觉”——即错误或荒谬回答的行业难题。
这家尚未盈利的初创企业此次C轮融资由Ribbit Capital领投，老股东红杉资本和凯鹏华盈持续加注，劳伦娜·鲍威尔·乔布斯的投资机构Emerson Collective作为新晋投资方重磅加盟。
这已是该公司14个月内第三次重大融资，总融资额达2.95亿美元！充分彰显投资者对提升AI精准性与可靠性的初创企业展现出的狂热兴趣——即便它们尚未推出商业化产品。
Harmonic正在研发名为“数学超智能”（MSI）的AI形态，专注于高级推理能力。该公司宣称其技术能彻底摆脱困扰众多生成式AI模型的幻觉现象和事实错误。
其旗舰模型Aristotle采用合成数学证明训练——即计算机生成的解题范例，今年7月在国际数学奥林匹克竞赛中与谷歌、OpenAI同台竞技斩获顶级评价。CEO图多尔·阿基姆表示，这一突破性成果直接引爆了投资热情。
成立于2023年的Harmonic通过形式化推理实现突破，要求AI将推理过程以Lean4编程语言输出为计算机代码，确保每个步骤都可验证。阿基姆透露，新融资将主要投入模型训练所需的巨额算力。
聚焦可验证、零误差的逻辑体系，Harmonic立志为航空航天、金融等安全关键领域构建可信AI防线——这些行业任何失误都可能引发严重后果。
“消除幻觉的核心秘诀，是要求系统输出代码化的推理过程，而非英语描述。”CEO图多尔·阿基姆在专访中揭秘技术内核。
目前Harmonic通过免费API向公众开放Aristotle模型，数学家与研究人员正运用该工具验证复杂证明、加速前沿发现。阿基姆表示未来将探索商业化路径。
“在软件开发的某些领域，安全性与可靠性至关重要。”他特别强调，汽车与航空航天等安全关键领域已展现出迫切需求。
