Harmonic 创立于2023年，总部位于美国加州 Palo Alto，Harmonic 致力于构建数学超级智能，公司开发了基于数学原理的下一代人工智能——数学超级智能 (Mathematical Superintelligence，MSI)，能够确保准确性并消除幻觉。
Harmonic美股百科
Harmonic 是一家人工智能公司，致力于开发数学推理引擎，利用人工智能技术解决复杂的数学问题。该公司由 Robinhood 首席执行官 Vlad Tenev 和人工智能研究员 Tudor Achim 于 2023 年创立，其使命是构建“数学超级智能”（Mathematical Superintelligence）——推理能力能够匹敌甚至超越人类的人工智能。
Harmonic技术的核心是其旗舰引擎Aristotle。Aristotle构建于Lean 4证明助理之上——这是一种形式化验证系统，能够将自然语言描述的数学问题转化为可被正式验证的数学证明，从而有效杜绝传统AI模型中常见的幻觉或逻辑不一致的输出。与基于概率运作的生成式语言模型不同，Aristotle提供的是可被证明的、基于逻辑的答案。这种严谨性对于学术研究以及航空航天、金融服务、药物开发等对正确性与安全性要求极高的行业来说至关重要。
Harmonic方法的一项重要技术创新在于其对合成数据和递归自我改进的利用。Aristotle并不依赖人工标注或网页抓取的数据，而是自行生成数学问题与形式证明的配对数据。通过从简单练习逐步进阶到更复杂的问题——这一过程被称为“自我对弈循环”——该模型不断扩展自身的训练数据与能力。凭借这种方法，Aristotle在MiniF2F数学基准测试中达到了最先进的90%成功率，展现出接近奥林匹克数学竞赛水平的形式化数学推理能力。
Harmonic的愿景不仅仅局限于数学本身。其创始人相信，掌握数学推理能力是通向广泛技术与科学领域中普遍问题解决能力和逻辑思维能力的基础。他们设想这一技术可应用于软件验证、工程设计、分子建模乃至理论物理等领域。随着引擎持续进化，Harmonic预计其技术将有助于解决尚未破解的数学难题、加速科学发现的进程，并重新定义人类数学家的角色——他们将更多地扮演AI数学洞察的引导者、解释者和应用者的角色。
Harmonic融资百科
2024年9月，Harmonic完成 Sequoia Capital 领投的7500万美元A轮融资，Index Ventures、DST Global、GreatPoint Ventures、Elefund等跟投。
2025年7月，Harmonic完成 Kleiner Perkins 领投的1亿美元B轮融资，Ribbit Capital、Index Ventures、Sequoia Capital、Paradigm等跟投。
Harmonic美股投资
参考资料：公司官网
评论