OpenAIのモデルが指数時間仮説を反証、3つの発見を発表

TREE NEWS 情報： OpenAIは10月27日、同社の内部モデルが数学、計算機科学、物理学の分野で3つの新たな発見をしたと発表した。あるモデルは、数百本の論文で計算困難性の仮定として用いられてきた指数時間仮説を反証し、その結果はLeanで形式化された。ETHの発案者であるRussell Impagliazzo氏とRamamohan Paturi氏が率い、MIT教授のRyan Williams氏も加わるチームがこの発見を検証する。