Harmonic

美国AI新创Harmonic本周一（7/28）正式发表旗下首款人工智慧应用程序Aristotle，强调为全球首款不会产生幻觉（hallucination）的AI模型，并宣称该模型在2025年国际数学奥林匹亚（IMO）中达到金牌水準的表现，追上OpenAI及Google Gemini。该应用目前开放iOS用户登记候补名单，Android与API版本亦将陆续上线。

Harmonic成立于2023年，总部位于美国加州帕罗奥图，由Robinhood共同创办人暨执行长Vlad Tenev出资支持，并由Tudor Achim担任执行长与共同创办人。该公司专注开发所谓的「数学超级智慧」（Mathematical Superintelligence，MSI），这是一种以形式逻辑与数学证明为核心架构的新一代人工智慧技术，旨在取代传统语言模型中容易出现幻觉与错误的预测式生成方法。

根据Harmonic的说明，传统大型语言模型多以统计机率方式生成语句，难以确保内容真实性与逻辑一致性。而Aristotle则採用MSI架构，具备可验证的逻辑推理能力，能针对複杂问题给出具备数学保证的正确解答，并可主动指出不一致或错误之处，特别适用于数学、科学与工程等高準确性需求场景。

该公司透过X平台直播影片正式发表了Aristotle模型，并于GitHub公开其完整的数学证明。这些证明的关键在于，它们皆经过「形式验证」（Formally Verified）——即透过数学逻辑检查每一步推理是否符合规则，无需人类审查或介入，从而避免AI常见的幻觉、逻辑错误与漏洞。

Harmonic并表示，Aristotle不仅在IMO测试中表现突出，还展示了解决複杂新颖数学问题的能力，象徵其不只是工具，更是一种可加速数学研究与跨领域创新的智慧平台。

为推动其MSI模型商用化，Harmonic已于今年7月完成1亿美元的B轮融资，估值近9亿美元，由Kleiner Perkins领投。