Matematikawan Dunia Kena Mental: OpenAI Astra Pecahkan Soal 80 Tahun, Tapi Masih Buta Waktu
Kabar mengejutkan kembali mengguncang menara gading akademis dunia. Para matematikawan terkemuka dilaporkan mengalami krisis eksistensial setelah model kecerdasan buatan terbaru milik OpenAI, Astra, mempublikasikan solusi atas sepuluh problem matematika teoritis dan ilmu komputer yang telah membeku selama puluhan tahun. Dunia sains dibuat terperangah seolah kalkulator raksasa tiba-tiba memecahkan rahasia alam semesta.
Sebagai majikan yang memiliki akal sehat, kita tidak perlu buru-buru panik apalagi ikut merasa rendah diri. Fenomena ini bukan bukti bahwa mesin telah melampaui kecerdasan manusia, melainkan pengingat bahwa AI hanyalah perkakas berdaya komputasi tinggi. Tanpa arahan, hipotesis, dan kurasi dari manusia yang memegang kemudi, tumpukan algoritma canggih tersebut tidak lebih dari deretan kode tanpa jiwa.
Kepanikan akademisi ini membuktikan bias psikologis yang lazim terjadi: kita kerap kagum berlebihan saat asisten rumah tangga kita bisa menyapu lantai lebih cepat dari biasanya, padahal ia masih bingung membedakan antara garam dapur dan deterjen pakaian.
Analisis Mendalam
Laporan investigasi mendalam dari jurnalis teknologi The Verge, Robert Hart, bersama Nilay Patel dalam siniar Decoder membongkar bagaimana OpenAI merilis dokumen pembuktian setebal ratusan halaman. Dokumen bertajuk “10 Advances in Mathematics and Theoretical Computer Science” tersebut mengklaim bahwa model Astra berhasil memecahkan teka-teki rumit mulai dari teori permainan kuantum (quantum game theory) hingga penataan bola pada dimensi tinggi (sphere packing in higher dimensions).
Sebelumnya, model internal OpenAI juga dilaporkan berhasil membantah unit distance conjecture—sebuah problem geometri yang tak terpecahkan selama 80 tahun. Menariknya, seluruh pembuktian matematis Astra ini diverifikasi menggunakan bahasa pemrograman formal Lean. Sistem Lean memastikan setiap langkah logika teruji secara ketat tanpa celah pembuktian, mematahkan keraguan para skeptis bahwa temuan tersebut sekadar halusinasi mesin.
Namun, di balik kegemparan tersebut, OpenAI sempat menuai kritik tajam terkait atribusi karya. Pada rilis pers awalnya, OpenAI sesumbar bahwa problem-problem tersebut tidak mengalami kemajuan selama satu dekade, padahal pada makalah teknis aslinya mereka secara nyata berdiri di atas pundak riset peneliti manusia terdahulu. Klaim biaya komputasi yang hanya sekitar 2.000 dolar AS untuk menghasilkan sepuluh terobosan tersebut juga dinilai memoles citra laboratorium AI sebagai pemegang kunci masa depan sains.
Baca juga artikel menarik lainnya di kategori Sidang Bot.
Batasan Sistem
Di balik kemampuannya melibas kalkulasi abstrak tingkat dewa, sistem AI memperlihatkan paradoks menggelikan yang oleh para ilmuwan disebut sebagai jagged intelligence atau kecerdasan bergerigi. Sistem yang mampu membedah mekanika kuantum dimensi tinggi ini nyatanya masih megap-megap saat diminta menghitung jumlah huruf ‘r’ pada kata strawberry sebelum akhirnya diperbaiki lewat tambalan manual (hard-coded), serta masih sering linglung saat ditanya jam berapa sekarang.
Profesor matematika dari Universitas Oxford, Andras Juhasz, menggarisbawahi bahwa model bahasa besar sama sekali tidak memiliki intuisi spasial maupun geometris sejati. Itulah sebabnya cabang matematika seperti topologi masih sangat sulit ditembus oleh AI. Kritikus kawakan Gary Marcus turut mengingatkan kegagalan masa lalu saat IBM Watson yang memenangi kuis Jeopardy digadang-gadang mampu menyembuhkan kanker namun berakhir mengecewakan. Kemenangan pada satu domain tertutup yang berbasis aturan logis murni tidak serta-merta menjadikan AI mahatahu di dunia nyata.
Batasan paling mendasar dari mesin ini adalah ketiadaan rasa ingin tahu filosofis. Peraih Fields Medal, James Maynard, bersama Johannes Schmitt dari Zurich mengingatkan bahwa nilai tertinggi matematika terletak pada proses melahirkan pertanyaan baru dari sebuah jawaban, bukan sekadar mencentang daftar problem yang sudah ada. AI ibarat mesin pemotong rumput: ia bisa meratakan lapangan dengan cepat, tetapi ia tidak pernah tahu mengapa taman tersebut dibangun atau bunga apa yang harus ditanam selanjutnya.
Dampak Masa Depan
Dampak langsung dari lonjakan kapabilitas komputasi ini kini menghantui mahasiswa doktoral (PhD) di seluruh dunia. Jika standar kelulusan dan publikasi ilmiah adalah memecahkan problem yang belum bisa diselesaikan mesin, para peneliti muda tidak lagi bersaing dengan AI hari ini, melainkan dengan AI empat tahun ke depan. Kondisi ini memicu kekhawatiran bahwa generasi penerus matematikawan manusia akan tereduksi fungsinya hanya menjadi ‘tukang koreksi’ pembuktian mesin.
Sebagai bentuk perlawanan moral terhadap narasi korporasi teknologi, sejumlah matematikawan dunia telah menandatangani Deklarasi Leiden (Leiden Declaration) untuk menolak tunduk pada hype pemasaran laboratorium AI. Matematikawan Colva Roney-Dougal dari Universitas St. Andrews secara lugas mengkritik bahwa industri raksasa teknologi hanya memperlakukan matematika murni sebagai arena bermain iklan (advertising playground) demi mendongkrak valuasi produk komersial mereka.
Pada akhirnya, secanggih apa pun pembuktian logika yang disemburkan oleh Astra, AI tetaplah alat mekanis yang menunggu perintah. Ia tidak memiliki kesadaran, tidak memahami keindahan estetika sebuah teorema, dan tidak akan pernah menggantikan akal budi majikannya yang menciptakan seluruh fondasi sains tersebut dari ketiadaan.
Artikel ini dirangkum dari sumber asli di “The Verge”.
Gambar oleh: The Verge / OpenAI
Bisa memecahkan rumus penataan bola 10 dimensi dalam hitungan detik, tetapi giliran disuruh memilih cabe rawit yang segar di pasar tradisional, bot ini pasti langsung korsleting.