前瞻與傳聞

OpenAI稱內部模型解決納維-斯托克斯方程式，預期將攻克霍奇猜想

Techmeme2026年9月17日 15:00綜合 2 家報導多家報導

已查原文 · 5 項主張

多個報導來源提及此事；未必是彼此獨立的證據。

新聞報導中的各項重要主張皆可在已讀取來源中獲得證實。OpenAI 確於 9 月 8 日宣布利用內部模型解決納維-斯托克斯問題並發布證明，此舉牽涉與紐約大學學者的功勞爭議。同時，知情人士表示員工預期將很快解決下一個難題霍奇猜想。

OpenAI 宣布其未發布的內部模型解決了納維-斯托克斯存在性與平滑性問題。

來源明確指出 OpenAI 的內部模型已解決納維-斯托克斯存在性問題。

resolved Navier–Stokes existence
查看原始出處

OpenAI 公布了相關報告與形式化證明。

來源確認 OpenAI 發布了其證明與 Lean 檔案。

publishes its proof
查看原始出處

該問題為克雷數學研究所提出的千禧年大獎難題之一，懸賞 100 萬美元。

來源敘述該難題為千禧年大獎難題，且懸賞一百萬美元。

Millennium Prize Problems
查看原始出處

carrying $1 million
查看原始出處

據消息人士透露，OpenAI 員工預期另一個難題「霍奇猜想」將在不久後被攻克。

來源指出 OpenAI 正著手解決霍奇猜想，員工預期很快會有結果。

working on the Hodge conjecture
查看原始出處

expect a solution soon
查看原始出處

這項成就引發學界爭議，紐約大學等數學家指控 OpenAI 手段卑劣搶奪功勞。

來源提及紐約大學學者指責 OpenAI 使用卑劣手段，並指出此事捲入功勞爭端。

fought dirty
查看原始出處

credit dispute
查看原始出處

OpenAI 於 9 月 8 日宣布，其未發布的內部模型（據稱能力遠超 GPT-6 Astra）已解決了「納維-斯托克斯存在性與平滑性」（Navier-Stokes existence and smoothness）問題，並公布了相關報告與 Lean 形式化證明。該問題為克雷數學研究所（Clay Mathematics Institute）於 2000 年提出的七個「千禧年大獎難題」（Millennium Prize Problems）之一，懸賞 100 萬美元。據消息人士透露，OpenAI 員工預期在解決此問題後，另一個千禧年大獎難題「霍奇猜想」（Hodge Conjecture）也將在不久後被攻克。然而，這項成就引發了學界爭議，紐約大學（NYU）等數學家指控 OpenAI 手段卑劣、試圖搶奪解決難題的功勞，雙方爭端正持續升級。

讀原始報導

背景

Hodge conjecture 是代數幾何與複幾何領域中一個重大的未解難題，主要探討特定幾何空間的拓樸資訊。Navier-Stokes equations 則是一組描述黏性流體運動的偏微分方程，由科學家於 1822 年至 1850 年間逐步發展而成。

來源

本期分類

研究產業動態

相關主題

#OpenAI #Doug #GPT-6 Astra