Dentmas.id – Dunia matematika baru saja diguncang! Seorang jenius bernama Donald Knuth dengan berani mengakui bahwa model AI Claude ternyata mampu membantunya menuntaskan soal sulit yang membuatnya frustrasi. Knuth sendiri menuangkan pengalaman mengejutkan ini dalam makalah berjudul Claude’s Cycles yang ia rilis pada akhir Februari 2026 lalu.
Dalam laporan tersebut, Knuth mengaku sangat terkejut saat model AI Claude Opus 4.6 berhasil menemukan solusi dari soal matematika yang sebelumnya terasa mustahil ia pecahkan. Sebelum Claude datang membantunya, Knuth bahkan sempat jalan di tempat selama berminggu-minggu menghadapi soal itu.
“Wah, benar-benar di luar dugaan! Saya baru sadar kemarin bahwa sebuah masalah terbuka yang sudah saya garap beberapa minggu ternyata baru saja dipecahkan tuntas oleh Claude Opus 4.6,” tulis Knuth dengan penuh rasa takjub dalam makalahnya.
Hasil dari AI tersebut, menurut Knuth, secara serius membuatnya mulai mempertimbangkan ulang pandangannya selama ini terhadap teknologi generative AI.
Berawal dari Proyek Riset yang Bikin Pusing Tujuh Keliling
Soal matematika rumit yang membuat Donald Knuth kewalahan ini muncul ketika ia tengah menyiapkan materi untuk volume lanjutan dari buku algoritma legendarisnya, yaitu The Art of Computer Programming. Saat itu, Knuth sedang mendalami siklus Hamilton pada graf berarah (directed Hamiltonian cycles). Topik ini merupakan bagian penting dari kajian teori graf dalam matematika kombinatorial yang selama ini ia pelajari secara mendalam di buku-bukunya.
Secara sederhana, masalah ini berkaitan erat dengan cara menyusun sebuah jalur dalam jaringan titik (graf). Jalur tersebut harus melewati setiap titik tepat satu kali, lalu kembali lagi dengan mulus ke titik awal. Gampangnya, seperti mencari rute wisata yang mengunjungi semua kota tanpa mengulang, lalu pulang ke rumah.
Namun, graf yang diteliti Knuth memiliki struktur yang sangat rumit. Jaringan ini terdiri dari sekitar m³ titik, dan dari setiap titik yang ada, tersedia tiga kemungkinan arah jalur yang bisa dipilih. Bayangkan betapa kompleksnya pilihan tersebut!
Dicoba Pakai AI, Hasilnya Di Luar Ekspektasi!
Karena penasaran, seorang peneliti bernama Flip Stappers kemudian mencoba memecahkan soal tersebut dengan bantuan kecerdasan buatan. Ia dengan cermat memasukkan deskripsi persoalan yang sedang dipelajari Knuth ke dalam model AI Claude Opus 4.6. Tujuannya sederhana: ingin melihat apakah sistem AI tersebut mampu membantu menemukan pola tersembunyi.
Berdasarkan cuplikan dari makalah Claude’s Cycles, AI Claude ternyata tidak langsung asal memberi jawaban. Sebaliknya, model AI ini terlebih dahulu berusaha merumuskan kembali inti permasalahan agar bisa dianalisis dengan lebih jernih dan sistematis.
Dalam proses kerjanya, Claude dengan sabar menguji tiga pendekatan yang berbeda. Pertama, ia mencoba mencari pola dengan fungsi linear sederhana. Kedua, Claude melakukan penelusuran jalur secara brute force menggunakan metode DFS (Depth First Search). Ketiga, ia menganalisis kemungkinan pola dengan teknik simulated annealing yang cukup canggih.
Setelah melalui berbagai percobaan dan eksplorasi tanpa kenal lelah, Claude akhirnya berhasil menghasilkan solusi konkret dalam bentuk program Python yang diklaim valid. Namun demikian, hasil tersebut belum serta-merta dianggap sebagai solusi akhir oleh para ahli.
Verifikasi Tetap Harus Dilakukan Manusia
Dalam disiplin penelitian matematika, sebuah pola atau solusi yang tampaknya benar belum tentu langsung divalidasi. Pola tersebut tetap harus dibuktikan secara formal agar semua pihak yakin bahwa pola itu berlaku untuk seluruh kemungkinan kasus tanpa terkecuali.
Oleh karena itu, Knuth dengan teliti meninjau kembali pola yang diusulkan Claude dan memeriksanya secara matematis. Ia kemudian menyusun pembuktian langkah demi langkah untuk memastikan bahwa pola temuan AI tersebut memang benar dan dapat diterapkan secara konsisten di berbagai skenario.
Setelah proses verifikasi yang melelahkan selesai dilakukan, Knuth akhirnya merangkum seluruh temuan dan pembuktiannya dalam sebuah makalah yang diberi judul Claude’s Cycles. Di dalam makalah tersebut, dengan gamblang Knuth menjelaskan bahwa AI Claude telah membantunya menemukan “kunci rahasia” yang membuka jalan menuju solusi. Sementara itu, pembuktian matematis secara lengkap tetap ia kerjakan sendiri sebagai bentuk tanggung jawab akademik.
Temukan juga berbagai berita terbaru lainnya hanya di Exposenews.id.
