人工智慧在基礎數學領域迎來了里程碑式的突破。OpenAI近日宣布，其內部一款性能遠超GPT-6 Astra的未公開下一代模型，通過調度約10000個AI智能體協同作戰，僅耗時88小時便成功給出了「納維-斯托克斯方程存在性與光滑性問題」的證明。這一自1930年代提出以來困擾人類近90年的流體力學核心難題，也是克萊數學研究所懸賞百萬美元的七大「千禧年大獎難題」之一。
在這場史無前例的「數學攻堅」中，上萬個智能體被劃分為多個小組並行探索，它們不僅能讀取緩存資訊、運行代碼，還能進行組內通信與思路交叉融合。在得出證明後，GPT-6 Astra又額外耗時17小時完成了Lean編程語言的形式化驗證，確保了邏輯的絕對嚴謹。
儘管取得了歷史性突破，OpenAI明確表示不會申領100萬美元獎金。公司強調，此舉旨在報告AI模型在解決開放數學問題上的實質性進展，而非爭奪獎金。這一壯舉不僅標誌著通用人工智慧（AGI）正成為推動科學探索的引擎，也引發了數學界關於AI時代人類科研角色定位的深刻反思。
