AI Anthropic Bantu Pecahkan Teka Teki Matematika Berusia 87 Tahun Sebuah dugaan matematika yang bertahan sejak 1939 akhirnya mendapat pukulan besar setelah model kecerdasan buatan milik Anthropic membantu menemukan contoh yang berlawanan. Temuan tersebut berkaitan dengan Jacobian Conjecture, salah satu persoalan terkenal dalam geometri aljabar yang selama puluhan tahun terus mengundang upaya pembuktian.
Model yang terlibat adalah Claude Fable 5. Kecerdasan buatan tersebut digunakan oleh matematikawan Levent Alpöge untuk mencari sebuah fungsi polinomial yang memenuhi syarat utama Jacobian Conjecture, tetapi tidak dapat dibalik. Hasil pencarian menghasilkan rumus yang relatif pendek dan dapat diperiksa melalui perhitungan langsung.
Alpöge mengumumkan temuannya pada 20 Juli 2026. Ia menyebut Akhil Mathew sebagai orang yang mengajukan pertanyaan, sedangkan Fable dikreditkan atas pekerjaan yang menghasilkan contoh tersebut. Dalam waktu singkat, matematikawan lain mulai memeriksa rumusnya dan menemukan bahwa perhitungannya sesuai.
Jacobian Conjecture Bertahan Sejak 1939
Jacobian Conjecture merupakan dugaan mengenai fungsi polinomial dalam banyak variabel. Persoalan ini pertama kali dikaitkan dengan matematikawan Jerman Ott Heinrich Keller pada 1939.
Secara sederhana, dugaan tersebut menyatakan bahwa sebuah fungsi polinomial seharusnya dapat dibalik menggunakan fungsi polinomial lain apabila determinan Jacobian dari fungsi awal selalu berupa bilangan konstan yang tidak nol.
Pernyataan itu terdengar singkat, tetapi pembuktiannya sangat sulit. Banyak matematikawan berusaha menunjukkan bahwa kondisi lokal yang baik akan menjamin sebuah fungsi bekerja secara baik pada seluruh ruang.
Jacobian sendiri merupakan susunan turunan yang menggambarkan perubahan keluaran ketika nilai masukan berubah. Determinannya dapat membantu menunjukkan apakah sebuah fungsi menekan ruang hingga kehilangan dimensi atau tetap mempertahankan struktur lokalnya.
Apabila determinan Jacobian bernilai nol, fungsi dapat melipat atau meratakan sebagian ruang. Informasi mengenai titik awal kemudian dapat hilang. Sebaliknya, nilai yang selalu tidak nol menunjukkan bahwa fungsi tersebut dapat dibalik pada wilayah kecil di sekitar setiap titik.
Persoalannya, kemampuan membalik fungsi di wilayah kecil belum tentu berlaku pada seluruh ruang. Jacobian Conjecture selama ini menyatakan bahwa fungsi polinomial dengan determinan konstan tidak nol akan mempunyai kebalikan polinomial secara menyeluruh.
Contoh Sederhana Membantu Memahami Persoalannya
Bayangkan sebuah peta dengan banyak titik koordinat. Sebuah fungsi digunakan untuk memindahkan setiap titik menuju tempat baru. Fungsi itu dapat memperbesar, memutar, atau mengubah susunan titik tanpa meratakan ruang di sekitar setiap titik.
Jacobian Conjecture memperkirakan bahwa selama perubahan lokalnya selalu terjaga, seharusnya tersedia rumus polinomial untuk mengembalikan seluruh titik ke lokasi awal.
Kesulitan muncul apabila dua atau lebih titik awal ternyata dikirim menuju lokasi yang sama. Ketika keadaan itu terjadi, proses pembalikan menjadi mustahil karena satu titik keluaran tidak memberikan informasi mengenai titik awal mana yang harus dipilih.
Contoh yang ditemukan dengan bantuan Fable menunjukkan keadaan tersebut. Rumusnya mempunyai determinan Jacobian konstan bernilai negatif dua. Namun, tiga titik masukan yang berbeda dikirim menuju satu titik keluaran yang sama.
Dengan kata lain, fungsi itu memenuhi syarat yang selama ini diperkirakan menjamin keterbalikan, tetapi ternyata tidak bersifat satu lawan satu. Karena tiga masukan menghasilkan keluaran identik, fungsi tersebut tidak memiliki kebalikan.
Menurut penulis, kekuatan temuan ini bukan terletak pada rumus yang sangat panjang, melainkan pada kemampuannya memperlihatkan kelemahan dugaan lama melalui contoh yang dapat diperiksa secara langsung.
Rumus 216 Karakter Menggugurkan Dugaan Besar
Alpöge membagikan rumus berupa tiga komponen polinomial dalam variabel x, y, dan z. Notasi lengkapnya hanya membutuhkan sekitar 216 karakter, jauh lebih pendek dibandingkan banyak pembuktian matematika tingkat tinggi.
Rumus tersebut mendefinisikan sebuah pemetaan dari ruang kompleks tiga dimensi menuju ruang kompleks tiga dimensi. Perhitungan turunannya menunjukkan determinan Jacobian selalu bernilai negatif dua, tidak bergantung pada nilai x, y, dan z.
Namun, tiga titik berbeda, yaitu titik pertama dengan koordinat nol, nol, dan negatif seperempat, serta dua titik lain dengan koordinat yang berbeda, seluruhnya menghasilkan keluaran yang sama.
Keadaan tersebut sudah cukup untuk membantah Jacobian Conjecture dalam tiga dimensi. Sebuah fungsi yang memberikan keluaran identik untuk tiga masukan tidak mungkin mempunyai fungsi pembalik yang sah.
Temuan itu juga berlaku untuk dimensi yang lebih tinggi. Para matematikawan dapat menambahkan koordinat yang tidak berubah pada rumus tersebut sehingga contoh serupa bekerja dalam empat, lima, atau lebih banyak dimensi.
Meski demikian, persoalan untuk fungsi dalam dua variabel masih belum selesai. Contoh Fable berada dalam tiga dimensi sehingga belum menjawab apakah bentuk khusus Jacobian Conjecture pada bidang dua dimensi benar atau salah.
Claude Fable 5 Tidak Bekerja Sendirian
Pemberitaan singkat dapat menimbulkan kesan bahwa sebuah AI menerima satu pertanyaan, lalu langsung menghasilkan jawaban tanpa bantuan manusia. Informasi yang tersedia belum mendukung gambaran sesederhana itu.
Akhil Mathew disebut mengusulkan pencarian contoh yang dapat membantah dugaan tersebut. Alpöge kemudian menggunakan Fable untuk mengerjakan pencarian. Setelah rumus ditemukan, manusia memeriksa hasil, menyampaikan pengumuman, dan menjelaskan kedudukannya dalam teori matematika.
Belum tersedia catatan lengkap mengenai semua instruksi yang diberikan kepada Fable. Tidak diketahui berapa banyak percobaan yang dilakukan, strategi apa yang dipakai, atau apakah manusia memberikan batasan bentuk rumus selama pencarian.
Abhishek Saha dari Queen Mary University of London menilai temuan tersebut sebagai salah satu peran terbesar AI dalam penyelesaian persoalan matematika terkenal. Ia juga menekankan bahwa menemukan contoh sangat berbeda dari memeriksanya. Rumus yang sudah tersedia relatif mudah diuji, sedangkan proses menemukannya membutuhkan pencarian yang jauh lebih rumit.
Peran manusia tetap sangat penting untuk memilih pertanyaan, mengenali nilai temuannya, menguji perhitungan, dan menghubungkan hasil dengan teori yang sudah ada. AI berfungsi sebagai rekan pencarian yang mampu menjelajahi kemungkinan dalam jumlah besar tanpa cepat menghentikan percobaan.
Siapa Levent Alpöge?
Levent Alpöge merupakan matematikawan yang bekerja di Anthropic dan juga tercatat sebagai junior fellow di Harvard Society of Fellows. Bidang penelitiannya mencakup teori bilangan, geometri aritmetika, serta persoalan mengenai titik rasional dan integral.
Ia memperoleh pendidikan matematika di Harvard, University of Cambridge, dan Princeton University. Disertasi doktoralnya membahas titik pada kurva, sebuah bidang yang berada pada pertemuan teori bilangan dan geometri aljabar.
Sebelum pengumuman mengenai Jacobian Conjecture, Alpöge telah menerbitkan penelitian bersama sejumlah matematikawan terkemuka. Salah satu hasilnya menunjukkan bahwa sebagian positif bilangan bulat dapat ditulis sebagai jumlah dua kubik rasional, sedangkan sebagian positif lainnya tidak dapat ditulis dengan cara tersebut.
Kedudukannya sebagai matematikawan sekaligus anggota tim Anthropic membuat Alpöge mempunyai pemahaman pada dua sisi. Ia mengetahui tingkat kesulitan persoalan matematika, sekaligus memahami cara menggunakan model AI untuk menjalankan pencarian panjang.
Claude Fable 5 Dirancang untuk Tugas Berkepanjangan
Anthropic memperkenalkan Claude Fable 5 pada Juni 2026 dan memperluas aksesnya pada awal Juli. Perusahaan menempatkan model tersebut sebagai sistem untuk proyek yang membutuhkan penalaran panjang, penggunaan alat, pengujian mandiri, serta pengerjaan dalam banyak tahap.
Fable 5 dapat bekerja melalui sistem agen yang menjalankan pekerjaan selama berjam jam atau beberapa hari. Model dapat menyusun rencana, membagi pekerjaan kepada agen lain, memeriksa hasil, lalu mengubah pendekatan ketika menemukan kesalahan.
Kemampuan tersebut awalnya banyak diperkenalkan untuk pengembangan perangkat lunak, penelitian, analisis dokumen, dan pekerjaan profesional. Namun, pencarian contoh matematika menunjukkan bahwa cara kerja serupa dapat digunakan untuk menjelajahi ruang rumus.
Dalam matematika, proses pencarian sering membutuhkan ribuan percobaan. Sebagian besar jalur berakhir buntu. Manusia cenderung menghentikan arah yang terlihat tidak menjanjikan, sedangkan sistem komputasi dapat terus mencoba perubahan kecil selama sumber daya masih tersedia.
Fable juga dapat menulis kode untuk memeriksa kandidat. Model dapat menghasilkan rumus, menghitung turunannya, memeriksa determinan, lalu mencari dua atau lebih titik yang mempunyai keluaran sama.
Pemeriksaan Manual Menunjukkan Rumusnya Konsisten
Temuan besar dalam matematika tidak dapat diterima hanya karena model AI menyatakannya benar. Setiap bagian harus dapat diperiksa oleh orang lain.
Dalam kasus ini, rumusnya mempunyai keunggulan karena pendek dan terbuka untuk pemeriksaan langsung. Matematikawan dapat menghitung matriks Jacobian, mencari determinannya, serta memasukkan tiga titik yang disebutkan.
Hasil perhitungan memperlihatkan determinan Jacobian memang selalu bernilai negatif dua. Ketiga titik berbeda juga benar benar dipetakan menuju koordinat negatif seperempat, nol, dan nol.
Beberapa matematikawan dilaporkan telah melakukan pemeriksaan dalam waktu singkat setelah pengumuman. Kevin Buzzard dari Imperial College London menyebut hasil tersebut telah diverifikasi pada pagi setelah unggahan Alpöge menyebar.
Paul Lezeau kemudian memformalkan contoh itu dalam Lean, perangkat lunak pembuktian matematika yang memeriksa setiap langkah berdasarkan aturan logika. Formalisasi tersebut diserahkan ke repositori Formal Conjectures milik Google DeepMind.
Verifikasi komputer berbeda dari sekadar meminta model bahasa menilai jawabannya sendiri. Lean membutuhkan pernyataan yang ditulis dalam bahasa formal dan hanya menerima langkah yang dapat diturunkan dari aturan serta teorema yang telah tersedia.
Publikasi Ilmiah Tetap Dibutuhkan
Walaupun rumusnya dapat diperiksa, pengumuman awal melalui media sosial bukan pengganti artikel ilmiah lengkap. Matematikawan tetap membutuhkan penjelasan mengenai cara contoh ditemukan, struktur di balik rumus, serta hubungannya dengan hasil penelitian terdahulu.
Sejumlah tulisan ilmiah mulai muncul segera setelah pengumuman. Sebuah makalah berjudul “A Counterexample to the Jacobian Conjecture” memberikan verifikasi aljabar, membahas struktur global pemetaan, dan mengembangkan keluarga contoh lain dari mekanisme yang sama.
Penelitian lain mengenai Gaussian Moments Conjecture juga menyebut contoh tiga dimensi Alpöge sebagai titik awal pencarian contoh tandingan baru. Hal ini menunjukkan bahwa satu rumus dapat memengaruhi persoalan lain yang sebelumnya dihubungkan dengan Jacobian Conjecture.
Proses penelaahan oleh komunitas tetap diperlukan, terutama untuk klaim lanjutan. Rumus dasarnya dapat diperiksa dengan cepat, tetapi penjelasan mengenai seluruh konsekuensi teoretis membutuhkan waktu lebih panjang.
Menurut penulis, sikap yang tepat bukan menolak temuan karena melibatkan AI atau menerimanya tanpa pemeriksaan. Nilainya justru terlihat ketika hasil mesin dapat dibuka, diuji, dan dikembangkan oleh peneliti lain.
Banyak Klaim Pembuktian Sebelumnya Berakhir Salah
Jacobian Conjecture dikenal sebagai persoalan yang telah menghasilkan banyak klaim pembuktian keliru. Kesalahannya sering tersembunyi dalam langkah yang terlihat masuk akal, tetapi tidak berlaku pada seluruh kasus.
MathWorld mencatat setidaknya lima pembuktian keliru pernah dipublikasikan, selain berbagai percobaan lain yang kemudian ditemukan memiliki kelemahan.
Riwayat tersebut menjelaskan mengapa matematikawan bersikap hati hati. Sebuah persoalan dengan pernyataan sederhana dapat menyimpan perilaku yang sangat rumit ketika jumlah variabel dan derajat polinomial meningkat.
Berbeda dari klaim pembuktian panjang, contoh tandingan lebih mudah diputuskan. Apabila satu fungsi memenuhi seluruh syarat tetapi melanggar hasil yang diperkirakan, dugaan umum langsung gugur.
Itulah alasan rumus Alpöge dan Fable mendapat perhatian besar. Para peneliti tidak harus menilai ratusan halaman argumen. Mereka cukup memeriksa determinan dan membuktikan bahwa beberapa masukan mempunyai keluaran identik.
Contoh Tandingan Mengubah Arah Penelitian
Selama puluhan tahun, banyak penelitian diarahkan untuk membuktikan Jacobian Conjecture. Para matematikawan mempelajari bentuk khusus fungsi, batas derajat, hubungan dengan teori operator, pohon kombinatorial, dan persoalan lain dalam aljabar.
Munculnya contoh tandingan membuat pertanyaan penelitian berubah. Fokus tidak lagi hanya mencari pembuktian umum, tetapi memahami mengapa contoh tersebut bekerja dan syarat tambahan apa yang dapat memulihkan hasil yang benar.
Salah satu syarat yang mendapat perhatian adalah properness. Secara sederhana, sifat ini mencegah titik yang bergerak sangat jauh menghasilkan keluaran yang tetap berada di wilayah terbatas.
Makalah lanjutan menunjukkan bahwa sebuah pemetaan polinomial dengan determinan Jacobian konstan dapat dibalik apabila memenuhi syarat properness. Contoh baru melanggar bagian global tersebut meskipun tetap mempunyai perilaku lokal yang baik.
Penelitian juga perlu menjawab apakah contoh sejenis dapat dibuat lebih sederhana, apakah ada bentuk dalam dua variabel, serta bagaimana struktur serat pemetaan yang membuat beberapa titik berkumpul pada keluaran sama.
AI Mulai Beralih dari Menjawab Soal ke Mencari Temuan
Kemampuan AI dalam matematika sebelumnya banyak dinilai melalui ujian dan kompetisi. Model diminta menyelesaikan soal yang jawabannya sudah diketahui, kemudian hasilnya dibandingkan dengan penyelesaian manusia.
Pencarian contoh untuk persoalan terbuka mempunyai tingkat berbeda. Jawaban tidak tersedia dalam kumpulan latihan, sehingga sistem harus menghasilkan objek baru yang memenuhi sekumpulan syarat.
Fable tidak hanya perlu membuat polinomial dengan determinan konstan. Sistem juga harus menemukan bukti bahwa polinomial tersebut tidak dapat dibalik. Kedua syarat harus muncul bersamaan pada satu rumus.
Kemampuan melakukan pencarian semacam ini membuka penggunaan AI sebagai rekan riset. Matematikawan dapat memberikan batasan, meminta model menjelajahi banyak kandidat, lalu memeriksa hasil yang terlihat menjanjikan.
Tetap ada risiko kesalahan. Model bahasa dapat menghasilkan perhitungan palsu, mengutip teorema yang tidak ada, atau menganggap pola numerik sebagai pembuktian. Karena itu, hasil AI harus diterjemahkan ke dalam perhitungan simbolik, kode pemeriksaan, atau sistem formal.
Kasus Ini Tidak Berarti Semua Teka Teki Akan Mudah Diselesaikan
Keberhasilan menemukan contoh tandingan tidak menunjukkan bahwa Claude dapat langsung menyelesaikan seluruh persoalan matematika terkenal. Setiap pertanyaan mempunyai bentuk kesulitan berbeda.
Beberapa persoalan membutuhkan satu contoh konkret. Persoalan lain menuntut pembuktian yang berlaku untuk jumlah objek tidak terbatas, pembangunan teori baru, atau hubungan rumit antara banyak bidang.
Fable juga bekerja bersama matematikawan yang mengetahui pertanyaan apa yang layak diajukan. Tanpa pemilihan sasaran dan penilaian manusia, model dapat menghabiskan sumber daya pada jutaan rumus yang tidak memberikan informasi penting.
Rincian proses pencarian juga belum diterbitkan secara lengkap. Komunitas belum mengetahui seberapa banyak arahan diberikan Alpöge, berapa lama model bekerja, berapa kandidat yang ditolak, dan alat komputasi apa saja yang digunakan.
Informasi tersebut penting agar peneliti lain dapat mengulang pendekatan serupa. Metode yang dapat direproduksi akan lebih berharga daripada keberhasilan satu kali yang sulit dijelaskan.
Persoalan Dua Variabel Kini Menjadi Sorotan
Contoh baru mengakhiri Jacobian Conjecture sebagai pernyataan untuk seluruh dimensi. Namun, bentuk dua dimensinya masih terbuka.
Pertanyaan yang tersisa adalah apakah fungsi polinomial dari bidang kompleks menuju bidang kompleks dengan determinan Jacobian konstan tidak nol selalu mempunyai kebalikan polinomial.
Para peneliti telah menghasilkan banyak hasil sebagian untuk kasus dua variabel. Dugaan tersebut diketahui benar untuk sejumlah bentuk polinomial dan batas derajat tertentu, tetapi belum ada pembuktian umum maupun contoh tandingan.
Keberhasilan Fable dalam tiga variabel kemungkinan mendorong pencarian yang lebih agresif pada bidang dua dimensi. Model dapat diminta menguji kelas fungsi tertentu, mencari pola kegagalan, atau membantu menemukan alasan mengapa mekanisme tiga dimensi tidak dapat dipindahkan secara langsung.
Temuan pada 20 Juli 2026 akhirnya membuka babak baru dalam penelitian Jacobian. Dugaan umum telah dipatahkan oleh contoh yang ringkas, tetapi pertanyaan tentang dua variabel, struktur contoh tandingan, dan syarat tambahan yang menjamin keterbalikan masih menjadi pekerjaan besar bagi matematikawan.
