OpenAI mengumumkan tiga hasil ilmiah penting yang diperoleh dengan bantuan model AI mereka. Hasil-hasil tersebut berkaitan dengan matematika, ilmu komputer, dan fisika.
Di bidang matematika, model tersebut membuktikan hipotesis penghalusan lokal (local smoothing conjecture) pada setiap dimensi spasial tidak kurang dari dua. Hasil ini juga mencakup hipotesis Kakeya dan estimasi pembatasan Stein dalam rentang penuh.
Perusahaan menerbitkan hasil model secara langsung di GitHub, mengikuti rekomendasi para ahli. Sebelumnya, hipotesis tersebut hanya dibuktikan dalam tiga dimensi.
Di bidang ilmu komputer, AI membantah hipotesis waktu eksponensial (Exponential Time Hypothesis). Disajikan algoritma deterministik yang secara tepat menghitung penetapan yang memenuhi syarat untuk formula CNF dengan lebar tetap dalam waktu subeksponensial.
Verifikasi hasil akan dipimpin oleh kelompok independen di bawah arahan Russell Impagliazzo, Ramamohan Paturi, dan Ryan Williams. Materinya langsung dipublikasikan.
Di bidang fisika, diperoleh pembuktian matematis yang ketat atas keberadaan teori medan kuantum berinteraksi tertentu dengan medan gauge dan fermion dalam empat dimensi. Contohnya mencakup kromodinamika kuantum dan penyelesaian terpadu Model Standar.
Kelompok fisikawan akan dipimpin oleh David Gross, dan juga mencakup Michael Douglas, Arthur Jaffe, Igor Klebanov, dan Nikita Nekrasov. Mereka memutuskan untuk menunda rilis penuh agar dapat menyiapkan interpretasi mereka sendiri.
OpenAI melibatkan ilmuwan eksternal sebagai "penggembala" (shepherds) untuk menangani hasil-hasil tersebut. Perusahaan mencatat bahwa berbagai pendekatan terhadap publikasi memiliki komprominya masing-masing, termasuk persoalan akses dan asimetri informasi.
Profesor matematika Alex Iosevich dari University of Rochester menyebut pembuktian hipotesis penghalusan lokal sebagai perkembangan yang bersejarah. Ia menyatakan kegembiraan dan optimisme terhadap potensi AI dalam ilmu pengetahuan, meskipun ia juga mencatat adanya perasaan campur aduk di kalangan para teoretikus.
Bagaimana proses penemuan ilmiah akan berubah ketika AI mulai mengusulkan semakin banyak hasil semacam ini?
