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

2026年9月19日 14:50
陶哲軒代表SAIR Foundation宣佈正式啟動“開放數學模型計劃”
站內 AI 整理稿

讓開放模型與可負擔的算力成為數學研究的共享基石 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

相關文章

鈦媒體生成式AI

姚星丞之後,AI人才的中間層開始掉價

姚星丞之後,AI人才的中間層開始掉價奇帆商業2026.09.19 16:28 · 來自上海全文4060字00:00 / 11:35AI人才的價值正在向兩端集中,中間層的稀缺性開始消退。文 | 奇帆商業姚星丞的價格還在漲。今年7月離開騰訊後,他的下一站一度被傳成Meta。兩個月後,答案落在Thinking Machines Lab,這家由OpenAI前CTO Mira Murati創辦的AI公司。據雷峰網援引知情人士消息,姚星丞在騰訊的年薪包大約處在數千萬元人民幣區間,Thinking Machines Lab給出的薪資則“明顯高於”騰訊。姚星丞本人、騰訊和Thinking Machines Lab目前都沒有公開確認具體數字。這個價格之所以值得看,不只是因為高。過去一年,AI行業一直在發生另一件事。模型越來越強,Agent框架越來越成熟,原來要一支團隊折騰幾個月的東西,現在一個工程師調用API、接幾個工具,很快就能搭出第一版。很多過去被包裝成“AI能力”的東西,正在變成普通軟件工程的一部分。照這個趨勢看,AI人才理應越來越多,某些崗位的稀缺性也會下降。姚星丞卻走在相反的方向。他負責的是混元大語言模型預訓練。騰訊今年2月重建預訓練和強化學習基礎設施之後,還在繼續擴大訓練規模,姚順雨也公開表示,騰訊仍在持續擴大預訓練和強化學習規模、提升模型智能上限。另一邊,OpenAI正在新加坡招聘Forward Deployed Engineer。這類工程師不負責訓練基礎模型,而是直接進入客戶,把模型接進企業系統,再用生產採用率、工作流改善和業務結果衡量效果。圖源:OpenAI新加坡招聘信息一個在模型最上游,一個離客戶最近。這兩個位置正在同時變貴。中間那一層,情況開始變得不一樣。01姚星丞為什麼還能值數千萬如果只看過去兩年的行業敘事,預訓練研究員本來是最容易被唱衰的一批人。Scaling La

剛剛
鈦媒體生成式AI

AI獵頭魔幻一年:一單佣金300萬,數百人圍獵一個崗位

AI獵頭魔幻一年:一單佣金300萬,數百人圍獵一個崗位Tech星球2026.09.19 16:28 · 來自河北全文4123字00:00 / 12:31風口之上的AI獵頭賺麻了。文 | Tech星球,作者 | 林京最近,一張截圖在各大獵頭群聊中瘋傳:某具身智能公司招聘AI算法專家,年薪總包高達1050萬元,獵頭費26%,即273萬元。近300萬元的單筆佣金,再次將獵頭行業推至聚光燈下。AI崗位的爆發,讓沉寂已久的獵頭行業再度熱鬧起來。科銳國際在今年9月對外披露,圍繞人工智能的崗位需求佔公司獵頭業務收入50%以上。當大模型、具身智能企業開出百萬、千萬年薪招人,資本湧入不斷湧入AI賽道,作為人力資源中間商的獵頭自然也分得一杯羹。甚至不少應屆生也受高薪吸引,轉身投入獵頭行業。有獵頭坦言,這一行如今也開始卷學歷了。但硬幣的另一面同樣殘酷:交付週期動輒半年到一年,企業剛組建的團隊不久便解散,最終淪為“飛單”、無法如期收到佣金的情況也屢見不鮮。“每天開會催KPI”,數百個獵頭圍獵一個崗位對於網傳的近300萬獵頭費,一位獵頭向Tech星球透露,這筆訂單來源於銳仕方達,團隊內部還要按比例分配,兌付週期估計需要一年以上,因為獵頭通常要在候選人入職半年甚至一年之後,才能拿到佣金。上述獵頭介紹,獵頭通常有兩種佣金計算模式:一種按總包計算,包含期權、股票等一系列附加權益;另一種按純現金計算,一般是“候選人每月固定薪資×12×費率”。過去一年,社交平臺上聚焦基礎模型、機器人等細分賽道的獵頭越來越多。對一部分曾服務互聯網大廠的獵頭而言,在經歷企業業務聚焦與收縮之後,終於迎來了AI人才需求的爆發。相比以往賽道,AI崗位的顯著特徵是高薪。脈脈發佈的報告顯示,AI崗位平均月薪達60738元,比新經濟行業整體平均月薪48189元高出約26%。科銳國際數據顯示,AI首席科學家中位年薪達350萬,大模型算法負責人

剛剛
IT之家生成式AI

OpenAI 示警:先進 AI 可在 2 臺相鄰物理隔離 PC 間“對話”

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

剛剛
IT之家生成式AI

OpenAI 研究員示警:AI 能力越強,越容易“隱藏內心想法”

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

剛剛