OpenAI、AIによる科学の新発見3件を発表　指数時間仮説を反証したと主張

PANews 10月27日、OpenAIの公式発表によると、同社の内部モデルが数学・計算機科学・物理学の分野で3件の新発見を成し遂げた。うち、モデルは数百本の論文で計算困難性の前提として用いられてきた指数時間仮説（ETH）が誤りであることを証明した。結果はLeanで形式検証済みで、同仮説の提唱者であるRussell Impagliazzo、Ramamohan Paturi、およびMIT教授Ryan Williamsが率いるチームによる検証を受ける。さらに、モデルは任意次元の局所平滑化予想を証明し、これによりKakeya予想とStein制限予想を解決した。物理学の面では、量子色力学を含む4次元量子場の理論の厳密な存在性証明を与えた。その中にはミレニアム懸賞問題に関わる純粋なヤン＝ミルズ理論の存在性証明が含まれ、ノーベル物理学賞受賞者のDavid Grossが率いるチームによる検証を受ける。上記の成果はなお学界による独立した検証を待っている。