重點

由 Robinhood 執行長 Vlad Tenev 共同創立的創新 AI 新創公司 Harmonic 在 iOS 和 Android 上推出其 AI 聊天機器人應用程式的測試版本。該應用程式由 AI 模型 Aristotle 提供支援，旨在提供無幻覺的數學推理答案。Harmonic 聚焦於「數學超級智慧」（MSI），其最終目標是協助在物理學和計算機科學等各種依賴數學的領域中提供支持。

情感分析

• 文章討論了一個能提供可靠數學解決方案的 AI 模型對不斷演變的 AI 領域的積極影響。
• 文章的基調偏向樂觀，強調創新進展和潛在的行業應用。
• 儘管 AI 的可靠性面臨挑戰，Harmonic 的方法帶來了令人振奮的發展，並有大量資金支持。

文章內容

由 Robinhood 執行長 Vlad Tenev 共同創立的 AI 新創公司 Harmonic 宣布推出新的 iOS 和 Android 聊天機器人應用程式的測試版。該應用程式的特點是 Aristotle，一個先進的 AI 模型，旨在就涉及數學推理的問題提供清晰的答案，這是一個當前 AI 模型面臨可靠性挑戰的領域。Harmonic 旨在推進其所稱的「數學超級智慧」（MSI），計劃將其能力擴展至像物理、統計和計算機科學等各種數學驅動的領域。

在與 TechCrunch 的對話中，Harmonic 的執行長兼共同創始人 Tudor Achim 強調了 Aristotle 的突破性產品，稱其是第一個驗證其輸出的產品，特別是在定量推理領域中，保證沒有誤報或幻覺——這一大膽的聲明考慮到 AI 模型可靠性已知的陷阱。公司計劃通過提供企業 API 和針對消費者的網絡應用來擴大 Aristotle 的影響力。

Aristotle 通過嚴格的測試獲得了 2025 數學奧林匹克比賽（IMO）金牌，這些問題被格式化為機器可解釋。其他科技巨頭如 Google 和 OpenAI 也開發了能實現類似壯舉的 AI，雖然它們的成就在自然語言中是通過不那麼正式的評估獲得的。目前，Harmonic 並未披露 Aristotle 的更多基準。

Aristotle 的測試版發布恰逢 Harmonic 最近的財務增長，由 Kleiner Perkins 領投的 1 億美元 B 輪融資，估值達 8.75 億美元。Achim 指出，這筆資金的注入證實了 Harmonic 在實現 MSI 方面的快速進展，反映了投資者對這家新創公司戰略願景的信心。

隨著領先的科技公司致力於開發能解決複雜數學問題的 AI，能進行數學驗證決策的能力仍然是無價的。數學是一個天然適合展示 AI 核心推理能力的領域，這可能會延伸至其他應用領域。

Harmonic 採取的方法涉及使用 Lean（一個開源程式語言）生成響應，然後使用非 AI 演算法驗證解決方案的正確性。Achim 強調，類似技術適用於醫療設備和航空等關鍵領域，這強調了精準的重要性。然而，實現 AI 免於幻覺的輸出仍然是一項巨大的挑戰，持續的研究指出現有的模型中頻繁出現幻覺，即使是在近期開發的新模型中。

關鍵洞察表