Kecerdasan buatan (AI) kembali mencetak pencapaian yang mengejutkan dunia sains. Kali ini bukan soal membuat gambar, menulis kode, atau menjawab pertanyaan, melainkan membantu menyelesaikan salah satu persoalan matematika yang telah membingungkan para peneliti selama hampir sembilan dekade.
Model AI Claude Fable 5 dari Anthropic dilaporkan berhasil menemukan counterexample (contoh tandingan) terhadap Jacobian Conjecture, sebuah dugaan matematika yang telah bertahan sejak tahun 1939. Jika temuan ini terus bertahan setelah melalui proses verifikasi komunitas matematika yang lebih luas, maka salah satu dugaan paling terkenal dalam aljabar akhirnya resmi terbukti tidak benar.
Temuan tersebut diumumkan oleh matematikawan Levent Alpöge, peneliti Anthropic yang juga memiliki latar belakang akademik dari Princeton dan Harvard. Melalui akun X miliknya pada pertengahan Juli 2026, Alpöge mengunggah sebuah fungsi polinomial yang hanya terdiri dari sekitar 216 karakter, namun cukup untuk menggugurkan dugaan yang telah bertahan selama 87 tahun.
Apa Itu Jacobian Conjecture?
Bagi orang awam, Jacobian Conjecture memang terdengar sangat teknis.
Secara sederhana, dugaan ini membahas pertanyaan berikut:
Jika sebuah fungsi polinomial selalu memiliki "perilaku lokal yang baik" (ditunjukkan melalui determinan Jacobian yang merupakan konstanta bukan nol), apakah fungsi tersebut pasti dapat dibalik menggunakan fungsi polinomial lain?
Bayangkan sebuah lembar karet bergambar kotak-kotak.
Jika lembar itu diregangkan, diputar, atau dibengkokkan tanpa robek maupun saling menumpuk, secara intuitif kita masih bisa mengembalikannya ke bentuk semula.
Jacobian Conjecture pada dasarnya mengatakan bahwa untuk jenis fungsi tertentu, proses "mengembalikan" itu seharusnya selalu mungkin dilakukan.
Masalahnya, selama puluhan tahun tidak ada yang berhasil membuktikan dugaan tersebut benar maupun menemukan contoh yang membantahnya.
Karena pentingnya persoalan ini, Jacobian Conjecture bahkan masuk dalam daftar persoalan matematika penting yang disusun matematikawan pemenang Fields Medal, Stephen Smale.
Apa yang Ditemukan Claude Fable 5?
Alih-alih membuktikan dugaan tersebut benar, Claude Fable 5 justru menemukan sesuatu yang jauh lebih mengejutkan.
AI tersebut menghasilkan sebuah fungsi polinomial tiga dimensi yang:
- memenuhi syarat determinan Jacobian konstan,
- tetapi ternyata tidak bersifat invertibel, atau tidak dapat dibalik.
Lebih spesifik lagi, fungsi tersebut memetakan tiga titik berbeda menjadi satu titik yang sama.
Dalam matematika, satu contoh seperti ini sudah cukup untuk menggugurkan dugaan yang menyatakan "selalu benar".
Artinya, bila contoh tandingan tersebut valid, maka Jacobian Conjecture memang salah, setidaknya untuk dimensi tiga dan lebih tinggi. Sementara kasus dua dimensi (n=2) hingga kini masih belum terselesaikan.
Mengapa Penemuan Ini Begitu Besar?
Yang membuat kabar ini begitu menarik bukan hanya karena masalahnya sudah berusia hampir satu abad.
Tetapi karena pelaku utamanya adalah model AI.
Menurut Alpöge, Claude Fable 5 digunakan sebagai mitra eksplorasi matematika. Model tersebut mampu menghasilkan berbagai kandidat fungsi, menguji sifat-sifatnya, memperbaiki pendekatan ketika menemui jalan buntu, lalu terus melakukan pencarian hingga menemukan kandidat yang akhirnya berhasil.
Kemampuan seperti ini sangat berbeda dibanding penggunaan chatbot biasa.
Alih-alih hanya menjawab pertanyaan, AI bekerja layaknya seorang peneliti yang:
- menyusun hipotesis,
- menjalankan eksperimen,
- memeriksa hasil,
- lalu mengubah strategi berdasarkan temuan sebelumnya.
Pendekatan tersebut memungkinkan AI mengeksplorasi ruang kemungkinan yang sangat besar dalam waktu jauh lebih singkat dibanding pencarian manual.
Apakah AI Menemukan Jawabannya Sendirian?
Tidak.
Inilah bagian yang sering disederhanakan dalam berbagai pemberitaan.
Claude Fable 5 bukan bekerja tanpa campur tangan manusia.
Levent Alpöge menjelaskan bahwa hasil yang diberikan AI kemudian diperiksa ulang secara manual menggunakan pembuktian matematika konvensional.
Beberapa matematikawan lain juga berhasil memverifikasi bahwa contoh tandingan tersebut memang memenuhi sifat yang diklaim. Namun demikian, proses peer review formal di jurnal ilmiah masih berlangsung, sebagaimana lazimnya setiap penemuan matematika besar.
Dengan kata lain, AI berperan sebagai kolaborator penelitian, bukan sebagai "hakim terakhir" yang otomatis menentukan kebenaran matematika.
Mengapa Verifikasi Relatif Cepat?
Dalam matematika terdapat ungkapan yang cukup terkenal:
"Sulit menemukan solusi, tetapi sering kali jauh lebih mudah memeriksa solusi."
Menemukan counterexample membutuhkan eksplorasi ruang kemungkinan yang sangat besar.
Namun setelah kandidat ditemukan, matematikawan lain tinggal memeriksa apakah:
- determinan Jacobiannya benar-benar konstan,
- fungsi tersebut memang tidak invertibel,
- dan seluruh perhitungan memenuhi definisi formal.
Karena itulah, proses pengecekan dapat berlangsung jauh lebih cepat dibanding proses pencarian awal.
Apakah Ini Berbahaya bagi Bitcoin?
Beberapa media sempat mengaitkan penemuan ini dengan keamanan Bitcoin sehingga memunculkan kekhawatiran di kalangan pengguna kripto.
Namun hubungan tersebut perlu dipahami secara hati-hati.
Bitcoin menggunakan sistem kriptografi berbasis Elliptic Curve Cryptography (ECC).
Sementara Jacobian Conjecture merupakan persoalan di bidang geometri aljabar mengenai fungsi polinomial.
Keduanya berada pada cabang matematika yang berbeda.
Hingga saat ini belum ada bukti teknis bahwa counterexample terhadap Jacobian Conjecture dapat digunakan untuk membobol Bitcoin maupun sistem kriptografi modern lainnya. Sebagian besar diskusi yang muncul lebih mencerminkan kekaguman terhadap kemampuan AI menyelesaikan persoalan matematika yang sulit daripada ancaman langsung terhadap keamanan aset digital.
Apa Arti Penemuan Ini bagi Dunia AI?
Banyak pakar menilai pencapaian ini sebagai salah satu tonggak penting dalam perkembangan AI untuk riset ilmiah.
Selama beberapa tahun terakhir, AI dikenal luas karena mampu:
- menulis artikel,
- membuat gambar,
- menghasilkan kode program,
- menerjemahkan bahasa,
- hingga membantu analisis data.
Kini AI mulai menunjukkan potensi baru sebagai alat bantu penemuan ilmiah.
Bukan berarti AI menggantikan ilmuwan.
Sebaliknya, AI dapat membantu mempercepat eksplorasi berbagai kemungkinan yang terlalu banyak jika harus diuji satu per satu oleh manusia.
Dalam konteks matematika, hal ini sangat berharga karena banyak dugaan terbuka yang membutuhkan pencarian pola di ruang kemungkinan yang sangat besar.
Bagaimana Respons Komunitas Matematika?
Respons awal komunitas matematika cenderung antusias sekaligus berhati-hati.
Banyak matematikawan menyebut temuan ini sebagai salah satu pencapaian AI paling penting dalam matematika hingga saat ini.
Namun mereka juga menekankan bahwa nilai sebenarnya bukan sekadar AI menemukan sebuah contoh tandingan, melainkan bagaimana metode tersebut dapat direplikasi untuk membantu memecahkan persoalan terbuka lainnya.
Di sisi lain, komunitas akademik tetap menjalankan proses ilmiah seperti biasa: hasil harus dapat diverifikasi secara independen, dipublikasikan, dan dikritisi sebelum benar-benar menjadi bagian dari pengetahuan matematika yang mapan.
Kesimpulan
Jika hasil ini terus bertahan setelah proses evaluasi ilmiah yang lebih luas, maka Jacobian Conjecture akan menjadi salah satu persoalan matematika klasik yang akhirnya terselesaikan—bukan melalui pembuktian bahwa dugaan itu benar, melainkan dengan menunjukkan bahwa dugaan tersebut salah melalui sebuah contoh tandingan.
Lebih dari sekadar kabar tentang satu rumus matematika, peristiwa ini menunjukkan perubahan besar dalam cara penelitian dilakukan. AI mulai bertransformasi dari alat produktivitas menjadi mitra ilmiah yang mampu membantu manusia menjelajahi ruang ide yang sebelumnya terlalu luas untuk ditelusuri sendirian.
Meski demikian, pencapaian ini tidak berarti AI telah "menggantikan" matematikawan. Penemuan tersebut tetap membutuhkan intuisi manusia, pemahaman teori yang mendalam, serta proses verifikasi independen. Yang berubah adalah cara manusia dan mesin kini dapat bekerja bersama untuk menyelesaikan persoalan yang selama puluhan tahun belum berhasil dipecahkan.