🚨OpenAIは、自社のAIがETHを否定したと発表しました。

ETHは指数時間仮説の略で、ある種の計算問題が規模とともに難しくなることに関する、長年の仮定です。

OpenAIによると、自社のAIは仮説で許されるよりも高速なアルゴリズムを発明し、何百もの研究論文で使われてきた仮定に反証したとのことです。

同社によれば、この反証は10月16日に発見され、翌日にはLean証明検証システムで検証され、形式的検証とともにGitHubで公開されました。

MITのRyan Williams氏が、ETHの元提唱者であるRussell Impagliazzo氏とRamamohan Paturi氏とともにレビューする予定です。OpenAIは、この結果を実世界でより高速なアルゴリズムへとつなげるには、「大幅な追加研究」が必要になると述べています。

同社は、他にも2つのブレークスルーを主張しています。
• 数学：昨年の3次元の場合の証明に続き、全次元におけるKakeya予想の証明。
• 物理学：100万ドルのミレニアム賞問題の一部を解く証明の作成。この研究はまだ未発表であり、ノーベル賞受賞者David Gross氏率いるチームが調査する予定です。