AI Berhasil Memecahkan Dua Masalah Matematika Murni di 2026: Bukti Mesin Kini Bisa Menemukan Rumus Baru

Claude Fable 5 Milik Anthropic Menemukan Contoh Tandingan untuk Konjektur Jacobian (Juli 2026)

Pada 19 Juli 2026, matematikawan Levent Alpöge, seorang peneliti di Anthropic, mengumumkan di X bahwa ia menggunakan model Claude Fable 5 milik Anthropic untuk menemukan contoh tandingan terhadap konjektur Jacobian—sebuah masalah terbuka berusia 87 tahun dalam geometri aljabar yang pertama kali diajukan oleh Ott-Heinrich Keller pada tahun 1939 . Konjektur ini, yang menempati peringkat ke-16 dalam daftar masalah untuk abad berikutnya yang dibuat oleh peraih medali Fields Stephen Smale pada tahun 1998, menyatakan bahwa peta polinomial dari C^n ke C^n dengan determinan Jacobian bukan nol yang konstan harus dapat dibalik secara global .

Contoh tandingannya berupa peta polinomial sepanjang 216 karakter yang sangat ringkas dari C³ ke C³ dengan determinan Jacobian yang identik dengan -2, namun peta ini mengirimkan tiga input berbeda ke output yang sama, sehingga membantah sifat dapat dibalik secara global . Dalam hitungan jam setelah unggahan Alpöge, matematikawan di seluruh dunia secara mandiri memverifikasi hasilnya, dan verifikasi formal pada asisten pembuktian Lean selesai dalam waktu kurang dari 24 jam .

Matematikawan terkemuka seperti Terence Tao dan Timothy Gowers memuji hasil ini . Tao menerbitkan analisis geometris dari contoh tandingan tersebut, dan verifikasinya dikonfirmasi secara luas di komunitas matematika . Versi dua dimensi dari konjektur ini masih tetap terbuka .

Apa Arti Hasil Ini bagi Masa Depan Matematika

AI Kini Mampu Menghasilkan Bukti yang Benar-Benar Baru

Kedua terobosan ini melibatkan lompatan konseptual yang mendalam, bukan sekadar bantuan komputasi. Sanggahan jarak-unit membutuhkan AI untuk menghubungkan teori bilangan aljabar dengan geometri kombinatorial—sebuah koneksi yang belum pernah dibuat oleh matematikawan manusia sebelumnya . Contoh tandingan Jacobian membutuhkan pembuatan peta polinomial yang rumit dengan sifat aljabar yang spesifik .

Model Kemitraan Manusia–AI Terbukti Sangat Kuat

Hasil-hasil ini mengarah pada masa depan di mana AI bertindak sebagai kolaborator kreatif, bukan sebagai pengganti. Dalam kasus Jacobian, seorang matematikawan terampil mengarahkan AI dan mengenali signifikansi dari keluarannya . Dalam kasus OpenAI, model bekerja lebih otonom tetapi tetap membutuhkan verifikasi manusia . Model kemitraan ini memungkinkan AI untuk menjelajahi ruang pencarian yang sangat luas yang tidak dapat dilalui manusia secara efisien, sementara manusia menyediakan intuisi, penilaian, dan verifikasi.

Langkahnya Terus Bertambah Cepat

OpenAI kemudian mengumumkan pada bulan Agustus 2026 bahwa model penalaran internal yang sama telah menghasilkan kemajuan pada 10 masalah besar dalam matematika dan ilmu komputer teoretis, yang mencakup geometri berdimensi tinggi, teori pengkodean, teori grup, aljabar operator, kompleksitas kuantum, kriptografi kisi, dan kombinatorika ekstrem . Para pengamat menggambarkan ini sebagai "era keemasan baru" matematika yang didorong oleh AI .

Peringatan Penting Tetap Ada

Contoh tandingan Jacobian hanya berlaku pada dimensi 3 dan seterusnya—konjektur aslinya masih tetap terbuka pada dimensi 2 . Beberapa hasil belum sepenuhnya melalui tinjauan sejawat secara tradisional, dan tidak semua klaim telah dipublikasikan sepenuhnya . Namun arah keseluruhannya sudah jelas: AI telah melewati ambang batas dari asisten matematika menjadi penemu matematika, dan perannya dalam riset kemungkinan akan berkembang pesat.

Gambaran yang Lebih Besar

Terobosan di tahun 2026 ini mengikuti kemajuan pesat dalam kemampuan matematika AI. Pada Juli 2025, model AI pertama kali memecahkan lima dari enam soal di Olimpiade Matematika Internasional . Pada awal 2026, model-model AI telah mencapai standar medali emas di Olimpiade Matematika Internasional . Kini, AI mulai menghasilkan hasil di garis depan riset—memecahkan masalah yang pernah menentukan karier seseorang.

Seperti yang dicatat oleh matematikawan Terence Tao, hasil Jacobian merupakan tonggak sejarah dalam kolaborasi manusia-AI . Model tersebut tidak bekerja sendirian, tetapi kemitraan ini menghasilkan sesuatu yang tidak dapat dicapai oleh manusia atau mesin secara independen. Model itulah—intuisi manusia yang dipandu oleh eksplorasi AI, diverifikasi oleh asisten pembuktian formal—yang mungkin akan menentukan masa depan penemuan matematika.