繼 Anthropic 近期在數學領域取得突破後，Reddit 上的討論指出 OpenAI 正將其內部納維-史托克斯模型應用於攻關黎曼猜想與 P vs NP 問題。此舉旨在展示 OpenAI 在先前納維-史托克斯存在性與光滑性問題解決方案引發爭議後的實力。
這項進展標誌著 AI 的角色從模式識別轉向嚴謹的數學證明，有望解決數學界最艱難的未解之題。它也加劇了 OpenAI 與 Anthropic 之間的競爭，兩家公司正爭先奪得克雷數學研究所千禧年大獎問題中的里程碑。
OpenAI 使用了比其 GPT-6 Astra 模型強大得多的內部系統，部署約一萬個自主 AI 代理，在 88 小時內達成解決方案。社群猜測 OpenAI 鎖定 P vs NP 問題是為了證明 P 不等於 NP，藉此驗證其先前發現並反駁抄襲指控。
事件背景
千禧年大獎問題是由克雷數學研究所指定的七個未解數學問題，每個問題獎金為一百萬美元。納維-史托克斯方程描述流體運動，黎曼猜想則涉及質數的分佈，而 P vs NP 問題探討計算問題的複雜性。近期 AI 使用 Lean 等語言驗證證明，提升了人們對機器生成數學解的信心。
社群觀察
社群情緒充滿興奮與懷疑，用戶們開玩笑說這對數學家會有什麼影響，並猜測下一個目標可能是弦理論。部分人認為黎曼猜想的證明過於雄心勃勃，而其他人則認為這是 OpenAI 為了證明其先前納維-史托克斯解並非抄襲的策略性舉動。
