Dia Minta GPT-5.6 Sol Jalankan Teorema Terakhir Fermat Selama 33 Jam Nonstop, Dihentikan Paksa oleh Sistem
Sebagai orang biasa, jika Anda memberikan sebuah masalah matematika sulit kepada AI dan terus menyuruhnya "lanjutkan", mungkinkah ia benar-benar memecahkan masalah itu dan membantu Anda memenangkan hadiah besar, atau bahkan mengubah perkembangan matematika?
Baru-baru ini, seorang pakar bernama Michael P. Frank mencoba memberikan tugas penelitian berkesulitan tinggi kepada GPT-5.6 Sol: mengeksplorasi apakah ada jalur pembuktian yang lebih sederhana untuk Teorema Terakhir Fermat dibandingkan bukti Wiles-Taylor, dengan fokus pada kurva Frey khusus, metode keturunan tak hingga seragam, ketidaksetaraan tipe abc aritmatika, dan hasil bagi genus rendah seragam. Tugas ini dijalankan di latar belakang selama sekitar 33 jam, menghabiskan banyak sumber daya komputasi, tetapi akhirnya dihentikan secara paksa oleh sistem OpenAI.
GPT-5.6 Sol menganalisis bahwa penyebabnya mungkin dua hal: sistem menilai sesi ini menggunakan terlalu banyak sumber daya, atau OpenAI sebelumnya sudah mencoba masalah ini dengan model serupa dan gagal, sehingga tidak ingin membuang daya komputasi lagi. Hasil kerja 33 jam tersebut adalah menghasilkan peta "jalan buntu" dengan mengubah banyak jalan pintas yang "terdengar layak" menjadi pernyataan tepat yang dapat diverifikasi, lalu membuktikannya salah atau menyingkirkannya, bukan menghasilkan pembuktian itu sendiri.
Ada beragam tanggapan atas tindakan OpenAI ini. Beberapa orang menduga OpenAI mungkin menyembunyikan kemampuan sebenarnya untuk mencegah pihak lain mencuri perhatian atau untuk digunakan sendiri. Namun, peneliti senior OpenAI Noam Brown menolak anggapan ini, menyatakan bahwa jika seseorang bisa memenangkan hadiah Millennium Prize hanya dengan mengetik "lanjutkan", itu justru akan menjadi iklan terbaik bagi OpenAI.
Pendapat lain menyebutkan bahwa penghentian ini mungkin disebabkan oleh mekanisme keamanan rutin untuk mencegah proses macet, atau bahkan bug dalam versi 5.6 Sol yang menyebabkan pemblokiran saat menjalankan tugas lama. Ada juga yang mengaitkannya dengan pertimbangan regulasi, bahwa membiarkan model publik menyelesaikan masalah matematika tingkat tinggi justru akan membuktikan kekuatan model tersebut dan menarik perhatian regulator.
marsbit07/28 12:28
