Anthropic 宣布其 AI 模型 Claude 可能已解決納維-斯托克斯存在性與光滑性問題,這是七個千禧大獎問題之一。此聲明暗示 AI 在處理流體力學複雜數學證明方面取得了重大突破,並標誌著 AI 從模式匹配工具向嚴謹邏輯推理器的潛在轉變。
解決此問題將獲得 100 萬美元獎金,並證明 AI 能夠應對物理學和數學中的深層理論挑戰,而在這些領域,AI 過去往往落後於其他領域。此聲稱依賴於 Claude 先進的數學推理能力,Anthropic 一直在積極研究和改進這些能力。
然而,該證明可能僅適用於理想化情況,例如單分子流體在盒子中的情況,而非千禧大獎所需的連續一般情況。
事件背景
納維-斯托克斯存在性與光滑性問題探討描述流體運動的納維-斯托克斯方程的解是否始終保持光滑,還是會產生奇點(發散)。這是克萊數學研究所選定的七個千禧大獎問題之一,正確證明者可獲得 100 萬美元獎金。
社群觀察
社群反應褒貶不一,許多人因 AI 在物理學領域的影響力歷來較其他領域溫和而對該聲稱持懷疑態度。部分評論者認為證明可能僅適用於簡化的理想化情況,而其他人則指出 Anthropic 執行長 Dario Amodei 以雄心勃勃且有時誇張的預測著稱。



