OpenAI Mengumumkan Tiga Kejayaan Sains Berasaskan AI

OpenAI mengumumkan bahawa model AI-nya telah mencapai tiga terobosan besar dalam tiga bidang: matematik, sains komputer, dan fizik—untuk pertama kalinya menunjukkan keupayaan AI menemui dan membuktikan secara ketat teori sains yang kompleks secara autonomi, jauh melampaui fungsi biasa seperti soal-jawab atau bantuan penyelidikan. Dalam bidang matematik, model ini berjaya membuktikan Konjektur Kelancaran Tempatan yang berlaku dalam sebarang dimensi, dan dengan bukti tersebut, ia seterusnya menyelesaikan Konjektur Kakeya dan Konjektur Had Stein. Dalam bidang sains komputer, model ini menyangkal Hipotesis Masa Eksponen—suatu asumsi asas yang telah lama diterima—membuka jalan baru bagi rekabentuk algoritma yang lebih cekap. Manakala dalam bidang fizik, model ini membina bukti kewujudan matematik yang ketat bagi Teori Dinamik Warna Kuantum (Quantum Chromodynamics) dan Teori Yang–Mills—masalah yang tergolong dalam tujuh “Masalah Matematik Milenium” yang diumumkan oleh Institut Matematik Clay. Menurut data Jintu, OpenAI telah menggunakan alat pengesahan matematik Lean untuk mengesahkan secara formal hasil dalam bidang matematik dan sains komputer, serta menerbitkan keseluruhan bahan bukti secara terbuka.