Saat AI Claude Bantu Matematikawan Menyelesaikan Soal Sulit…

- Claude Opus 4.6, model generatif Artificial Intelligence (AI) terbaru buata Anthropic, beberapa waktu belakangan unjuk kebolehan. Claude dikabarkan membantu matematikawan menemukan solusi buat menyelesaikan soal sulit.

Kabar itu datang dari matematikawan Donald Knuth dalam makalah berjudul Claude's Cycles yang diterbitkan pada akhir Februari 2026 lalu. Knuth mengaku terkejut saat model AI Claude menemukan solusi dari soal matematika yang sulit ia dipecahkan.

"Terkejut! Terkejut! Kemarin saya baru mengetahui bahwa sebuah masalah terbuka yang telah saya kerjakan selama beberapa minggu ternyata baru saja diselesaikan oleh Claude Opus 4.6," tulis Knuth dalam makalahnya.

Knuth bahkan mengakui bahwa hasil AI tersebut membuat ia mulai mempertimbangkan kembali pandangan terhadap teknologi generative AI.

Berawal dari proyek riset

Soal matematika yang sulit dipecahkan Donald Knuth ini muncul ketika ia menyiapkan materi untuk volume lanjutan dari buku algoritma klasiknya, yaitu The Art of Computer Programming.

Knuth meneliti siklus Hamilton pada graf berarah (directed Hamiltonian cycles). Ini merupakan salah satu topik yang menjadi bagian dari kajian teori graf dalam matematika kombinatorial yang ia pelajari dalam buku-bukunya.

Masalah ini pada dasarnya berkaitan dengan cara menyusun sebuah jalur dalam jaringan titik (graf). Jalur tersebut harus melewati setiap titik tepat satu kali, lalu kembali lagi ke titik awal.

Graf yang diteliti Knuth memiliki struktur yang cukup rumit. Jaringan ini terdiri dari sekitar m³ titik, dan dari setiap titik terdapat tiga kemungkinan arah jalur yang bisa dipilih.

Dicoba pakai AI

Soal tersebut kemudian dicoba dipecahkan oleh seorang peneliti bernama Flip Stappers.
Ia memasukkan deskripsi persoalan yang sedang dipelajari Knuth ke dalam model AI Claude Opus 4.6 untuk melihat apakah sistem tersebut dapat membantu menemukan pola.

Sebagaimana dihimpun KompasTekno dari makalah Claude's Cycles, AI Claude tidak langsung memberikan jawaban. Model AI ini terlebih dahulu mencoba merumuskan kembali inti permasalahan agar bisa dianalisis dengan lebih jelas.

Dalam prosesnya, Claude menguji tiga pendekatan berbeda. Mulai dari mencari pola dengan fungsi linear sederhana, mencoba penelusuran jalur secara brute force menggunakan metode DFS, hingga menganalisis kemungkinan pola menggunakan teknik simulated annealing.

Setelah melalui berbagai percobaan dan eksplorasi, Claude akhirnya menghasilkan solusi konkret dalam bentuk program Python yang diklaim valid. Meski begitu, hasil tersebut belum langsung dianggap sebagai solusi akhir.

Dalam penelitian matematika, pola atau solusi yang terlihat benar belum tentu langsung dianggap valid. Pola tersebut tetap harus dibuktikan secara formal agar bisa dipastikan berlaku untuk semua kemungkinan kasus.

Karena itu, Knuth meninjau kembali pola yang diusulkan oleh Claude dan memeriksanya secara matematis. Ia kemudian menyusun pembuktian untuk memastikan bahwa pola yang ditemukan AI tersebut memang benar dan dapat diterapkan dengan konsisten.

Setelah proses verifikasi selesai, Knuth merangkum seluruh temuan dan pembuktiannya dalam sebuah makalah berjudul Claude’s Cycles.

Dalam makalah tersebut, Knuth menjelaskan bahwa AI Claude membantunya menemukan "kunci" yang membuka jalan menuju solusi. Sementara pembuktian matematis secara lengkap tetap ia kerjakan sendiri.

Dapatkan update berita teknologi dan gadget pilihan setiap hari. Mari bergabung di Kanal WhatsApp KompasTekno. Caranya klik link https://whatsapp.com/channel/0029VaCVYKk89ine5YSjZh1a. Anda harus install aplikasi WhatsApp terlebih dulu di ponsel.

Tag: #saat #claude #bantu #matematikawan #menyelesaikan #soal #sulit