Claude Fable 5 Pecahkan Jacobian Conjecture

Dunia matematika diguncang oleh pencapaian mengejutkan: Claude Fable 5, model kecerdasan buatan terbaru besutan Anthropic, berhasil memecahkan teka-teki matematika yang telah menantang para ilmuwan selama 87 tahun. AI tersebut menemukan contoh tandingan yang membuktikan bahwa Jacobian Conjecture—dugaan matematika klasik yang diajukan sejak 1939—ternyata keliru. Temuan ini bukan sekadar pencapaian teknis, melainkan bukti bahwa AI kini mampu berkontribusi dalam riset sains tingkat tinggi, melampaui perannya sebagai penghasil teks atau kode program.

Dugaan 87 Tahun yang Akhirnya Terbantahkan

Jacobian Conjecture merupakan salah satu persoalan terbuka paling terkenal dalam matematika modern. Dugaan ini masuk dalam daftar persoalan penting abad ke-20 yang disusun oleh matematikawan Stephen Smale. Secara sederhana, dugaan ini menanyakan apakah suatu fungsi matematika selalu dapat dijalankan secara terbalik—sehingga nilai awalnya bisa diketahui kembali—asalkan memenuhi syarat tertentu pada Jacobian determinant. Selama hampir sembilan dekade, tidak ada matematikawan yang mampu membuktikan dugaan ini benar, apalagi menemukan contoh yang membantahnya.

Nah, Claude Fable 5 justru menemukan fungsi yang memenuhi syarat Jacobian, tetapi tidak dapat dibalik. Contoh tandingan yang ditemukan AI ini beroperasi pada tiga dimensi dan menggunakan polinomial berderajat tujuh. Menariknya, fungsi tersebut menghasilkan keluaran yang sama dari tiga masukan berbeda—kondisi yang membuat fungsi mustahil dijalankan secara terbalik. Satu contoh tandingan seperti ini sudah cukup untuk membuktikan bahwa dugaan tersebut keliru, setidaknya untuk kasus tiga dimensi dan dimensi lebih tinggi. Sementara itu, status dugaan untuk kasus dua dimensi masih terbuka, sedangkan pembuktian untuk satu dimensi telah tuntas sejak lama.

Verifikasi Manual dalam Sehari

Temuan revolusioner ini diumumkan oleh Levent Alpoge, matematikawan sekaligus peneliti di Anthropic, melalui platform X (dahulu Twitter). Menurut Alpoge, solusi yang dihasilkan Claude Fable 5 berhasil diverifikasi secara manual olehnya bersama rekan-rekannya dalam waktu sekitar satu hari. Hal ini penting karena bukti yang dihasilkan AI tidak langsung diterima begitu saja—matematikawan lain dapat memeriksa hasilnya menggunakan metode konvensional yang sudah mapan. Dengan kata lain, temuan ini bukan sekadar output AI yang sulit dipahami, melainkan kontribusi nyata yang dapat diuji dan divalidasi oleh komunitas ilmiah secara independen.

Lebih lanjut, matematikawan ternama Terence Tao turut menganalisis contoh tandingan tersebut melalui blog pribadinya. Tao bahkan menggunakan ChatGPT untuk mendiskusikan konsep geometri yang terkait, lalu mereformulasi masalah menggunakan varietas afin guna mengurangi kesan “keajaiban matematis” dari temuan AI. Pendekatan ini menunjukkan bagaimana AI dan manusia dapat berkolaborasi: AI menemukan solusi yang tampak mustahil, sementara matematikawan manusia menyediakan konteks geometris dan validasi yang lebih mendalam.

Tonggak Baru Peran AI dalam Sains

Pencapaian Claude Fable 5 ini menjadi salah satu contoh paling jelas bahwa AI mulai mampu berkontribusi dalam penelitian ilmiah tingkat tinggi. Peran AI tidak lagi terbatas pada tugas-tugas rutin seperti menghasilkan teks, membuat kode, atau mengolah data—kini AI dapat menemukan ide matematika baru yang kemudian dapat diuji, dibuktikan, dan dikembangkan lebih lanjut oleh para peneliti. Meski demikian, verifikasi manusia tetap menjadi tahap krusial: tanpa validasi manual dari Alpoge dan rekan-rekannya, temuan AI ini tidak akan diakui oleh komunitas matematika.

Dengan terbantahkannya Jacobian Conjecture pada tiga dimensi dan lebih tinggi, sebuah bab baru dalam matematika dan kolaborasi manusia-AI telah dibuka. Temuan ini tidak hanya mengakhiri pencarian selama hampir satu abad, tetapi juga menandai era di mana mesin dan manusia bekerja bahu-membahu untuk memecahkan misteri sains yang paling rumit sekalipun.