Robinhood 執行長旗下 AI 新創 Harmonic 擴張：Aristotle 模型進軍軟體與晶片設計驗證

由 Robinhood 執行長 Vlad Tenev 共同創辦的 AI 新創 Harmonic 在 10 月 27 日宣布，其 Aristotle 模型將從數學證明擴展到軟體與晶片設計驗證。路透社報導，這一步正值 AI 被用來偵測軟體缺陷的做法受到越來越多關注之際。

從數學證明走向程式碼

Harmonic 表示，Aristotle 現在可以驗證以 C 語言撰寫的軟體，以及以 Verilog 撰寫的晶片設計。該公司把自己的目標稱為數學超級智能，也就是一種著重推理、旨在減少幻覺與事實錯誤的 AI 系統。

路透社指出，這類技術近期被用來發現 PHP 的嚴重漏洞，引發全球搶修。軟體漏洞一旦進入生產環境，修補成本高昂，能在設計階段就以數學方式驗證正確性，正是 Harmonic 想切入的市場。

一個四小時的核融合案例

Harmonic 舉了一個來自美國核融合實驗室 DIII-D 的例子：Aristotle 僅憑一篇研究論文與 254 字的提示，在四小時內重建了部分反應爐控制軟體。這個案例被用來說明，推理型模型不只會寫程式，還能對照規格檢查程式是否正確。

背景與接下來看什麼

Harmonic 去年 11 月完成 1.2 億美元融資，估值 14.5 億美元，投資方包括 Nvidia 的創投部門、Sequoia 與 Ribbit Capital。報導未提及這次擴張是否伴隨新融資或新客戶名單。值得觀察的是，驗證工具能否從研究展示走進晶片與軟體公司的日常開發流程，以及客戶是否願意為減少漏洞的確定性付費。