OpenAI／官方：三項 AI 科學發現——全維度局部平滑／Kakeya、證偽指數時間假設、量子色動力學存在性；外部學者協作驗證
OpenAI 於二零二六年十月二十六日在官方新聞頁宣布三項由內部模型產生、並以 Lean 形式化驗證的科學結果：調和分析中的局部平滑猜想在所有維度成立並據此解決 Kakeya 等相關猜想、計算複雜度中的指數時間假設（ETH）被證偽，以及四維規範場與費米子量子場論（含量子色動力學）的數學存在性證明；數學與計算機科學原稿已...
OpenAI 於二零二六年十月二十六日在官方新聞頁宣布三項由內部模型產生、並以 Lean 形式化驗證的科學結果：調和分析中的局部平滑猜想在所有維度成立並據此解決 Kakeya 等相關猜想、計算複雜度中的指數時間假設（ETH）被證偽，以及四維規範場與費米子量子場論（含量子色動力學）的數學存在性證明；數學與計算機科學原稿已...