Konjektur Jacobian Terbantahkan: Polinomial 216 Karakter dari Claude Fable 5 Bikin Heboh

Konjektur Jacobian

Konjektur Jacobian adalah masalah sentral dalam aljabar geometri yang pertama kali dinyatakan untuk dua variabel oleh Ludwig Kraus pada tahun 1884 dan digeneralisasi ke N variabel oleh Ott-Heinrich Keller pada tahun 1939 . Konjektur ini menyatakan bahwa jika sebuah fungsi polinomial F: ℂⁿ → ℂⁿ memiliki determinan Jacobian (determinan dari matriks turunan parsialnya) yang merupakan konstanta bukan nol di mana-mana, maka F haruslah sebuah automorfisma polinomial—artinya, F memiliki invers polinomial dan bersifat bijektif . Peta semacam itu disebut peta Keller. Konjektur ini menempati peringkat ke-16 dalam daftar 18 Masalah Matematika untuk Abad Berikutnya yang disusun Stephen Smale pada tahun 1998, dan terkenal karena sering menarik bukti-bukti yang cacat .

Bagaimana Levent Alpöge Menggunakan Claude Fable 5

Pada malam 19–20 Juli 2026, saat menonton final Piala Dunia Antarklub FIFA, matematikawan Levent Alpöge—seorang ahli teori bilangan yang bekerja di Anthropic setelah menjabat sebagai Junior Fellow di Harvard Society of Fellows—ditanyai tentang konjektur Jacobian oleh seorang teman bernama Akhil Mathew . Alpöge kemudian meminta model Claude Fable 5 milik Anthropic untuk mengerjakan masalah tersebut. Model tersebut mengembalikan sebuah peta polinomial konkret sepanjang 216 karakter yang memenuhi syarat memiliki determinan Jacobian bukan nol namun tidak injektif, sehingga melanggar kesimpulan konjektur .

Alpöge mengumumkan hasilnya di X pada 19 Juli 2026 dengan menulis: "hello there the jacobian conjecture is false thanx to my close friend akhil for asking about it and my other close friend fable for working during the world cup final" .

Contoh Penyangkal Spesifik

Contoh penyangkalnya adalah peta polinomial F: ℂ³ → ℂ³ yang didefinisikan secara eksplisit sebagai :

P(x, y, z) = (1 + xy)³z + y²(1 + xy)(4 + 3xy)
Q(x, y, z) = y + 3x(1 + xy)²z + 3xy²(4 + 3xy)
R(x, y, z) = 2x − 3x²y − x³z

Dua properti kunci yang terpenuhi :

• Determinan Jacobian: det Jac F = −2 (sebuah konstanta bukan nol), sehingga F adalah peta Keller.
• Non-injektivitas: Tiga titik input berbeda semuanya memetakan ke output yang sama (-1/4, 0, 0):
  • (0, 0, -1/4)
  • (1, -3/2, 13/2)
  • (-1, 3/2, 13/2)

Karena peta yang tidak injektif tidak mungkin memiliki invers polinomial (atau invers apa pun), F bertentangan dengan konjektur Jacobian. Konstruksi ini berlaku di semua bidang berciri nol karena semua koefisien dan titik saksi bersifat rasional .

Sebuah pratinjau pendamping (tertanggal 20 Juli 2026) memberikan verifikasi aljabar lengkap, menentukan geometri global F, dan membuktikan bahwa himpunan ketidakproperan F adalah sebuah hypersurface—mekanisme yang menyebabkan peta gagal menjadi automorfisma polinomial . Makalah tersebut lebih lanjut mengonstruksi keluarga tak terhingga dari contoh penyangkal serupa .

Status Kasus Dua Variabel

Konjektur Jacobian untuk n = 2 (dua variabel kompleks) tetap menjadi masalah terbuka hingga Juli 2026. Contoh penyangkal hanya membantah konjektur untuk dimensi n ≥ 3 .

Status Verifikasi dan Peer Review Saat Ini

Hingga 22 Juli 2026, berikut yang diketahui:

• Kredibel secara matematis: Contoh penyangkal bersifat eksplisit dan dapat diperiksa secara mekanis. Para matematikawan menanggapinya dengan serius . Sebuah verifikasi formal dalam Lean 4 telah diproduksi dan lolos uji integrasi berkelanjutan .
• Belum ada publikasi peer review: Belum ada makalah peer review atau pratinjau arXiv yang diterbitkan hingga laporan terbaru . Materi tersebut masih berupa unggahan media sosial dan PDF pendamping di ulam.ai, tetapi belum melalui proses review jurnal formal.
• Wikipedia telah diperbarui: Entri Wikipedia untuk Konjektur Jacobian kini mencantumkan contoh penyangkal sebagai bantahan konjektur untuk N > 2 .
• Penilaian komunitas: Konsensus di antara para komentator adalah bahwa matematikanya hampir pasti benar, tetapi penerimaan formal dan sitasi dalam catatan resmi masih menunggu hingga tanggal ini . Hasil ini dikreditkan sebagai kolaborasi manusia–AI, bukan semata-mata kerja Claude .

Intinya: Konjektur Jacobian tampaknya benar-benar salah untuk dimensi ≥ 3. Kasus dua variabel tetap terbuka. Contoh penyangkalnya kuat secara matematis dan telah diverifikasi secara independen, namun belum menyelesaikan peer review formal.