陶哲軒宣布啟動 SAIR 開放數學模型計畫，聚焦形式化證明並徵集算力與資金

據報導，2026 年 9 月 18 日，菲爾茲獎得主陶哲軒代表非營利組織 SAIR Foundation 宣布啟動「開放數學模型計畫」，旨在為數學及科學研究構建開放權重模型與配套開源工具。 計畫首階段將聚焦於日常數學工作，包含理解艱深論證、核對文獻、探索示例、編寫程式碼以及形式化證明。該計畫強調不依附任何大型 AI 公司，開發的模型、程式碼與工具將視情況採 Apache 2.0、MIT 或 CC BY 4.0 等開放授權與社群共享，並承諾公開訓練方法與提供可復現的評測。此外，訓練資料僅會在獲得使用者明確同意的前提下使用，且資料來源必須可追溯。 陶哲軒在聲明中指出，原計畫於未來幾個月從若干試點專案循序漸進起步，但考量到各界對開放模型的強烈需求，決定將公開宣布的時間提前。SAIR Foundation 目前正面向學術界與產業界徵集能貢獻資金、算力、專業經驗或社群建設的合作夥伴，並透露近期已獲得 XTX Markets 贊助其下一輪競賽。