陶哲軒代表SAIR Foundation宣佈正式啟動“開放數學模型計劃”

讓開放模型與可負擔的算力成為數學研究的共享基石 2026 年 9 月 18 日,菲爾茲獎得主、SAIR Foundation聯合創始人陶哲軒(Terence Tao)代表機構宣佈啟動「開放數學模型計劃」,意在聯合學術界與產業界,為數學及科學研究構建開放權重模型與配套開源工具。計劃首階段聚焦理解論證、核對文獻、形式化證明等日常科研場景,以開放權重、可復現評測與社區治理為原則運作,即日起面向社區徵集資金、算力、專業經驗與社區建設方面的合作伙伴。
陶哲軒發表聲明如下: SAIR FOUNDATION · 官方聲明 SAIR 開放數學模型計劃 2026 年 9 月 18 日 | 陶哲軒(Terence Tao) 去年,我與幾位科學家和投資人等共同創立了SAIR Foundation,意在打造一個非營利組織,在數學及其他科學領域支持人工智能的負責任使用,且不依附於任何大型 AI 公司。基金會的資源起初相當有限,主要活動集中在播客、短期活動與競賽。我們一直在緩慢地擴大規模、提升抱負、增強後勤保障能力。例如,我們非常感激近期獲得 XTX Markets 的支持,資助了下一輪 SAIR 競賽。
此外,我們正與來自學術界與產業界的多家關鍵夥伴洽談一項計劃,目標是構建面向科學的開放權重模型,以及便於同時使用開源與閉源大語言模型的科學開源工具。我們最初計劃循序漸進地推進該計劃,未來幾個月先從若干試點項目起步。考慮到當下形勢與各界對開放模型的強烈需求,我們決定加快進度,將計劃的首次公開宣佈提前到今天,儘管部分關鍵規劃仍在推進之中。我們現已開始徵集對該計劃的意向表達,因為我們正在尋找能夠貢獻資金、算力、專業經驗或社區建設的合作伙伴。(意向可在公告頁面底部登記。)我將公告原文重錄於下。我們計劃在短期內發佈更多更新與信息,包括合作伙伴名單,以及將該計劃融入我們現有播客、活動與競賽體系的後續規劃。
為數學界構建開放模型 Building Open Models for the Mathematical Community 數學因可被他人審視與延續的發現而進步。一代代研究者構築了共享的知識體系,靠開放交流和對彼此貢獻的尊重維繫。當人工智能成為數學研究的一部分,這些準則應當塑造我們使用的工具。SAIR 與其合作伙伴正式啟動一項計劃,站到塑造並落地這些新工具的前沿。讓我們攜手構建數學 2.0。由社區塑造的模型 Models Shaped by the Community 通過 SAIR 開放模型,我們邀請數學界及其支持者共同構建開源模型。
研究者能夠並且將會決定這些模型的訓練方式、評測內容,以及它們如何服務科研與教學。社區需要能夠檢視、改進並獨立運行的模型,其開發由共同的科學優先事項引導。參與應當跨越機構、地域與職業階段,向所有人開放。面向日常研究的工具 Tools for Everyday Research 第一階段聚焦於日常數學工作,包括理解艱深論證、核對文獻、探索示例、編寫代碼以及形式化證明。我們的模型將幫助人們建立理解,開展此前無力推進的研究。我們將以可靠的輔助、可驗證的結果以及持續使用的成本來衡量其價值。開放開發 Open Development 我們的模型將提供開放許可的權重與代碼,公開訓練方法,並提供可復現的評測。
訓練數據將附帶可追溯的來源與兼容的授權,其共享邊界會被清楚標註。模型發佈時,將同時報告失敗與侷限,而非只宣揚成功。獨立團隊將能夠復現這項工作,並把模型適配到自身的數學需求。數學界擁有數據 The Mathematical Community Owns the Data 數學界擁有數據,並決定其使用方式。我們將僅在獲得用戶明確同意、且依據事先約定條款的前提下,使用用戶數據訓練或改進模型。研究者自行決定分享什麼、出於何種目的分享。共享知識產權 Shared Intellectual Property 本計劃開發的模型、代碼與工具,將在開放許可下與社區共享,例如 Apache 2.
0、MIT 或 CC BY 4.0(視情況而定)。聯合開發成果的權屬、許可與署名,應從一開始就與貢獻者約定。儘管如此,研究者保留其獨立既有成果的權屬,這些成果若分享給本計劃,研究者將為其數學思想與結果獲得署名。開放的社區與治理 Open Community and Governance 我們歡迎跨越機構、地域與職業階段的參與。數學界應當治理這項計劃,設定優先事項並決定共享資源如何使用。治理規則與決策將公開,成員有清晰的渠道提出建議、參與決策並問責領導者。我們會與戰略產業夥伴合作以提供算力等資源,但這些合作必須保持社區的研究獨立性。
加入計劃 Join the Initiative 我們邀請你加入 SAIR 開放模型,讓開放模型與可負擔的算力成為數學研究的共享基石。我們計劃在不久的將來發布更多詳細公告,敬請關注。合作聯繫 [email protected] 社區討論 歡迎加入 SAIR Foundation Zulip 討論區參與交流 原文:Terence Tao, “SAIR’s Open Math Model initiative” 來源鏈接:https://terrytao.wordpress.
com/2026/09/18/sairs-open-math-model-initiative/ 文案基於英文原文直譯 編輯過程中遵從中文閱讀習慣略有修改 僅供參考之用 如存在任何差異或歧義 以英文原版為準 關於SAIR Foundation 科學與人工智能研究基金會(SAIR Foundation)成立於2025年,是一家由菲爾茲獎得主陶哲軒教授發起、多位諾貝爾獎得主及全球頂尖科學家共同指導的非營利性研究機構。基金會致力於解決科研體系的結構性瓶頸,通過跨學科的全球協作,以科學、安全的方式加速向通用人工智能(AGI)和超級人工智能(ASI)的演進。
基金會的特色在於:構建全球頂尖科學家網絡,彙集數學、物理、計算機等領域的諾貝爾獎、圖靈獎、菲爾茲獎得主,形成跨學科智囊團;專注科研範式變革,不僅關注AI技術應用,更關注如何重構科研基礎設施、流程和評價體系;強調科研成果可驗證與可重複性,將“可驗證性” 作為核心原則,應對AI在科研中的“幻覺” 問題;長期主義視角,關注科研生態的可持續發展,防止知識斷代和人才流失。
Related
相關文章

阿里千問發佈同聲傳譯大模型 Qwen3.8-LiveTranslate,支持原文譯文同幀同出
作者:沁滄(實習) 責編:沁滄 評論: 9 月 19 日消息,阿里千問今日發佈同聲傳譯大模型 Qwen3.8-LiveTranslate ,模型以 Interleave 架構重構實時同傳,準確度、流暢度、簡潔度全面提升,字均延遲(LAAL)從 2.

華為朱照生:昇騰已經跨越了生態拐點,完全有能力、有機會在 Agentic 時代構建 AI 新生態
作者:沁滄(實習) 責編:沁滄 評論: 感謝網友 不一樣的體驗 的線索投遞!9 月 19 日消息,據 21 世紀經濟報道,9 月 19 日,華為計算戰略與業務發展部部長朱照生表示,昇騰已經跨越了生態的拐點,完全有能力、有機會在 Agentic 時代構建 AI 新生態。

OpenAI 示警:先進 AI 可在 2 臺相鄰物理隔離 PC 間“對話”
作者:故淵 責編:故淵 評論: 9 月 19 日消息,科技媒體 Wccftech 昨日(9 月 18 日)發佈博文,報道稱在先進 AI 模型交互方面,物理隔離電腦未必能完全阻斷兩臺相鄰計算機間的信息交換。OpenAI 研究員諾姆 · 布朗(Noam Brown)表示:“人類絕對不要低估 AI 的能力”,基於學術研究成果,發現相鄰的物理隔離計算機可借 CPU 升溫與溫度傳感器讀數,形成低帶寬隱蔽通信通道,充當“摩斯電碼”通信。

OpenAI 研究員示警:AI 能力越強,越容易“隱藏內心想法”
o3 系列的核心貢獻者,目前領導多智能體研究團隊。因其創新性的工作,他被《麻省理工科技評論》(MIT Tech Review) 評為“35 位 35 歲以下創新者” (35 Innovators Under 35) 之一。布朗表示:“思維鏈可監測性下降已成為主要問題,我們正努力尋找問題根源,從而扭轉這種局勢,但是我們發現 AI 模型能愈發自如地控制其思維鏈表達”。

Gemini 4 Pro疑似洩露,“AI減速”又成空話
字母AI2026.09.19 10:54 · 來自北京全文4800字00:00 / 12:44RSI正在逼近,三巨頭誰也沒停。文 | 字母AI前幾個月,OpenAI和Anthropic輪番把旗艦模型往前推,谷歌卻顯得異常安靜。Flash幾乎3週一更,3.6、3.7、3.8連續往前,但代表最高能力上限的Pro遲遲沒有動靜。直到這兩天,大模型盲測競技場Arena裡,突然冒出一個掛著gemini-3.8-flash名字的模型。開發者一上手就發現了不對勁,真正的Gemini 3.

豆包手機發售,AI代理進入“終端”競賽
洞見新研社2026.09.19 10:54 · 來自湖南全文4998字00:00 / 14:25手機AI競爭從功能內卷轉向代理決策。文 | 洞見新研社,作者 | 鄭施婧2026年,AI手機正在從旗艦機的加分項變成市場標配。 據Counterpoint Research預測,具備生成式AI能力的智能手機將佔全球出貨量的45%,2027年升至52%。但同一份報告裡還顯示,2026年全球智能手機出貨量預計同比下降13.9%,降至10.8億部,創歷史新低。手機大盤在縮,但是AI手機的需求在漲。