OpenAI Klaim Model Internalnya Selesaikan 372 Soal Matematika

OpenAI lagi bikin heboh. Mereka bilang sebuah model internal yang belum dirilis berhasil ngehasilin ratusan temuan di matematika dan theoretical computer science.
Kabar ini langsung nyebar karena skalanya gede. Tapi di balik angka yang bikin kagum itu, ada pertanyaan besar yang belum kelar juga.

Apa yang mereka klaim

Menurut OpenAI, model tersebut ngehasilin 372 hasil yang menyelesaikan atau bikin kemajuan signifikan di berbagai open problem matematika dan theoretical computer science. Yang bikin orang melongo, hampir semua hasil itu keluar dari satu AI agent dengan satu prompt.
Ini beda jauh dari gebrakan mereka sebelumnya di masalah Navier Stokes, yang butuh kerja barengan swarm agent sampai ribuan dan biaya komputasi yang nggak main main.

Masih soal kualitas, bukan cuma jumlah

Hasilnya numpuk di sebuah repo GitHub, dan butuh berbulan bulan buat matematikawan ngebedah satu satu. Pertanyaan intinya sederhana. Apakah pembuktiannya bawa ide baru, atau sebagian besar cuma remix dari teknik yang sudah ada.
Bagian menariknya, banyak hasil itu sudah diverifikasi lewat Lean, bahasa pemrograman buat pembuktian formal. Artinya sebagian klaim bisa dicek mesin, bukan cuma narasi yang susah dibuktikan.

Klaim OpenAI soal 372 hasil ini belum jadi kata akhir, dan wajar kalau banyak yang masih skeptis. Yang pasti, standar bukti di dunia AI naik. Siapa pun yang ngeklaim terobosan sekarang mesti siap ngasih bukti yang bisa dicek, bukan cuma demo yang bikin kagum sesaat.

Sumber: OpenAI Unleashes Hundreds More Math Results Upon a Field Already In Shock