OpenAI 今次公布嘅納維–斯托克斯方程結果，焦點唔只係系統做得幾快，而係數學界有冇能力以相應速度，審核由機器大量產生嘅研究成果。OpenAI 表示，內部系統動用約 1 萬個互相協調嘅代理，88 小時內產生分析證明及 Lean 形式化版本；外界報道則形容結果影響重大，但亦存在爭議。314

OpenAI 聲稱證明咗乜？

OpenAI 指，其系統證明一個起初平滑嘅三維流體，在施加平滑外力下，可以於有限時間內出現奇異點；公司同時公開分析證明同 Lean 形式化版本。3

呢個係一項相當精確嘅數學命題，唔等於所有日常理解嘅流體情況都會「爆」出奇異點。爭議嘅核心在於：證明處理嘅係帶有外加力嘅強迫方程，而批評者認為，更自然、亦更接近直觀物理問題嘅目標，係無外力版本。強迫設定下嘅證明即使技術上成立，對其物理詮釋同數學意義，學界仍可有合理分歧。214

所以，「已解決」可以只係指滿足某個正式表述；但數學家仍會問：個表述係咪真係捕捉到原本想研究嘅現象？方法有冇帶來新概念？結論又可以推廣到幾遠？

88 小時成果，點解反而凸顯審核壓力？

傳統數學證明往往要幾年時間，先由專家細讀、反覆挑戰、講解，最後成為學界可吸收嘅共同知識。由大規模代理系統產生嘅長篇證明，卻可以遠快過社群檢驗其前提、新穎性、關聯性同表述質素嘅速度。

Lean 呢類定理證明助手，可以強力確認形式化論證有冇跟足系統編碼嘅規則。但形式驗證唔係學術審查嘅全部。研究者仲要核對：形式化陳述係咪對應原來想證嘅定理？關鍵步驟有冇被準確表達？而個結果對整個領域到底意味住乜？

問題唔係話 AI 產生嘅證明必然唔可信。真正擔心嘅係，數學可能累積出一堆「機器可核對」、但人類難以理解、教學、質疑或再利用嘅結果。對研究數學而言，人類理解唔單止係包裝，而係驗證、概括同延伸思想嘅一部分。

一萬代理合作，誰人應該署名？

當工作涉及底層模型、代理協調軟件、工程團隊、人類數學家監督、證明助手工具，以及既有文獻，傳統作者名單已未必足以交代成果係點樣做出嚟。

呢個唔代表無法歸功，而係需要更清楚披露：邊啲人界定問題同負責檢查；邊啲系統產生候選論證；用咗乜嘢形式化工具；以及研究依賴咗邊啲既有工作。否則，AI 大規模協作會令學術責任、貢獻同信任嘅界線愈來愈模糊。

「解咗逾百條開放問題」同樣要等公開檢驗

與 OpenAI 有關嘅報道亦提到逾 100 條開放數學問題，但有報道指出，完整問題清單尚未公開。喺問題陳述、證明同獨立評估面世之前，呢類說法應視為有待公開審視嘅報告，而唔係已被學界接納嘅突破總數。3942

對任何「接近另一條千禧年獎難題」嘅推測亦應保持同一標準。名氣愈大嘅聲稱，愈需要透明證據，因為公告造成嘅公共影響，好容易快過專家實際核查嘅進度。

新諮詢小組究竟做乜？

「數學與人工智能諮詢小組」（Advisory Group on Mathematics and Artificial Intelligence）由普林斯頓高等研究院託管，並自稱獨立於 AI 公司。其宗旨係就 AI 公司如何與數學研究及數學社群互動，包括如何負責任地呈現同發布數學結果，提供意見。35

OpenAI 表示，小組會就新結果嘅重要性評估、發布協調，以及學術與專業標準提供建議；亦會討論 AI 工具如何支援數學研究同學習。34

已公布成員包括 François Charles、Camillo De Lellis、Timothy Gowers、Martin Hairer、Nikhil Srivastava、Ulrike Tillmann、Ravi Vakil、Edward Witten 及 Melanie Matchett Wood。35

有獨立性，但唔係「驗證機關」

小組嘅設計目的，係為數學家、AI 公司同公眾之間建立溝通渠道。小組稱成員不收報酬、可主動提出未被邀請嘅建議，並打算公開發布建議。35

實際上，它可就審閱、溝通、發布協調，同 AI 生成數學工作嘅專業標準提供意見。當公司準備一次過公開大量、外界難以迅速評估嘅成果時，呢啲角色有實際價值。3435

不過，小組唔係學術期刊、監管機構，亦唔係證明驗證權威。它對 OpenAI 或其他 AI 公司冇決策權，亦無法強制公司公開證明或底層材料。42 它能改善負責任評估嘅條件，但唔可以取代獨立同行審查。

真正考驗：由機器輸出變成共同數學

呢個諮詢小組至少承認一點：數學發現除咗技術層面，仲有社會同學術規範。關鍵唔只係 AI 能否生成有效嘅形式論證，而係呢啲論證可唔可以變成透明、可獨立評估、具概念價值嘅知識。

日後遇到 AI 數學重大公布，較可靠嘅標準其實好直接：公開精確命題、盡可能公開證明及形式化版本、交代系統所扮演嘅角色、容許外部獨立查核，並避免將公司公告等同學界接受。呢個程序可能慢過 88 小時嘅代理運算，但一項聲稱要真正成為數學，正正要經過呢一關。

OpenAI 今次公布嘅納維–斯托克斯方程結果，焦點唔只係系統做得幾快，而係數學界有冇能力以相應速度，審核由機器大量產生嘅研究成果。OpenAI 表示，內部系統動用約 1 萬個互相協調嘅代理，88 小時內產生分析證明及 Lean 形式化版本；外界報道則形容結果影響重大，但亦存在爭議。314

OpenAI 聲稱證明咗乜？

OpenAI 指，其系統證明一個起初平滑嘅三維流體，在施加平滑外力下，可以於有限時間內出現奇異點；公司同時公開分析證明同 Lean 形式化版本。3

呢個係一項相當精確嘅數學命題，唔等於所有日常理解嘅流體情況都會「爆」出奇異點。爭議嘅核心在於：證明處理嘅係帶有外加力嘅強迫方程，而批評者認為，更自然、亦更接近直觀物理問題嘅目標，係無外力版本。強迫設定下嘅證明即使技術上成立，對其物理詮釋同數學意義，學界仍可有合理分歧。214

所以，「已解決」可以只係指滿足某個正式表述；但數學家仍會問：個表述係咪真係捕捉到原本想研究嘅現象？方法有冇帶來新概念？結論又可以推廣到幾遠？

88 小時成果，點解反而凸顯審核壓力？

傳統數學證明往往要幾年時間，先由專家細讀、反覆挑戰、講解，最後成為學界可吸收嘅共同知識。由大規模代理系統產生嘅長篇證明，卻可以遠快過社群檢驗其前提、新穎性、關聯性同表述質素嘅速度。

Lean 呢類定理證明助手，可以強力確認形式化論證有冇跟足系統編碼嘅規則。但形式驗證唔係學術審查嘅全部。研究者仲要核對：形式化陳述係咪對應原來想證嘅定理？關鍵步驟有冇被準確表達？而個結果對整個領域到底意味住乜？

問題唔係話 AI 產生嘅證明必然唔可信。真正擔心嘅係，數學可能累積出一堆「機器可核對」、但人類難以理解、教學、質疑或再利用嘅結果。對研究數學而言，人類理解唔單止係包裝，而係驗證、概括同延伸思想嘅一部分。

一萬代理合作，誰人應該署名？

當工作涉及底層模型、代理協調軟件、工程團隊、人類數學家監督、證明助手工具，以及既有文獻，傳統作者名單已未必足以交代成果係點樣做出嚟。

呢個唔代表無法歸功，而係需要更清楚披露：邊啲人界定問題同負責檢查；邊啲系統產生候選論證；用咗乜嘢形式化工具；以及研究依賴咗邊啲既有工作。否則，AI 大規模協作會令學術責任、貢獻同信任嘅界線愈來愈模糊。

「解咗逾百條開放問題」同樣要等公開檢驗

與 OpenAI 有關嘅報道亦提到逾 100 條開放數學問題，但有報道指出，完整問題清單尚未公開。喺問題陳述、證明同獨立評估面世之前，呢類說法應視為有待公開審視嘅報告，而唔係已被學界接納嘅突破總數。3942

對任何「接近另一條千禧年獎難題」嘅推測亦應保持同一標準。名氣愈大嘅聲稱，愈需要透明證據，因為公告造成嘅公共影響，好容易快過專家實際核查嘅進度。

新諮詢小組究竟做乜？

「數學與人工智能諮詢小組」（Advisory Group on Mathematics and Artificial Intelligence）由普林斯頓高等研究院託管，並自稱獨立於 AI 公司。其宗旨係就 AI 公司如何與數學研究及數學社群互動，包括如何負責任地呈現同發布數學結果，提供意見。35

OpenAI 表示，小組會就新結果嘅重要性評估、發布協調，以及學術與專業標準提供建議；亦會討論 AI 工具如何支援數學研究同學習。34

已公布成員包括 François Charles、Camillo De Lellis、Timothy Gowers、Martin Hairer、Nikhil Srivastava、Ulrike Tillmann、Ravi Vakil、Edward Witten 及 Melanie Matchett Wood。35

有獨立性，但唔係「驗證機關」

小組嘅設計目的，係為數學家、AI 公司同公眾之間建立溝通渠道。小組稱成員不收報酬、可主動提出未被邀請嘅建議，並打算公開發布建議。35

實際上，它可就審閱、溝通、發布協調，同 AI 生成數學工作嘅專業標準提供意見。當公司準備一次過公開大量、外界難以迅速評估嘅成果時，呢啲角色有實際價值。3435

不過，小組唔係學術期刊、監管機構，亦唔係證明驗證權威。它對 OpenAI 或其他 AI 公司冇決策權，亦無法強制公司公開證明或底層材料。42 它能改善負責任評估嘅條件，但唔可以取代獨立同行審查。

真正考驗：由機器輸出變成共同數學

呢個諮詢小組至少承認一點：數學發現除咗技術層面，仲有社會同學術規範。關鍵唔只係 AI 能否生成有效嘅形式論證，而係呢啲論證可唔可以變成透明、可獨立評估、具概念價值嘅知識。

日後遇到 AI 數學重大公布，較可靠嘅標準其實好直接：公開精確命題、盡可能公開證明及形式化版本、交代系統所扮演嘅角色、容許外部獨立查核，並避免將公司公告等同學界接受。呢個程序可能慢過 88 小時嘅代理運算，但一項聲稱要真正成為數學，正正要經過呢一關。