美國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領投。
