陶哲軒代表 SAIR Foundation 宣佈啟動「開放數學模型計劃」
為何重要
針對標準大語言模型在形式化證明中常產生「幻覺」的缺陷，該計劃通過社群自治與開放權重架構，試圖建立科研級的可驗證信任機制，可能為科學應用的「最後一公里」提供開源替代方案。對於開源生態而言，這是首個由菲爾茲獎得主牽頭的垂直領域基礎模型，若成功或將重塑學術協作範式。
著名數學家陶哲軒於2026年9月18日代表 SAIR Foundation 宣佈啟動「開放數學模型計劃」，旨在聯合學術界與產業界，為數學及科學研究構建開放權重模型與配套開源工具。
- SAIR Foundation 成立於2025年，且在啟動該計劃前曾獲 XTX Markets 資助其競賽活動。
- 首階段聚焦理解論證、核對文獻、形式化證明等日常科研場景，原則包括開放權重、可復現評測與社群治理。
- 計劃開發模型與工具將採用 Apache 2.0、MIT 或 CC BY 4.0 等開放許可，且僅在使用使用者明確同意的資料後進行訓練。