古老數學與AI融合，中外大模型齊力助北大團隊突破

哈嘍，大家好，今天小墨這篇評論，主要來分析辛頓斷言 AI 稱雄數學的關鍵 封閉系統成 AI 核心優勢

在人類科學探索的長河中，數學始終是衡量智慧的終極標尺，是純粹邏輯構筑的知識殿堂。這門古老學科的探索之路，如今迎來了人工智能的深度參與。

辛頓的最新預測讓整個學術界聚焦，AI 在數學領域的快速進化，正在刷新人們對這門學科的探索方式。

辛頓提出封閉系統是 AI 能在數學領域大展拳腳的核心原因。數學領域有嚴密的規則和清晰的邊界，所有推理和證明都在既定邏輯框架內完成。

AI 探索數學無需進入現實世界開展實驗驗證，也不用面對未知的變量干擾。AI 只需在數學的邏輯框架內完成自我博弈，自我驗證就能推進研究。形式化證明驗證器 Lean 能為 AI 生成的證明步驟提供實時反饋，讓 AI 的嘗試修正循環高效運轉。

2026 年 1 月，DeepMind 的AlphaGeometry系統相關研究登上《自然》雜志，代碼同步完成開源。該系統在 30 道奧數幾何題的基準測試中，標準時限內解出 25 道，解題能力接近國際數學奧林匹克金牌選手。

2026 年 1 月 6 日，上海舉辦的第十屆世界華人數學家大會上，多款國產 AI 大模型現場展示數學解題能力。

上海人工智能實驗室的書生模型在中國數學奧林匹克冬令營中斬獲 102 分，通義千問在考研數學題評測中拿到 146.8 分，字節跳動 Seed 團隊則在國際數學奧林匹克競賽中展現亮眼表現。初創公司 Harmonic 利用 AI 技術，解決了困擾數學界 30 年的埃爾德什難題，成為 AI 數學推理能力的又一實證。

2026 年 1 月，菲爾茲獎得主丘成桐與數學家們在上海向全球 AI 行業發出數學 “英雄帖”。現場發布三道不同難度的數學題，分別對應本科生、碩博及人類終極猜想，以此探求人類知識的邊界。

北京大學董彬教授聯合香港大學何旭華教授組成研究團隊，借助 AI 開展數學研究。團隊成功重新發現 ADLV 領域的虛擬維數公式，后續還證明了實際維數與虛擬維數之間誤差的上界定理。

辛頓在公開表述中提及，未來的數學研究中，人類數學家將更多承擔戰略指揮的角色，讓 AI 完成繁瑣的證明和邏輯探索工作。

AI 在數學領域的突破是技術發展的必然結果，封閉系統的特質讓 AI 的優勢充分發揮。國內外都在積極推進 AI 與數學的融合研究，人機協同的模式正成為數學探索的新方向。這種全新的研究形態，將為數學領域帶來更多可能，推動人類對數學的探索走向更深更遠的維度。