陶哲軒宣布啟動 SAIR 開放數學模型計畫，聚焦形式化證明並徵集算力與資金
該非營利計畫旨在構建不依附大型 AI 公司的開放權重模型與開源工具，首階段聚焦日常數學研究，將採 Apache 2.0 等開放授權。
量子位單一來源
完整日報
AI 日報 2026-09-20
31 則值得知道的變化
31 則值得知道的變化
該非營利計畫旨在構建不依附大型 AI 公司的開放權重模型與開源工具，首階段聚焦日常數學研究，將採 Apache 2.0 等開放授權。
該模型總參數 29B，基於昇騰算力訓練，經 4-bit 量化後顯示記憶體降至 15GB，並深度相容 Claude Code 等主流代理框架。
Jev 定位為輔助 LLM 的快速決策模型，社群已推出基於 Qwen 與 ModernBERT 的微調版本，並探索其在路由與瀏覽器控制的應用。