OpenAI Mengumumkan Tiga Terobosan Ilmiah Berbasis AI

OpenAI mengumumkan tiga terobosan besar oleh model AI-nya di tiga bidang: matematika, ilmu komputer, dan fisika—menandai pertama kalinya sebuah sistem AI mampu secara mandiri menemukan dan membuktikan secara ketat teori-teori ilmiah kompleks, jauh melampaui fungsi konvensional seperti tanya-jawab atau bantuan riset. Di bidang matematika, model ini berhasil membuktikan Konjektur Kelancaran Lokal untuk dimensi berapa pun, lalu—berdasarkan bukti tersebut—menyelesaikan secara tuntas Konjektur Kakeya dan Konjektur Pembatasan Stein. Di bidang ilmu komputer, model ini membantah Asumsi Waktu Eksponensial, yang selama ini dianggap sebagai landasan dasar, sehingga membuka jalan baru bagi pengembangan algoritma yang lebih efisien. Di bidang fisika, model ini membangun bukti keberadaan matematis yang ketat bagi Quantum Chromodynamics (QCD) dan Teori Yang–Mills—masalah yang termasuk dalam tujuh “Masalah Milenium” yang diumumkan oleh Clay Mathematics Institute. Menurut data dari JIN10, OpenAI telah menggunakan alat verifikasi matematis Lean untuk memverifikasi secara formal hasil di bidang matematika dan ilmu komputer, sekaligus merilis secara publik seluruh materi pembuktian tersebut.