Kejutan Piala Dunia: Ahli Matematik Gunakan AI untuk Patahkan Konjektur Jacobian

Bagaimana Levent Alpöge Menggunakan Claude Fable 5

Pada malam 19–20 Julai 2026, semasa menonton perlawanan akhir Piala Dunia Kelab FIFA, ahli matematik Levent Alpöge — seorang ahli teori nombor yang bekerja di Anthropic selepas memegang Jawatan Felo Muda di Persatuan Felo Harvard — ditanya tentang Konjektur Jacobian oleh seorang rakan bernama Akhil Mathew . Alpöge meminta model Claude Fable 5 Anthropic untuk menyelesaikan masalah tersebut. Model itu mengembalikan peta polinomial 216 aksara yang konkrit .

Alpöge menyiarkan hasilnya di X pada 19 Julai 2026, dengan menulis: "halo konjektur jacobian adalah palsu terima kasih kepada rakan karib saya akhil kerana bertanya tentangnya dan rakan karib saya yang lain fable kerana bekerja semasa perlawanan akhir piala dunia" .

Contoh Balas Spesifik

Contoh balas adalah peta polinomial F: ℂ³ → ℂ³ yang ditakrifkan 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 sifat utama berlaku :

• Penentu Jacobian: det Jac F = −2 (pemalar bukan sifar), jadi F adalah peta Keller.
• Bukan injektif: Tiga titik input yang berbeza semuanya memetakan ke output yang sama (-1/4, 0, 0):
  • (0, 0, -1/4)
  • (1, -3/2, 13/2)
  • (-1, 3/2, 13/2)

Oleh kerana peta bukan injektif tidak boleh mempunyai songsangan polinomial (atau apa-apa), F bercanggah dengan Konjektur Jacobian. Pembinaan ini berfungsi di atas mana-mana medan bercirikan sifar kerana semua pekali dan titik saksi adalah rasional .

Pracetakan bersama (bertarikh 20 Julai 2026) menyediakan pengesahan algebra penuh, menentukan geometri global F, dan membuktikan bahawa set tidak wajar F adalah permukaan hiper — mekanisme yang menyebabkan peta gagal menjadi automorfisma polinomial . Kertas kerja itu juga membina keluarga tak terhingga contoh balas sedemikian .

Status Kes Dua Pembolehubah

Konjektur Jacobian untuk n = 2 (dua pemboleh ubah kompleks) kekal sebagai masalah terbuka setakat Julai 2026. Contoh balas hanya menyangkal konjektur untuk dimensi n ≥ 3 .

Status Semasa Pengesahan dan Semakan Rakan Sebaya

Setakat 22 Julai 2026, berikut adalah yang diketahui:

• Sah dari segi matematik: Contoh balas adalah eksplisit dan boleh diperiksa secara mekanikal. Ahli matematik mengambilnya dengan serius . Pengesahan formal dalam Lean 4 telah dihasilkan dan lulus binaan integrasi berterusan .
• Belum ada penerbitan semakan rakan sebaya: Tiada kertas kerja semakan rakan sebaya atau pracetakan arXiv yang diterbitkan setakat laporan terkini . Bahan tersebut wujud sebagai siaran media sosial dan PDF pendamping di ulam.ai, tetapi belum melalui semakan jurnal rasmi.
• Wikipedia telah dikemas kini: Entri Wikipedia untuk Konjektur Jacobian kini menyenaraikan contoh balas sebagai menyangkal konjektur untuk N > 2 .
• Penilaian komuniti: Konsensus di kalangan pengulas adalah bahawa matematik hampir pasti betul, tetapi penerimaan rasmi dan petikan dalam rekod rasmi masih belum selesai setakat tarikh ini . Hasilnya dikreditkan kepada kerjasama manusia–AI, bukan kepada Claude bertindak sendirian .

Kesimpulan: Konjektur Jacobian nampaknya benar-benar palsu dalam dimensi ≥ 3. Kes dua pembolehubah masih terbuka. Contoh balas adalah kukuh dari segi matematik dan telah disahkan secara bebas, tetapi masih belum melengkapkan semakan rakan sebaya rasmi.