OpenAI mengumumkan tiga penemuan saintifik utama oleh model kecerdasan buatannya dalam bidang matematik, sains komputer, dan fizik, merangkumi bukti bagi konjektur Kakeya dalam analisis harmonik, penafian Hipotesis Masa Eksponen (ETH) dalam teori kerumitan pengiraan, dan bukti ketat mengenai kewujudan teori medan kuantum empat dimensi (termasuk QCD dan model piawai).Penulis artikel, sumber: AIBase
Baru-baru ini, OpenAI secara rasmi mengumumkan bahawa model kecerdasan buatan mereka telah mencapai tiga penemuan saintifik utama dalam bidang matematik, sains komputer, dan fizik, masing-masing berkaitan dengan analisis harmonik, teori kerumitan pengiraan, dan teori medan kuantum. Untuk menukar data penyelidikan asli yang canggih ini menjadi pemahaman saintifik yang sebenar, OpenAI mencuba model kerjasama mendalam yang inovatif dengan komuniti akademik luaran, serta menggariskan strategi pelancaran yang pelbagai untuk pencapaian dalam bidang-bidang berbeza.
Dalam bidang analisis harmonik, model berjaya memberikan bukti bagi konjektur penghalusan tempatan (local smoothing) di semua dimensi, dengan itu menyelesaikan secara langsung konjektur Kakeya dan konjektur pembatasan Stein dalam matematik. Bukti baharu ini berdasarkan kepada persamaan pembezaan separa bantu yang baru. OpenAI telah menerbitkan laporan output bahasa semula jadi AI yang dihasilkan oleh model serta bukti Lean di repositori GitHub awam.
Dalam bidang sains komputer, sistem ini membuktikan bahawa hipotesis masa eksponen (ETH), yang lama dianggap benar, adalah salah. Hipotesis ini berkait rapat dengan masalah P vs. NP yang terkenal dan sebelum ini telah digunakan secara meluas dalam ratusan kertas kerja untuk menurunkan kesukaran pengiraan bersyarat. Keputusan ini juga telah disahkan dalam Lean. Karya ini telah dikemukakan kepada pasukan pakar terkemuka yang dipimpin oleh Russell Impagliazzo, Ramamohan Paturi, dan Ryan Williams untuk pengesahan dan bimbingan, serta hasil berkaitan dan bukti formal Lean telah dipaparkan secara serentak di repositori GitHub.
Dalam bidang fizik, model-memberi bukti kewujudan matematik yang ketat bagi teori medan kuantum tertentu yang mengandungi medan gauge dan fermion dalam empat dimensi (termasuk kuantum kromodinamik QCD dan penyempurnaan seragam model piawai fizik zarah), di mana sebagai masalah sampingan termasuk bukti kewujudan teori Yang–Mills tulen, yang juga merupakan sebahagian daripada Masalah Hadiah Milenium Institut Matematik Clay. Kerja yang kompleks ini telah dipromosikan oleh kumpulan fizikus yang dipimpin oleh David Gross (termasuk Michael Douglas, Arthur Jaffe, Igor Klebanov, dan Nikita Nekrasov),
Untuk menyokong sepenuhnya tinjauan bebas dan penyelidikan mendalam oleh akademik terhadap pencapaian revolusioner ini, OpenAI sebelum ini telah memberikan sumbangan sebanyak $5 juta kepada Simons Foundation untuk membiayai seminar, konferensi, dan projek khas yang berkaitan. Serangkaian langkah ini tidak hanya menunjukkan potensi besar AI dalam penyelidikan di hadapan sains asas, tetapi juga menandakan bahawa fizik teori moden dan matematik sedang bergerak lebih pantas ke arah bidang yang lebih ketat.