Model kecerdasan buatan (Artificial Intelligence) terbaru garapan Anthropic, Claude Fable 5, berhasil menorehkan sejarah baru di dunia sains dengan memecahkan teka-teki matematika yang telah membingungkan para ilmuwan selama 87 tahun.
AI ini menemukan sebuah contoh tandingan (counterexample) yang membuktikan bahwa Jacobian Conjecture—sebuah dugaan matematika terkemuka yang diajukan sejak tahun 1939—ternyata tidak benar.
Bagi kamu yang mengikuti perkembangan teknologi AI tahun 2026 ini, kemampuan model bahasa besar (Large Language Model) biasanya identik dengan tugas-tugas generatif seperti membuat teks, menerjemahkan bahasa, atau membantu mengetik kode program (coding).
Namun, temuan terbaru ini membuktikan bahwa batas kemampuan AI telah melompati batas baru.
AI kini tidak lagi sekadar meniru pola kalimat manusia, melainkan mulai mampu melakukan penalar sains tingkat tinggi (pure mathematical reasoning) untuk menemukan ide-ide baru yang gagal ditemukan oleh otak manusia selama hampir satu abad.
Yuk, kita bedah bagaimana AI ini meruntuhkan dugaan matematika klasik tersebut!
Apa Itu Jacobian Conjecture?
Jacobian Conjecture merupakan salah satu persoalan matematika klasik paling terkenal di abad ke-20 yang pertama kali diajukan oleh matematikawan Ott-Heinrich Keller pada tahun 1939, serta masuk dalam daftar persoalan penting dunia yang dirumuskan oleh matematikawan Stephen Smale.
Sederhananya, dugaan ini menanyakan apakah suatu fungsi polinomial multivariabel selalu bisa dijalankan secara terbalik (invertible) sehingga nilai input awalnya dapat diketahui kembali secara pasti, asalkan memenuhi syarat turunan matriks Jacobi (determinan Jacobian konstan dan tidak nol).
Dalam notasi matematika formal, matriks Jacobi dinotasikan dengan J(f) di mana determinannya memenuhi:
det(J(f)) = c (c ≠ 0)
Selama 87 tahun, para matematikawan terbaik di dunia tidak pernah berhasil membuktikan apakah dugaan ini 100 persen benar, atau menemukan satu pun contoh fungsi matematika yang mampu membantahnya.
Bagaimana Claude Fable 5 Menemukan Contoh Tandingan?
Secara mengejutkan, sistem penalaran Claude Fable 5 justru berhasil mengonstruksi sebuah fungsi polinomial khusus yang memenuhi syarat determinan Jacobian konstan, tetapi fungsi tersebut tidak dapat dibalik.
AI menemukan bahwa fungsi tersebut menghasilkan output yang sama dari tiga input yang berbeda.
Dalam kaidah dasar matematika, jika beberapa nilai masukan (input) yang berbeda menghasilkan keluaran (output) yang identik, maka fungsi tersebut secara mutlak tidak mungkin bisa dijalankan secara terbalik (non-injective).
Satu contoh tandingan sah seperti ini sudah lebih dari cukup untuk meruntuhkan keabsahan dugaan tersebut secara matematis.
Pengumuman penemuan besar ini disampaikan langsung oleh seorang matematikawan sekaligus peneliti terkemuka di Anthropic, Levent Alpoge, melalui media sosial X.
Menurut Alpoge, solusi dan persamaan fungsi yang dihasilkan oleh Claude Fable 5 berhasil diverifikasi kebenarannya secara manual oleh dia dan rekannya hanya dalam waktu sekitar satu hari.
Era Baru AI dalam Penelitian Sains Murni
Pencapaian yang ditunjukkan oleh Claude Fable 5 ini menandai pergeseran paradigma yang sangat masif di dunia penelitian ilmiah. Hasil kerja AI ini tidak bersifat black box atau gaib, melainkan menghasilkan pembuktian logis yang dapat diperiksa menggunakan metode matematika konvensional.
Artinya, matematikawan lain dari berbagai belahan dunia dapat memverifikasi dan menguji ulang persamaan hasil temuan AI tersebut secara independen.
Kolaborasi antara kecerdasan buatan sebagai mesin pencari hipotesis dan manusia sebagai verifikator akhir diperkirakan akan mempercepat penemuan riset-riset sains dasar di masa depan.
FAQ
Q: Apakah bukti matematika yang ditemukan oleh Claude Fable 5 sudah diakui sah?
A: Ya, contoh tandingan yang ditemukan oleh AI ini telah diverifikasi secara manual menggunakan metode kalkulus dan aljabar konvensional oleh peneliti Anthropic dan terbuka untuk diuji oleh komunitas matematikawan global.
Q: Siapa nama peneliti yang pertama kali mempublikasikan temuan Claude Fable 5 ini?
A: Temuan ini pertama kali dipublikasikan oleh Levent Alpoge, seorang matematikawan dan peneliti AI di Anthropic.
Q: Mengapa penemuan contoh tandingan (counterexample) sudah cukup untuk membatalkan teori matematika?
A: Karena dalam logika matematika murni, sebuah dugaan umum dinyatakan gugur jika ada setidaknya satu kasus atau fungsi yang terbukti melanggar aturan dari dugaan tersebut.
Kesimpulannya, penemuan Claude Fable 5 ini menjadi bukti nyata bahwa peran AI di era modern tidak lagi terbatas pada otomatisasi pekerjaan rutin, melainkan telah menjadi rekan berpikir kreatif yang mampu menembus batas-batas sains yang sebelumnya tak tersentuh oleh manusia.
Penasaran dengan berita perkembangan AI terbaru, riset sains masa depan, dan trivia teknologi menarik lainnya?
Jangan lupa untuk terus pantau artikel terbaru kita di Dafunda Tekno ya, biar kamu gak ketinggalan berita seru berikutnya! Menurut kamu, setelah ini masalah sains besar apa lagi nih yang bakal dipecahkan oleh kecerdasan buatan? Tulis di kolom komentar, yuk!
Bales ke