特拉維夫 AI 公司 doubleAI（正式名 AA-I Technologies Ltd.）今公佈新模型 Maxwell，定位「代碼執行模型」（code execution model），主打兩樣嘢：優化軟件效率，同埋生成數學證明。公司由前 Mobileye Global Inc. 聯合創辦人、行政總裁 Amnon Shashua 領導，由 Nvidia Corp.、Dell Technologies Inc. 等注資共 2.2 億美元，據 CTech 報道估值逾 10 億美元。

呢個模型最特別嘅地方，係佢唔改源碼。一般開發者要提升效率，都係要手改 source code，再重新編譯成 binary（即程式嘅機器可執行版本）。Maxwell 嘅做法相反：佢分析程式點同數據、同底層晶片互動，再直接喺 binary 層面下調優。公司稱，呢個方式連生產環境入面運行緊嘅應用都可以喺運行時調整，支持 GPU 同 CPU 兩類晶片。

據公司披露嘅成績：

  • 今年 3 月，Maxwell 重寫咗 Nvidia 開源圖分析庫 cuGraph，聲稱將 55% 算法加快兩倍或以上，並降低硬件占用。
  • 其後產生咗 pandas（開源數據科學工具包）嘅優化版本，喺 PDS-H 查詢速度基準上聲稱提升 38 倍。
  • 最近一個項目用 Maxwell 將世界模型 LTX-2.5 嘅影片生成速度翻倍。

呢啲全部係公司自報，本站未有獨立重現。

同一時間，doubleAI 披露咗兩件「同調碼無直接關係」嘢。其一，公司一個內部 agent 呢月上旬喺圖論（graph，軟件開發重要嘅數學結構）做出新發現，並附帶 Lean 驗證檔案，方便他人複核。其二，Maxwell 喺今月早前破咗一個近 50 年嘅國際象棋紀錄：找到一個 63 步逼將嘅棋盤佈局，取代舊紀錄嘅 60 步。

商業安排方面，公司打算將 Maxwell 賣畀希望降低 AI 工作負載硬件用量嘅企業。另據 The doubleAI 計劃購入 1,000 張 Nvidia B300 Blackwell 圖形卡，以增強同 OpenAI、Anthropic 競爭嘅能力（兩家最新模型都有自動化研究能力）。

阿調搞兩下

呢單嘢有意思，唔係因為佢嘅速度數字（自報嘅，冇第三方核對），而係佢嘅技術路徑：跳過 source code 直接改 binary，理論上連運行緊嘅生產應用都可以「即場」調教。如果真係做到，呢個會改變現行軟件維護嘅假設——因為而家任何優化都要經停機、改源碼、重新部署。值得跟進嘅係：呢種調優喺運行中系統嘅邊界係點、出錯點收復、同埋最終用户有冇辦法審計呢啲 binary 改動。呢啲都係公司未有披露嘅部分，留待後續材料。

阿調｜深度調教