WAIC 2025

世界人工智能大會

論壇：2025年7月26日-28日

展覽：2025年7月26日-29日

地點：世博中心、世博展覽館、徐匯西岸等

(購票提示：7月27日、28日展覽票已售罄)

過去兩年，AI靠“暴力堆參”實現(xiàn)了性能飛躍。但隨著如今參數(shù)規(guī)模接近物理極限，回到數(shù)學理論尋找答案成為必然。

當大模型參數(shù)突破萬億，傳統(tǒng)基于經(jīng)驗的調(diào)參方法陷入瓶頸，模型的泛化能力、安全性、能耗控制等核心問題，亟待數(shù)學理論的系統(tǒng)性支撐，從而使得AI實現(xiàn)跨越式進化。

7月26日，AI三問之“數(shù)學之問”系列活動將在WAIC 2025登場。其中主干論壇“人工智能的數(shù)學邊界與基礎(chǔ)重構(gòu)論壇”，將于26日下午13:30在上海世博展覽館1號會議室舉辦。此次論壇有十余位來自全球的數(shù)學家現(xiàn)場進行演講及交流。

今年WAIC舉辦“數(shù)學之問”的初衷，正是基于"Math for AI"與"AI for Math" 的重要性，在大模型迭代的兩年時間里日益凸顯。這一命題已經(jīng)迫在眉睫。

"Math for AI"的迫切性已在多個領(lǐng)域顯現(xiàn)：大模型的優(yōu)化依賴凸優(yōu)化、非凸優(yōu)化理論;Transformer架構(gòu)的注意力機制根植于概率統(tǒng)計與信息論;機器學習安全涉及博弈論與密碼學;而多模態(tài)融合則需要拓撲學、流形學習的支撐。

不少行業(yè)人士認為，在人工智能從統(tǒng)計學習向認知智能跨越的關(guān)鍵階段，傳統(tǒng)數(shù)學理論體系的深層缺陷，正成為AI邏輯自洽性的"阿基里斯之踵"。

當前AI的“黑箱”困境，本質(zhì)是數(shù)學工具的缺失——我們能訓練出高精度模型，卻無法從理論上解釋其決策邏輯，而這在醫(yī)療等零容錯率的關(guān)鍵領(lǐng)域是不可接受的。

與此同時，"AI for Math" 的反哺效應(yīng)也正在改寫數(shù)學研究范式。比如DeepMind的AlphaGeometry是第一個超越IMO參賽者在證明歐幾里得平面幾何定理方面平均表現(xiàn)的計算機程序，核心正是將幾何問題轉(zhuǎn)化為AI擅長的符號推理任務(wù)。

這種雙向需求的碰撞，讓"數(shù)學之問"成為 WAIC"AI三問"的邏輯起點。數(shù)學是AI的“公理系統(tǒng)”，而AI是數(shù)學的“實驗工具”，二者的碰撞不是簡單的技術(shù)疊加，而是認知框架的重構(gòu)。

本次“數(shù)學之問”系列活動設(shè)置了諸多亮點，其中最大的看點，是多位頭部學者帶來最具價值的“數(shù)學未解問題”，并進行“人機對抗”。

據(jù)悉，著名數(shù)學家、菲爾茲獎首位華人得主丘成桐教授，將為論壇特別選題、命題，由機器模型現(xiàn)場作答，屏幕實時展示AI推理過程。

丘成桐先生高度關(guān)注本次人工智能大會“數(shù)學之問”論壇活動。在得知論壇將舉辦“大模型解題挑戰(zhàn)賽”(人機對抗環(huán)節(jié))后，丘先生特別指派其團隊精心遴選多道高質(zhì)量數(shù)學題，并親自審核把關(guān)，供大賽參考使用。同時，他還邀請英國數(shù)學院院士專門為比賽命題，體現(xiàn)出對本次活動的高度重視與大力支持。

丘先生希望，“人工智能·數(shù)學之問”系列活動能夠引發(fā)國內(nèi)外數(shù)學界及相關(guān)學科對人工智能研究的廣泛關(guān)注，打破傳統(tǒng)數(shù)學研究的理論邊界，推動人工智能在數(shù)學等基礎(chǔ)學科領(lǐng)域的深度融合與跨越式發(fā)展。

除了丘教授及其團隊，還有來自英國、日本、西班牙等地的科學院院士、專家，也將精心遴選數(shù)學題。

而且大會還將發(fā)布"AI+數(shù)學未解問題清單"，該清單來自于徐宗本院士、菲爾茲獎得主、西班牙數(shù)學研究所等團隊、機構(gòu)。

這種“機器遍歷”與“人類洞察”的結(jié)合，既能讓AI為人類學者提供新的“解題線索”，也能通過人類對AI推理過程的“反向?qū)徱?rdquo;，形成“機器鋪路—人類登頂”的協(xié)同模式。

丘成桐教授特別命題的設(shè)計，正是希望通過頂尖數(shù)學家的“問題嗅覺”，引導 AI 聚焦真正具有突破性的核心難點，避免技術(shù)算力的無效消耗，讓人機優(yōu)勢實現(xiàn)精準疊加。

人機對抗之外，中國科學院院士徐宗本也將發(fā)表重磅演講，主題聚焦《AI：無限維問題vs有限維技術(shù)》。

徐院士直指AI技術(shù)的核心問題——決定一種智能能力的要素，本質(zhì)上是無窮多的，那么如何構(gòu)造解無限維智能問題的有限維系統(tǒng)?基于此，徐院士將展開深入探討。

從院士的思想碰撞到青年的創(chuàng)新接力，從國際實驗室的落地到未解問題的全球征解，每一個環(huán)節(jié)都在書寫同一個答案：數(shù)學是AI的"根"，AI 是數(shù)學的"翼"，二者的融合不僅將重構(gòu)智能的邊界，更將為人類認知世界打開無限可能。

7月26日的上海世博展覽館，這場匯聚全球智慧的論壇，或?qū)⒊蔀閿?shù)學與AI雙向驅(qū)動的歷史坐標。

（來源：世界人工智能大會）