陶哲軒宣布啟動 SAIR 開放數學模型計畫,聚焦形式化證明並徵集算力與資金
該非營利計畫旨在構建不依附大型 AI 公司的開放權重模型與開源工具,首階段聚焦日常數學研究,將採 Apache 2.0 等開放授權。
量子位單一來源
31 則值得知道的變化
該非營利計畫旨在構建不依附大型 AI 公司的開放權重模型與開源工具,首階段聚焦日常數學研究,將採 Apache 2.0 等開放授權。
據報 DeepSeek-V4.1-Flash 結合跨層重複使用與 FP4 快取技術;另有兩篇探討減少 token 流量與評估 176 種設定的程式代理研究。
Intel 提出以實際交付量取代理論算力作為資料中心評估標準,實測顯示透過硬體加速器卸載沙箱快照壓縮,可降低最高 42% 恢復延遲。
據社群傳聞,西班牙公司 Multiverse Computing 疑似利用 156 量子位元的 IBM Heron 量子電腦,開發出參數規模達 438B 的 Quasar 1.1 模型,官方尚未證實。
網路流傳一項未經官方證實的消息,指稱新模型 ChatGPT-6 Astra 已成功破解長達 108 年未解的第一次世界大戰德國密碼。
該資訊涉及 AI 在生物科技領域的應用進展,指出每秒有數百萬個基因組開關決定細胞的運作與適應方式,目前尚無具體技術細節。