Harmonic 是一家由 Robinh ood CEO 弗拉德・特涅夫（Vlad Tenev）共同創辦的人工智能初創公司，近日宣佈推出其 iOS 和 Android 平臺的 AI 聊天機器人應用程序，用戶可以通過該應用訪問其 AI 模型 —— 亞里士多德(Aristotle)。此款應用目前處於測試階段，旨在讓更多人使用這一 “無幻覺” 的數學推理工具。

image.png

Harmonic 聲稱，亞里士多德能夠提供在數學推理領域的問題的準確答案，這一主張在當今人工智能模型常見的可靠性問題背景下尤爲大膽。Harmonic 的目標是創造出 “數學超智能”（Mathematical Superintelligence，MSI），希望能夠幫助用戶解決涉及數學的各個領域，包括物理、統計和計算機科學。

Harmonic 的 CEO 和共同創始人圖多爾・阿基姆（Tudor Achim）在接受 TechCrunch 採訪時表示:“亞里士多德是第一個能夠進行推理並形式驗證輸出的產品。在亞里士多德支持的定量推理領域，我們實際上保證沒有幻覺。” 此外，Harmonic 計劃在未來推出 API，讓企業能夠訪問亞里士多德，並且還會發布消費者用的網頁應用。

值得一提的是，Harmonic 聲稱，亞里士多德在2025年國際數學奧林匹克（IMO）中取得了金牌表現，這是通過正式測試實現的，意味着問題被轉化爲機器可讀的格式進行驗證。與此相比，谷歌和 OpenAI 的 AI 模型在今年的 IMO 中也取得了金牌，但它們是通過自然語言進行的非正式測試。

此次亞里士多德的測試版發佈恰逢 Harmonic 最近完成了一輪1億美元的 B 輪融資，融資由 Kleiner Perkins 領投，公司估值達到8.75億美元。阿基姆表示，投資者認爲這一估值合理，因爲 Harmonic 在實現數學超智能的道路上快速前進。

目前，許多領先的科技公司都在致力於訓練其 AI 模型以解決數學問題。能夠進行數學運算的 AI 本身就具有很高的價值，同時，數學作爲一個獨特的可驗證領域，要求核心推理能力的系統可能在其他領域也會發揮重要作用。

阿基姆指出，Harmonic 通過讓亞里士多德使用開源編程語言 Lean 來實現其高精度的解決方案。在給出答案之前，亞里士多德會通過一種不涉及 AI 的算法過程來雙重檢查解決方案的正確性。這種類似的技術在醫療設備和航空等高風險領域的輸出驗證中也有廣泛應用。

儘管在一個狹窄領域中實現無幻覺的 AI 模型表現是極其困難的任務，然而，Harmonic 仍然在這一領域邁出了重要一步。

官網:https://harmonic.fun/

劃重點:  

📊 Harmonic 推出的亞里士多德 AI 聊天機器人旨在提供精準的數學推理答案。  

💰 公司近期獲得1億美元 B 輪融資，估值達8.75億美元，發展迅速。  

🧠 亞里士多德利用開源編程語言進行算法驗證，確保輸出無幻覺。