人工智慧在基礎數學領域迎來了里程碑式的突破。OpenAI近日宣布，其內部一款性能遠超GPT-6 Astra的未公開下一代模型，通過調度約10000個AI智能體協同作戰，僅耗時88小時便成功給出了「納維-斯托克斯方程存在性與光滑性問題」的證明。這一自1930年代提出以來困擾人類近90年的流體力學核心難題，也是克萊數學研究所懸賞百萬美元的七大「千禧年大獎難題」之一。
We’re sharing a solution to the Navier-Stokes Millennium Prize Problem, one of the deepest problems at the frontier of mathematics. The proof was produced by a group of agents, using an OpenAI next-generation model significantly more capable than GPT-6 Astra. The problem concerns whether the description of smooth three-dimensional fluid motion modeled by the Navier-Stokes equations can break down. It has remained unresolved for roughly 90 years. https://twitter.com/OpenAI/status/2097374640582668336
在這場史無前例的「數學攻堅」中，上萬個智能體被劃分為多個小組並行探索，它們不僅能讀取緩存資訊、運行代碼，還能進行組內通信與思路交叉融合。在得出證明後，GPT-6 Astra又額外耗時17小時完成了Lean編程語言的形式化驗證，確保了邏輯的絕對嚴謹。
This model represents a step-function improvement on many benchmarks, and its training is ongoing. Our internal model group arrived at the Navier–Stokes solution in 88 hours, using around 10,000 coordinating AI agents. Throughout the effort, we maintained the strict safeguards—including monitoring and isolation—that we apply to all our frontier evaluations. https://twitter.com/OpenAI/status/2097374643518640382
儘管取得了歷史性突破，OpenAI明確表示不會申領100萬美元獎金。公司強調，此舉旨在報告AI模型在解決開放數學問題上的實質性進展，而非爭奪獎金。這一壯舉不僅標誌著通用人工智慧（AGI）正成為推動科學探索的引擎，也引發了數學界關於AI時代人類科研角色定位的深刻反思。
