Robinhood首席執行官弗拉德·特內夫（Vlad Tenev）吹捧「自主數學家」，Harmonic揭開了Aristotle Agent的面紗

周二，Robinhood Markets Inc.（納斯達克股票代碼：HOOD）首席執行官弗拉德·Tenev強調了他的初創公司Harmonic的一個新人工智能系統，旨在獨立解決高級數學問題。

由Tenev共同創立的Harmonic AI推出了「Aristotle Agent」，稱其為「世界上第一個自主數學家」，能夠在沒有人類干預的情況下解決複雜的研究問題。

Tenev在X上的一篇帖子中寫道：「向世界上第一位自主數學家打個招呼……他（暫時）自由了！"

向世界上第一位自主數學家打個招呼……他（暫時）自由了！https://t.co/OgXU2hYUcc

該公司表示，該系統可以解釋用簡單英語寫的數學問題，將其轉換為正式證明，並在沒有幫助的情況下連續工作長達24小時。

Harmonic表示，Aristotle Agent在Vals AI開發的基準ProofBench上的形式數學排名第一，比最接近的競爭對手高出15%。

人工智能還被設計為充當一個完全「代理」系統，這意味着它可以獨立生成證明、編輯文件並在Lean等以數學為中心的編程環境中運行。

該初創公司補充説，Aristotle Agent會產生「repo優質」的代碼，一些用户已經將其貢獻合併到項目中，無需修改。

該工具目前可在網絡、命令行界面和API訪問中使用，表明Harmonic正在努力吸引研究人員和開發人員。

🦾認識一下世界上第一位自主數學家Aristotle Agent-現場直播，目前免費。我們設計了Aristotle Agent來解決和形式化世界上最具挑戰性的數學研究問題。現在是：形式數學中的第一名：我們是第一名形式數學模型. pic.twitter.com/LlDBxlvmWy️

Harmonic由Tenev和首席執行官Tudor Achim於2023年創立，正在追求所謂的「數學超級智能」。"

該公司已經籌集了大量資金，其中包括由紅杉資本領導的7500萬美元A輪融資和1億美元的B輪融資，估值為8.75億美元。

聲明：此內容部分是在人工智能工具的幫助下製作的，並由Benzinga編輯審查和發佈。

圖片來源：Ink Drop / Shutterstock