新程式語言 Bend 推出：結合形式化驗證防止 AI 代理出錯，支援 CPU 與 GPU 自動平行化

據官網資訊，專為約束 AI 代理行為設計的新程式語言 Bend 近日亮相。該語言具備 Python 語法，編譯為原生程式碼後，單核執行速度接近 C 語言。 Bend 的核心機制在於透過形式化驗證防止 AI 寫出錯誤程式碼。開發者可在 `LAWS.bend` 檔案中宣告規則，AI 代理必須為其生成數學證明（`PROOF.bend`）。Bend 的型別檢查器同時也是證明檢查器（類似 Lean），且驗證時間最多僅需一秒，讓 AI 能在每次修改後快速檢查，從數學層面杜絕違反規則的程式碼被合併。 在運算效能上，Bend 支援自動平行化，開發者無需手動編寫執行緒、鎖或 CUDA 核心程式。系統會自動將工作負載分散至多核 CPU 或高達 4,096 核的 GPU 上，最高可達單核的 100 倍速度。 官方指出，Bend 目前仍處於早期發展階段，建議用於 Linux 與 macOS 的後端開發。其底層架構由基於仿射相依型別理論的 BendTT，以及支援 CPU/GPU 平行執行的虛擬機 BendRT 所組成。