$ETH OpenAI 表示其 AI 已推翻 ETH，而且不是指 Ethereum。
ETH 在此是 Exponential Time Hypothesis（指數時間假設）的縮寫，這是一個已有數十年歷史的計算機科學假設。
它認為某些困難的計算問題，隨著問題規模增長，解決時間將永遠呈指數級增長。
OpenAI 表示，這項假設被廣泛認為是正確的，並已被數百篇研究論文所使用。
但其 AI 提出了一種演算法，能比假設允許的速度更快解決這些問題。
AI 於 10 月 16 日發現了這一反證，而 Lean（一個檢查數學證明的程式）在一天後驗證了結果。
OpenAI 已將證明及其 Lean 驗證結果發布至 GitHub。
最初提出這項假設的科學家 Russell Impagliazzo 和 Ramamohan Paturi，將帶領一個小組，與 MIT 的 Ryan Williams 合作驗證這項工作。
OpenAI 表示，將此結果轉化為更快的實際世界演算法「將需要大量的進一步研究」。
該公司還宣布了另外兩個 AI 發現。
在數學領域，OpenAI 表示其模型解決了 Kakeya 猜想在所有維度上的問題。
數學家僅在去年證明了 3D 版本。
在物理學領域，OpenAI 表示其 AI 產生了一個證明，涵蓋了數學領域 $1 百萬美元千禧年獎勵問題的其中一部分。
由諾貝爾獎得主 David Gross 領導的小組將研究這項尚未發布的工作。
你會在人類檢查之前，信任 AI 撰寫的證明嗎？
#openai
ETH 在此是 Exponential Time Hypothesis（指數時間假設）的縮寫，這是一個已有數十年歷史的計算機科學假設。
它認為某些困難的計算問題，隨著問題規模增長，解決時間將永遠呈指數級增長。
OpenAI 表示，這項假設被廣泛認為是正確的，並已被數百篇研究論文所使用。
但其 AI 提出了一種演算法，能比假設允許的速度更快解決這些問題。
AI 於 10 月 16 日發現了這一反證，而 Lean（一個檢查數學證明的程式）在一天後驗證了結果。
OpenAI 已將證明及其 Lean 驗證結果發布至 GitHub。
最初提出這項假設的科學家 Russell Impagliazzo 和 Ramamohan Paturi，將帶領一個小組，與 MIT 的 Ryan Williams 合作驗證這項工作。
OpenAI 表示，將此結果轉化為更快的實際世界演算法「將需要大量的進一步研究」。
該公司還宣布了另外兩個 AI 發現。
在數學領域，OpenAI 表示其模型解決了 Kakeya 猜想在所有維度上的問題。
數學家僅在去年證明了 3D 版本。
在物理學領域，OpenAI 表示其 AI 產生了一個證明，涵蓋了數學領域 $1 百萬美元千禧年獎勵問題的其中一部分。
由諾貝爾獎得主 David Gross 領導的小組將研究這項尚未發布的工作。
你會在人類檢查之前，信任 AI 撰寫的證明嗎？
#openai