OpenAI公布人工智慧(AI)在數學、電腦科學與物理學領域的3項研究成果,其中一項推翻指數時間假說(ETH)的結果已通過Lean形式化驗證。
OpenAI於10月26日發布公告,表示模型已推翻ETH。這項結果將由外部團隊審查,團隊成員包括麻省理工學院(MIT)教授Russell Impagliazzo、Ramamohan Paturi與Ryan Williams。OpenAI表示,已公開自然語言證明,並將釋出相關原始資料,供社群獨立驗證。
在數學領域,OpenAI表示,模型證明了所有維度下的局部平滑化猜想,並因此解決了Kakeya猜想與Stein限制猜想。物理學方面,模型提出涵蓋量子色動力學的四維量子場論存在性證明,預計由David Gross領導的研究團隊進行驗證。
留言 0