根據輝達(NVIDIA)說法,7 月 21 日,公司發布了 Spectrum-6 乙太網路交換系統,該系統面向 Vera Rubin 平台,為下一代超大規模 AI 工廠而設計。該系統提供 102.4Tbps 的交換容量,是其前代產品的兩倍,並針對連接數十萬顆 GPU 與 CPU 進行工程化設計,同時支援大規模 AI 訓練、代理式(agentic)應用以及推論工作負載。Spectrum-6 將作為下一代 Spectrum-X 乙太網路平台的核心組件,提供高頻寬、智慧型流量管理以及失效復原能力,以提升整體 AI 工廠的運算效率。
今天(7 月 21 日),以太坊聯合創始人 V 神提出建立一種新的高階程式語言,將其編譯至像 Lean 與 HOL 這樣的形式化證明系統,重點在於最佳化定義與定理的可讀性,而非證明流程本身。根據 PANews 的說法,V 神表示,該語言旨在協助人類清楚理解 AI 生成的大規模形式化證明在數學與邏輯上所呈現的內容,讓讀者能更容易稽核並驗證 AI 所提出的特定主張。