根據輝達(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 所提出的特定主張。
根據格隆匯,中國首個合規實體 AI 資料平台由上海科技交易所、科興時空科技與宇樹機器人聯合開發,於 7 月 21 日正式開始營運。該平台定位為面向全球研究機構的全國首個實體 AI 資料基礎設施,並自始即導入全流程合規管理。它運用宇樹在機器人運動控制與場景適配方面的專業能力,提升資料蒐集的品質與模型訓練所需的覆蓋範圍。該平台在上海網信主管部門的指導下,實施端到端的合規監控,並整合電子資料驗證與權益登記機制,將實體 AI 資料建立為標準化且可交易的智慧財產資產。