OpenAI宣佈三項AI科學新發現，稱已證偽指數時間假說

PANews 10月27日消息，據OpenAI官方公告，其內部模型在數學、計算機科學和物理學領域取得三項新發現。其中，模型證明被數百篇論文用作計算困難性前提的指數時間假說（ETH）是錯誤的，結果已通過Lean形式化驗證，將由該假說提出者Russell Impagliazzo、Ramamohan Paturi與MIT教授Ryan Williams領銜的小組核驗。此外，模型還證明瞭任意維度的局部平滑猜想，從而解決Kakeya猜想與Stein限制猜想；物理方面則給出包括量子色動力學在內的四維量子場論嚴格存在性證明，其中包含千禧年大獎難題相關的純楊-米爾斯理論存在性證明，將由諾貝爾物理學獎得主David Gross領銜的小組核驗。上述成果尚待學界獨立驗證。