OpenAI總裁宣布第二個千禧年數學難題取得重大進展

nashnova research

今天发布阅读约 5 分钟

OpenAI總裁布羅克曼宣布在第二個千禧年難題上取得重大進展，外界猜測若指向P與NP問題，現代密碼學與金融安全基礎設施將面臨根本性衝擊。

第一個難題是怎麼解的？

OpenAI調集約1萬個推理智能體，持續運算88小時，共發送270萬條消息、消耗約1300億個輸出token。

最終結論：光滑流體會在有限時間內產生奇點（一種數學上的「爆炸點」——流體的速度或壓力在某一刻變得無窮大）。

全程用機器證明語言Lean（一種讓電腦逐行檢查數學推理是否正確的編程工具）完成形式化驗證。這意味著→ 不是「AI說對就對」，而是每一步都經過機器邏輯閉環校驗。

尚未解決的千禧年難題還剩五道：P與NP問題、黎曼猜想、楊-米爾斯規範場與質量間隙、霍奇猜想、貝赫和斯維訥通-戴爾猜想。

科技界內部最受關注的猜測指向P與NP問題。簡單來說＝如果P等於NP被證明成立，意味著現時被認為「極難破解」的加密算法，理論上都可以被快速破解。

這意味著→ 非對稱加密（互聯網登入、銀行轉賬、數碼簽章背後的核心安全機制）的數學根基會被動搖，整個金融與互聯網安全基礎設施需要重新評估。

紐約大學數學家巴克馬斯特與Anthropic數學家阿爾珀格此前已在納維爾-斯托克斯問題上取得初步進展，過程中使用了Codex和Claude。

巴克馬斯特聲稱：其進展信息在公開前被傳至OpenAI，OpenAI隨後啟動並行攻關，用未發布的新模型在約一周內消耗約3000億輸出token（按Astra費率約合2250萬美元）發布完整證明。

巴克馬斯特還稱遭OpenAI數學家比貝克施壓，被要求刪除合作者署名，並受到「毀掉你的職業」等威脅。這反映出 AI公司與學術界在知識產權歸屬上的衝突正急劇升溫。

布羅克曼公開聲明：最終解題模型的訓練數據截止於今年7月初，完全在外部學者成果公開之前，否認窺探或挪用私有數據。

但學界反彈仍在擴大——數百名數學家聯名抵制OpenAI對加州理工學院首屆「數學黑客馬拉松」的贊助，OpenAI已被迫全面撤回支持。

紐約大學教授阿姆斯特朗的評價：「奇點已經開始了，只不過它的分布極度不均。」

布羅克曼透露，GPT-5.5發布前夕OpenAI曾為算力配額精打細算，痛苦削減接口速率限制，稱算力分配是當下「最難的一道資本與工程難題」。

公眾質疑集中於：頂尖超算算力究竟應用於解決抽象數學猜想，還是攻克阿爾茨海默病、縮短新藥研發周期等現實問題。

布羅克曼的邏輯是：能在數十步推演中不犯邏輯錯誤、用Lean代碼完全閉環自洽的系統，一旦遷移至生命科學領域，將產生幾何級數的躍升。簡單來說＝先在數學上證明AI的推理鏈條足夠嚴密，再把同一套能力搬去做藥物研發——數學是測試場，不是終點。

頂尖算力該花在抽象數學上嗎？

BULL

推理能力可遷移

數學證明驗證了AI長鏈推理的嚴密性，遷移到生命科學將產生躍升。

形式化驗證是護城河

Lean閉環校驗意味著推理可追溯、可複現，這套能力本身有巨大商業價值。

BEAR

機會成本太高

一次解題消耗約2250萬美元算力，同等資源可直接投入疾病研究。

遷移尚未驗證

從數學推理到分子動力學的跨領域遷移，目前還沒有公開的實際成果。

簡單來說＝布羅克曼的邏輯是『先證明AI能嚴密推理，再搬去救命』——邏輯通順，但『搬過去』這一步還沒有被驗證，這是當前爭論的核心。

市场有风险，内容仅供研究参考，不构成投资建议。