WAIC 2025
世界人工智能大會
論壇：2025年7月26日-28日
展覽：2025年7月26日-29日
地點：世博中心、世博展覽館、徐匯西岸等
(購票提示：7月27日、28日展覽票已售罄)
過去兩年，AI靠“暴力堆參”實現(xiàn)了性能飛躍。但隨著如今參數(shù)規(guī)模接近物理極限，回到數(shù)學(xué)理論尋找答案成為必然。
當(dāng)大模型參數(shù)突破萬億，傳統(tǒng)基于經(jīng)驗的調(diào)參方法陷入瓶頸，模型的泛化能力、安全性、能耗控制等核心問題，亟待數(shù)學(xué)理論的系統(tǒng)性支撐，從而使得AI實現(xiàn)跨越式進(jìn)化。
7月26日，AI三問之“數(shù)學(xué)之問”系列活動將在WAIC 2025登場。其中主干論壇“人工智能的數(shù)學(xué)邊界與基礎(chǔ)重構(gòu)論壇”，將于26日下午13:30在上海世博展覽館1號會議室舉辦。此次論壇有十余位來自全球的數(shù)學(xué)家現(xiàn)場進(jìn)行演講及交流。
今年WAIC舉辦“數(shù)學(xué)之問”的初衷，正是基于"Math for AI"與"AI for Math" 的重要性，在大模型迭代的兩年時間里日益凸顯。這一命題已經(jīng)迫在眉睫。
"Math for AI"的迫切性已在多個領(lǐng)域顯現(xiàn)：大模型的優(yōu)化依賴凸優(yōu)化、非凸優(yōu)化理論;Transformer架構(gòu)的注意力機(jī)制根植于概率統(tǒng)計與信息論;機(jī)器學(xué)習(xí)安全涉及博弈論與密碼學(xué);而多模態(tài)融合則需要拓?fù)鋵W(xué)、流形學(xué)習(xí)的支撐。
不少行業(yè)人士認(rèn)為，在人工智能從統(tǒng)計學(xué)習(xí)向認(rèn)知智能跨越的關(guān)鍵階段，傳統(tǒng)數(shù)學(xué)理論體系的深層缺陷，正成為AI邏輯自洽性的"阿基里斯之踵"。
當(dāng)前AI的“黑箱”困境，本質(zhì)是數(shù)學(xué)工具的缺失——我們能訓(xùn)練出高精度模型，卻無法從理論上解釋其決策邏輯，而這在醫(yī)療等零容錯率的關(guān)鍵領(lǐng)域是不可接受的。
與此同時，"AI for Math" 的反哺效應(yīng)也正在改寫數(shù)學(xué)研究范式。比如DeepMind的AlphaGeometry是第一個超越IMO參賽者在證明歐幾里得平面幾何定理方面平均表現(xiàn)的計算機(jī)程序，核心正是將幾何問題轉(zhuǎn)化為AI擅長的符號推理任務(wù)。
這種雙向需求的碰撞，讓"數(shù)學(xué)之問"成為 WAIC"AI三問"的邏輯起點。數(shù)學(xué)是AI的“公理系統(tǒng)”，而AI是數(shù)學(xué)的“實驗工具”，二者的碰撞不是簡單的技術(shù)疊加，而是認(rèn)知框架的重構(gòu)。
本次“數(shù)學(xué)之問”系列活動設(shè)置了諸多亮點，其中最大的看點，是多位頭部學(xué)者帶來最具價值的“數(shù)學(xué)未解問題”，并進(jìn)行“人機(jī)對抗”。
據(jù)悉，著名數(shù)學(xué)家、菲爾茲獎首位華人得主丘成桐教授，將為論壇特別選題、命題，由機(jī)器模型現(xiàn)場作答，屏幕實時展示AI推理過程。
丘成桐先生高度關(guān)注本次人工智能大會“數(shù)學(xué)之問”論壇活動。在得知論壇將舉辦“大模型解題挑戰(zhàn)賽”(人機(jī)對抗環(huán)節(jié))后，丘先生特別指派其團(tuán)隊精心遴選多道高質(zhì)量數(shù)學(xué)題，并親自審核把關(guān)，供大賽參考使用。同時，他還邀請英國數(shù)學(xué)院院士專門為比賽命題，體現(xiàn)出對本次活動的高度重視與大力支持。
丘先生希望，“人工智能·數(shù)學(xué)之問”系列活動能夠引發(fā)國內(nèi)外數(shù)學(xué)界及相關(guān)學(xué)科對人工智能研究的廣泛關(guān)注，打破傳統(tǒng)數(shù)學(xué)研究的理論邊界，推動人工智能在數(shù)學(xué)等基礎(chǔ)學(xué)科領(lǐng)域的深度融合與跨越式發(fā)展。
除了丘教授及其團(tuán)隊，還有來自英國、日本、西班牙等地的科學(xué)院院士、專家，也將精心遴選數(shù)學(xué)題。
而且大會還將發(fā)布"AI+數(shù)學(xué)未解問題清單"，該清單來自于徐宗本院士、菲爾茲獎得主、西班牙數(shù)學(xué)研究所等團(tuán)隊、機(jī)構(gòu)。
這種“機(jī)器遍歷”與“人類洞察”的結(jié)合，既能讓AI為人類學(xué)者提供新的“解題線索”，也能通過人類對AI推理過程的“反向?qū)徱?rdquo;，形成“機(jī)器鋪路—人類登頂”的協(xié)同模式。
丘成桐教授特別命題的設(shè)計，正是希望通過頂尖數(shù)學(xué)家的“問題嗅覺”，引導(dǎo) AI 聚焦真正具有突破性的核心難點，避免技術(shù)算力的無效消耗，讓人機(jī)優(yōu)勢實現(xiàn)精準(zhǔn)疊加。
人機(jī)對抗之外，中國科學(xué)院院士徐宗本也將發(fā)表重磅演講，主題聚焦《AI：無限維問題vs有限維技術(shù)》。
徐院士直指AI技術(shù)的核心問題——決定一種智能能力的要素，本質(zhì)上是無窮多的，那么如何構(gòu)造解無限維智能問題的有限維系統(tǒng)?基于此，徐院士將展開深入探討。
從院士的思想碰撞到青年的創(chuàng)新接力，從國際實驗室的落地到未解問題的全球征解，每一個環(huán)節(jié)都在書寫同一個答案：數(shù)學(xué)是AI的"根"，AI 是數(shù)學(xué)的"翼"，二者的融合不僅將重構(gòu)智能的邊界，更將為人類認(rèn)知世界打開無限可能。
7月26日的上海世博展覽館，這場匯聚全球智慧的論壇，或?qū)⒊蔀閿?shù)學(xué)與AI雙向驅(qū)動的歷史坐標(biāo)。
（來源：世界人工智能大會）
