在人工智能迅速跨越大模型與智能體階段的浪潮中，科學研究正面臨一次或許足以載入史冊的范式轉折。

菲爾茲獎得主陶哲軒曾在談及AI與數學的關系時說：“AI和菲爾茲獎的距離，只差一個研究生了。”這既像是一句輕巧的預言，也映照出科學家們內心深處的復雜情緒——他們滿懷期待地看待AI可能成為破解自然奧秘的重要伙伴，同時也清醒地意識到，真正的洞察與創造仍有賴于人類的直覺與獨立思維。

在同樣極富挑戰的數學高塔上，90后中國學者王虹和合作者憑借對三維掛谷猜想的突破性證明贏得全球矚目。這項成果不僅讓陶哲軒第一時間轉發并盛贊，更為調和分析領域長期未解的三大猜想開辟了新的思路。王虹的成功提醒人們：在人類最抽象、最微妙的科學世界里，靈感依然不可替代，但AI正在逐步成為這些多維推演中的潛在助手和模式洞察者。

這種既興奮又克制的態度，恰恰折射出科研界對“AI for Science”熱潮的真實情緒。確實，在基因組、癌癥預警、藥物開發、氣象與災害預報等數據密度極高的前沿領域，AI正以前所未有的速度捕捉模式、驗證假說，并生成全新解題線索。然而，當話題轉向Navier-Stokes方程、黎曼假設或更一般性的自然規律推演時，科學家們依舊會追問：AI是否真的理解了宇宙的深層秩序，抑或只是“在龐大的樣本中統計地蒙對了”？

與此同時，大算力與高適配算法往往集中在頭部機構和科技巨頭手中，青年學者、基礎實驗室及初創科研團隊難以長期獲得持續的資源投入。科研還迫切需要開放的數據共享和可復用的模型生態，但現實中，數據壁壘、合規限制、算力資源的不均衡依舊構成“看不見的高墻”，橫亙在無數科研工作者面前。

帶著這樣的哲學追問與實踐難題，WAIC 2025特別推出了以“數學之問、科學之問”為雙核的科學智能板塊。今年，這一板塊策劃了八場高規格論壇，試圖在跨學科的激蕩中探尋答案。

中國科學院：AI for Science

在“人工智能賦能生命科學論壇”上，中國科學院將發布磐石·科學基礎大模型，顯示AI正從單點突破轉向賦能科研全鏈條的底座。此外，兩場關于AI for Science的思辨會拋出科學智能以及應用的問題探討：“AI for Science： 通用智能與領域專家的融合之道？”“生命科學的挑戰：如何用AI發現生命科學新規律逆緩衰老？”

斯梅爾數學與計算研究院：萬象之源——數學

在“數學與人工智能論壇”上，斯梅爾數學與計算研究院聚焦AI如何在代數幾何、Navier-Stokes方程等深奧問題上成為真正的思維引擎；兩場AI數學思辨會更是將爭議推向前臺，探討“AI能否自我證明，是否會成為下一個數學大師”，從哥德爾不完備性一路談到生成式推理的邊界。

這一切既是科學的好奇，也是理性的自問。人們期望AI能從助手成長為同道者，但真正走向理解與共創，仍需在持續的試驗、爭論與合作中，耐心突破那一道道尚未洞開的科學壁壘。

「科研范式革新」AI for Science論壇矩陣

八場論壇信息如下：以AI能否從工具躍遷為共研者為核心命題，全面探討數學、生命科學、氣象及通用科研智能的未來演進。

啟動科學智能黃金時代論壇

7月26日13:30-18:00

上海世博中心

本次論壇聚焦“智能×科學：范式躍遷中的共振之力”，匯聚科學智能核心力量及青年科研群體，圍繞科研算力供給、算法框架共建及AI從工具到科研伙伴的演進，探討如何加快科學智能黃金時代的到來，打造可持續的科研創新生態。

AI未來發展論壇：超級智能，無界共創

7月26日13:30-18:00

上海世博中心

論壇聚焦“大科研時代科學通用智能（SGI）走向人工通用智能（AGI）”的核心議題，論壇特邀諾獎、圖靈獎得主、中科院院士、國際一流高校校長及青年科學家共話前沿，設立重磅主題演講、重大成果發布、校長高端對話、TR35青年論壇、未來一代成果展示等環節。

數學之問論壇

7月26日14:00-17:00

上海世博中心

本次論壇聚焦“數學與人工智能的雙向賦能”，匯聚全球頂尖高校、科研院所及產業代表，圍繞代數幾何、微分幾何、Navier-Stokes方程等重大前沿問題與AI算法的深度耦合，探討如何以數學為AI提供堅實底座，同時推動AI助力解開更多未知的數理迷霧。

數學與人工智能相互促進圓桌會議

7月26日14:00-17:00

上海世博中心619會議室

本次論壇將邀請來自全球各地的頂尖數學家以全球視野展開深度對話，探討數學與人工智能交叉融合的前沿命題。此次論壇，正是站在時代轉折點上的一次全球性追問：我們是否已經具備足夠的數學語言與嚴謹的數學體系，去理解真正的人工智能？目前的人工智能所帶來的強大計算能力，是否可以反哺數學研究，成為推動數學研究范式變革的關鍵力量？他們將圍繞數學與人工智能相互促進的關系，探討數學在人工智能領域的理論支持與實踐價值，推動基礎研究與前沿技術的深度融合，見證如何用思維的力量點亮智能的未來。

人工智能賦能生命科學論壇

7月26日14:00-17:30

上海徐匯西岸美高梅酒店3樓美高梅廳

本次論壇聚焦“AI for Life Science”，匯聚中國科學院等國內外頂尖機構，圍繞生物大數據、AI基礎模型、精準醫療與基因組學革命等核心議題，探討如何通過多學科交叉（數學、計算機、生物學、醫學）解決復雜生命科學問題。論壇將發布中國科學院構建的磐石·科學基礎大模型。

星河啟智·科學智能開放合作論壇

7月26日14：00-17：30

上海世博中心517會議室

本次論壇聚焦開放協同的科學智能生態體系構建，匯聚諾獎得主、圖靈獎得主、兩院院士、產業領軍人物等全球頂尖大咖以及一線青年科研技術代表，深度探討科學智能的前沿創新、產業實踐與開放協作。以此為契機，上智院和復旦大學將攜手各方，合力打通科研閉環，破解發展瓶頸，并重磅發布“星河啟智科學智能開放平臺”等前沿成果，全面激活生態，推動科學智能邁向新紀元。

氣象人工智能賦能全民早期預警論壇

7月26日15:00-18：00

上海世博濱江酒店四季廳

本次論壇聚焦“氣象人工智能賦能全民早期預警”，匯聚國際組織、各國氣象水文部門、科研機構及技術企業，探索推動全球氣象人工智能技術應用，提升早期預警的可及性，彌合全球智能鴻溝，探討人工智能增強早期預警的治理與信任。

AI科學之問思辨會：科學智能的演進與生命科學的挑戰

7月27日上午

中國科學院自動化研究所、中國科學院分子細胞科學卓越創新中心

本次思辨會將分上下半場，分別圍繞“通用智能與領域專家融合之道？”“如何用AI發現生命科學新規律逆緩衰老？”等AI for Science領域前沿問題，匯聚AI與不同學科領域權威專家、青年學者們，探討AI如何對科研范式變革帶來深遠影響。

AI數學之問思辨會：從哥德爾到GPT

7月27日下午

上海數學中心、上海數學與交叉學科研究院

本次思辨會聚焦“人工智能能否完成數學的自我證明”，匯聚數學與AI交叉領域的權威學者，圍繞數理邏輯、生成式推理等尖端課題，探討AI如何在認知深度上逼近人類抽象推演的極限。

全球智囊團集結

國際機構：世界氣象組織、聯合國環境規劃署、國際電信聯盟、聯合國減少災害風險辦公室、紅十字會與紅新月會國際聯合會、 歐洲數值預報中心、臺風委員會、斯梅爾計算與數學研究院、金磚國家新開發銀行等。

國內機構：中國科學院、中國氣象局、國家衛星氣象中心、上海市氣象局、中國工業與應用數學學會、上海科學智能研究院等。

國內企業：華院計算技術（上海）股份有限公司等。

國外高校：里約熱內盧聯邦大學、阿卜杜拉國王科技大學、澳大利亞國立大學、南非布隆方丹自由州大學、加泰羅尼亞理工大學等。

國內高校：北京大學、復旦大學、中國科學技術大學、同濟大學、西安交通大學、武漢大學、南方科技大學、上海交通大學等。

重磅嘉賓

世界氣象組織秘書長 Celeste Saulo

中國氣象局局長 陳振林

1994年菲爾茲獎得主 Efim Zelmanov

世界科學院院士 Abdon Atangana

澳大利亞國立大學計算機科學研究學院(RSCS)榮譽教授 Marcus Hutter

加泰羅尼亞理工大學數學系主任 Eva Miranda

里約熱內盧聯邦大學應用數學副教授兼數學研究所副所長 Fabio Ramos歐洲人文和自然科學院外籍院士、歐洲科學院院士 金石

歐洲科學院院士、歐洲人文和自然科學院院士 許進超

中國科學院院士 鄂維南

中國科學院院士 袁亞湘

中國科學院院士 蒲慕明中國科學院院士 陳潤生中國科學院院士 陳凱先中國科學院院士 李勁松

上海科學智能研究院院長、復旦大學特聘教授 漆遠

華院計算技術（上海）股份有限公司董事長 宣曉華

在科學智能板塊，多項面向未來科研范式的重要成果集中亮相。中國科學院將發布磐石·科學基礎大模型。在氣象AI賦能全民早期預警論壇上，中國氣象局發布空間天氣模型及多災種早期預警智能體，并聯合世界氣象組織共同推出《人工智能賦能全民早期預警中國在行動方案》，加速氣象治理智能化、場景化。與此同時，上海科學智能研究院將在“星河啟智·科學智能開放合作論壇”上聯合復旦大學、無限光年公司及多位合作伙伴發布星河啟智科學智能開放平臺，面向領域科學家、AI開發者及廣域科研人員提供全鏈路服務，覆蓋高質量科學數據、智算加速落地、開源科學智能模型、干濕實驗閉環、多智能體推理規劃及跨領域眾研等多項核心能力，共同驅動科學智能進入新紀元。

*論壇議程與嘉賓以現場為準。

「前沿突破」科學智能板塊展覽圖譜

WAIC 2025展覽面積首次突破7萬平方米，四館聯動，H1核心技術館將呈現AI如何深度嵌入科研體系、推動數學推理與生命科學范式躍遷，勾勒未來科學研究的新圖譜。本板塊重點聚焦科研算力與AI基礎設施、面向重大科學問題的開源大模型及科研智能平臺，形成跨數學、生物、氣象等多學科的科研智能新樣板，加速從數據驅動到智能驅動的科研范式變革。

巨頭領航

阿里達摩院、北京并行科技、曦智、星環科技、鼎算智能、超擎數智等前沿科研平臺與科技企業，正加速將AI深度嵌入科學研究體系，推動從數學與計算模型，到科研智能硬件與私有化平臺的多維布局，塑造科學智能新生態。

展品揭秘

中國氣象局推出全球首個空間天氣人工智能預報大模型“風宇”首創鏈式訓練結構，強耦合日地空間不同圈層，真實再現空間天氣演化過程，提升相關事件的預測能力。上海聚焦城市推出多災種早期預警智能體MAZU-Urban，通過與AI的深度融合，提供 “開箱即用”的防災預警全鏈條解決方案。

曦智首次發布天樞光電混合計算芯片商業化成果，將光電混合計算引入神經網絡推理及Llama2等科研應用場景，探索數學AI在新架構下的效率突破。

星環科技發布新一代AI Infra平臺，構建數據、知識、AI與算力四層統一架構，助力科研機構高效沉淀私有知識體系。

超擎數智發布DeepSeek全參數模型一體機、1.6T XDR交換機及AI Engine開發平臺，面向科研機構快速部署本地化大模型訓練及推理場景。

*展覽展品以現場實際展出為準。

隨著大模型技術的日益成熟，其驅動產業變革的引擎已然轟鳴。未來的征程，關鍵在于突破基礎能力瓶頸，深化場景融合創新。通過持續優化核心算法、強化算力支撐，并深入挖掘醫療、制造、金融等垂直領域的痛點需求，打造具有示范價值的行業解決方案，方能加速構建開放、協同、繁榮的智能生態。

WAIC 2025大模型板塊將持續扮演關鍵角色，匯聚全球智慧，聚焦大模型的前沿突破、落地實踐與生態共建，為政、產、學、研架設深度對話與合作的橋梁。