陶哲軒代表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

英特爾與騰訊發佈基於至強6+的雲實例,曬智能體AI基礎設施全家桶

作者 | ZeR0 編輯 | 漠影 11月3日報道,近日,在2026騰訊全球數字生態大會上,英特爾與騰訊雲發佈基於英特爾至強6+處理器的騰訊雲新一代雲實例,並全面展示英特爾的芯片產品與雲端實踐。 全新至強6+處理器擁有最高288顆能效核,單顆處理器最高可支持超過1000個智能體的穩定部署,這也為騰訊雲服務器提供更高併發、更低時延、更優能效的雲端算力服務。

4 小時前
雷峰網生成式AI

智元榮獲2026世界互聯網大會傑出貢獻獎

11月3日,2026年世界互聯網大會烏鎮峰會在浙江烏鎮隆重開幕,國務院總理李強出席開幕式並發表主旨演講。開幕式上,智元憑藉在具身智能領域的系統性技術突破與產業化實踐,獲頒世界互聯網大會傑出貢獻獎。智元合夥人、高級副總裁朱潔在領獎時表示:人工智能的終局,不在於屏幕與雲端,而紮根於工廠一線和尋常煙火。具身智能賽道的競爭,早已跳出單點技術的競速,轉向軟硬協同、工程化落地、產業組織與治理體系的綜合比拼。智元期待與各界同心同行,堅守務實,躬身落地。

4 小時前

電動車退燒、AI 儲能燒起來:LG 新能源把產能挪向數據中心

11 月 3 日,首席財務官李昌植在財報電話會上給出時間表:今年底軟包儲能系統(ESS)產能將超 50 吉瓦時,明年進一步拉到 70 GWh 以上。在他看來,電動車增速放緩之際,AI 數據中心的大規模新建為電池廠撕開了新口子——第三季度 ESS 在手訂單已達 160 GWh,公司正與電力企業、超大型數據中心運營商談新項目,今年 9 月還作為儲能供應商擠進了英偉達的 DSX Ready 計劃。

4 小時前4700
雷峰網生成式AI

最高288核的至強6+,為了Agent高密度部署還下了哪些「雲功夫」?

作者 | 陳悅琳編輯 | 包永剛 一個智能體能順利完成任務,不代表成百上千個智能體就能同時高效運行。 對於承載大量智能體任務的雲服務器而言,除了提升計算速度,如何在任務集中到來時迅速準備好執行環境、怎樣減少暫時閒置的任務對內存資源的佔用,也成為亟待解決的問題。 對此,在一年一度的騰訊全球數字生態大會上,英特爾與騰訊雲聯合發佈了基於至強6+處理器的新一代雲實例,圍繞任務啟動效率、內存資源利用率等關鍵因素進行優化後,其綜合性能較上一代提升30%以上。

5 小時前

聯合國副秘書長點贊!千問AI耳夾式耳機亮相烏鎮互聯網大會

他認為,產品非常實用,適合自己日常工作中需要使用多國語言進行交流的場景。面對面交流時,用戶可以通過耳機收聽譯文;會議中的討論內容,也能通過AI聽記整理為結構化紀要,方便會後回顧。連接千問App後,用戶還可通過語音交辦資料研究等任務、接收完成提醒,讓耳機成為日常辦公的隨身助手。

5 小時前