Claude Fable 5 dan Dugaan Jacobian: Apa yang Dibuktikan dan Apa yang Tidak

Pada malam final Piala Dunia, sebagian besar orang menonton sepak bola. Sebuah sudut kecil internet menyaksikan sejarah matematika bergerak.

Peneliti Anthropic Levent Alpöge memposting pesan singkat di X. Ia mengatakan dugaan Jacobian itu salah. Ini adalah masalah yang tak terpecahkan sejak 1939. Ia memberi kredit kepada seorang kolega yang mengusulkan masalah tersebut. Ia memberi kredit kepada Claude Fable 5 karena mengerjakan selama pertandingan berlangsung.

Keesokan harinya, para matematikawan memeriksanya secara manual. Hasilnya tetap kokoh.

Namun "AI memecahkan masalah matematika berusia 87 tahun" adalah tajuk yang menyebar lebih cepat daripada detail di baliknya. Jadi mari kita perlambat. Apa yang sebenarnya baru di sini? Apa yang tidak? Dan bisakah Anda memeriksanya sendiri?

Bisa. Dalam sekitar lima belas baris Python. Kita akan sampai ke sana.

Jawaban Singkat

Claude Fable 5 membantu menyusun peta polinomial dari ruang kompleks tiga dimensi ke dirinya sendiri, ditulis ℂ³ → ℂ³. Determinan Jacobian-nya adalah konstanta -2 di mana-mana, yang persis kondisi dalam dugaan Keller tahun 1939, namun peta tersebut mengirim tiga titik masukan berbeda ke keluaran yang sama. Satu contoh itu saja membantah dugaan tersebut pada dimensi tiga dan di atasnya. Versi asli masalah dengan dua variabel masih terbuka, dan belum ada makalah yang ditelaah sejawat, hanya perhitungan terverifikasi dan sebuah pracetak.

Itu seluruh cerita dalam satu paragraf. Sisanya menjabarkan mengapa setiap klausa di dalamnya penting.

Apa Itu Dugaan Jacobian?

Bayangkan sebuah fungsi yang menerima daftar angka dan menghasilkan daftar baru. Ini adalah "peta" dari satu ruang ke ruang lain. Para matematikawan mengajukan pertanyaan sederhana tentang peta seperti ini: dapatkah Anda selalu bekerja mundur? Jika Anda mengetahui keluarannya, bisakah Anda memperoleh kembali masukan persis yang menghasilkannya?

Jika Anda pernah mengerjakan pembelajaran mesin, Anda sudah bertemu objek di pusat pertanyaan ini, mungkin tanpa dramanya. Jacobian adalah matriks turunan parsial sebuah peta: hal yang dikalikan oleh backpropagation di setiap lapisan. Normalizing flow juga membutuhkan determinannya untuk melacak bagaimana massa probabilitas meregang saat bergerak melalui jaringan. Matriks yang sama. Lingkungan berbeda.

Kalkulus memberi Anda uji lokal untuk keterbalikan yang dibangun tepat pada matriks ini: determinan Jacobian. Jika nilainya tak nol pada suatu titik, peta dapat dibalik di sekitar titik itu.

Namun di sekitar satu titik tidak sama dengan di mana-mana. Ini contoh paling bersih yang saya tahu, dan hanya perlu dua baris:

import numpy as np

f = lambda x, y: (np.exp(x) * np.cos(y), np.exp(x) * np.sin(y))

print(f(0, 0))              # (1.0, 0.0)
print(f(0, 2 * np.pi))      # (1.0, ~0.0) — same output, different input

Determinan Jacobian peta ini adalah e^²ˣ, yang tidak pernah nol. Ia lolos uji lokal di setiap titik pada bidang. Namun tetap tidak dapat dibalik, karena ia membungkus: dua jalan berbeda, rumah yang sama.

Perhatikan, bagaimanapun, bahwa contoh ini menggunakan eksponensial. Pada 1939, matematikawan Jerman Ott-Heinrich Keller bertanya apakah polinomial berperilaku lebih baik. Pertanyaannya: jika determinan Jacobian sebuah peta polinomial bukan sekadar tak nol di mana-mana, melainkan satu konstanta tetap di mana-mana, apakah itu akhirnya menjamin keterbalikan penuh, global?

Selama 87 tahun, tidak ada yang bisa menjawabnya. Tak ada bukti. Tak ada kontra-contoh juga. Itulah dugaan yang baru saja digerus oleh Claude Fable 5.

Apa yang Sebenarnya Ditemukan Claude Fable 5

Posting Alpöge menyertakan peta polinomial eksplisit dari ℂ³ kembali ke dirinya sendiri. Determinan Jacobiannya bernilai konstanta, -2, di setiap titik. Itulah kondisi persis Keller. Namun tiga titik berbeda masuk, dan ketiganya keluar sama.

Siapa pun dengan alat aljabar komputer dapat memasukkannya dan memeriksa. Itulah yang terjadi: para matematikawan menjalankan perhitungannya dalam hitungan jam, dan aritmetikanya cocok.

Karena kontra-contohnya hidup di tiga dimensi, ia juga meruntuhkan dugaan itu untuk setiap dimensi lebih tinggi. Ambil peta 3D, tambal dengan variabel tambahan yang tidak disentuh, dan Anda punya kontra-contoh yang berfungsi di empat dimensi, lima, atau seratus. Penambalan hanya bisa naik. Ia tidak bisa memeras kontra-contoh 3D menjadi dua variabel, itulah mengapa bagian terakhir artikel ini ada.

Periksa Sendiri di Python

Di sinilah sebuah kisah tentang AI terdepan menjadi latihan yang bisa Anda jalankan di notebook. Layak untuk dijalankan. Ada sesuatu yang menjernihkan saat melihat kontra-contoh itu bertahan dalam aritmetika eksak di mesin Anda sendiri. Anda hanya butuh sympy, tidak ada yang lain.

Pertama, definisikan petanya dan konfirmasikan determinannya:

import sympy as sp

x, y, z = sp.symbols("x y z")

# The map Claude Fable 5 helped construct, from C^3 to C^3
f1 = (1 + x * y) ** 3 * z + y**2 * (1 + x * y) * (4 + 3 * x * y)
f2 = y + 3 * x * (1 + x * y) ** 2 * z + 3 * x * y**2 * (4 + 3 * x * y)
f3 = 2 * x - 3 * x**2 * y - x**3 * z

# Keller's condition: the Jacobian determinant must be a nonzero constant
jacobian = sp.Matrix([f1, f2, f3]).jacobian([x, y, z])
print(sp.simplify(jacobian.det()))

-2

Bukan "kira-kira -2." Tepat -2, secara simbolik, untuk setiap titik di ℂ³. Satu syarat terpenuhi.

Sekarang tumbukannya. Saya menemukan tiga titik ini dengan meminta SymPy menyelesaikan F(v) = F(1, 1, 1). Posting asli Alpöge mencantumkan himpunan versinya sendiri, dan keduanya berfungsi:

s = sp.sqrt(53)

points = [
    (1, 1, 1),
    (sp.Rational(-1, 2) - 7 * s / 106, 25 - 3 * s, -134090 + 18420 * s),
    (sp.Rational(-1, 2) + 7 * s / 106, 25 + 3 * s, -134090 - 18420 * s),
]

for p in points:
    image = [sp.simplify(f.subs({x: p[0], y: p[1], z: p[2]}))
             for f in (f1, f2, f3)]
    print(image)

[22, 34, -2]
[22, 34, -2]
[22, 34, -2]

Tiga masukan yang benar-benar berbeda. Satu keluaran. Jika tiga masukan memberi satu jawaban, invers tidak mungkin ada, dan dugaan Keller gugur. Anda baru saja memverifikasi, dalam aritmetika eksak, perhitungan yang menyelesaikan masalah berusia 87 tahun.

Jika Anda melewatkan kodenya, berikut ringkasannya: kedua belah klaim, determinan konstan dan titik-titik yang bertumbukan, lolos verifikasi simbolik. Tidak perlu mempercayai floating point.

Tunggu, Bukankah Ini Sudah Pernah Dibantah?

Sebelum melangkah lebih jauh, ada baiknya membahas sesuatu yang mungkin Anda temui di balasan terhadap posting Alpöge, karena ada hasil yang lebih lama di bidang ini yang terus muncul dan perbedaannya penting.

Pada 1994, Sergey Pinchuk menemukan peta polinomial dua variabel bernilai real yang dapat dibalik secara lokal di mana-mana namun tidak dapat dibalik secara global. Ini konstruksi yang terkenal, dan menggoda untuk menganggap versi Fable 5 hanyalah gagasan itu yang diregangkan ke dimensi ketiga.

Bukan. Peta Pinchuk hanya memerlukan determinan Jacobian-nya tak nol. Nilainya boleh berubah dari titik ke titik, dan keseluruhannya hanya bekerja pada bilangan real. Itu menjawab pertanyaan yang lebih lemah, kadang disebut "dugaan Jacobian real kuat." Dugaan asli Keller meminta bilangan kompleks dan konstanta tetap, ambang yang konstruksi Pinchuk memang tidak dirancang untuk lolos. Para matematikawan telah mengetahui kesenjangan ini selama tiga dekade.

Mengapa bilangan kompleks menaikkan ambang? Secara kasar: pada bilangan real, sebuah polinomial bisa menghindari masalah dengan sekadar tak punya solusi real di titik-titik buruk. x² + 1 tidak pernah mencapai nol pada garis real, tetapi pada ℂ ia harus. Ruang kompleks tidak memberi peta tempat untuk bersembunyi, jadi lolos dari kondisi Keller di sana adalah tuntutan yang jauh lebih kuat. Peta eksponensial sebelumnya sudah mengisyaratkan hal ini, karena lilitan yang merusaknya merupakan fenomena bilangan kompleks yang kental.

Kedua hasil itu memang punya kemiripan keluarga. Keduanya mengeksploitasi celah antara dapat dibalik di setiap lingkungan dan dapat dibalik di seluruh ruang. Itu pertanda bagaimana matematika dibangun di atas dirinya sendiri, bukan bukti bahwa tak ada hal baru di sini.

Apa yang Masih Belum Tuntas

Kasus dua variabel masih terbuka. Ini adalah versi asli dan paling banyak dikaji dari dugaan tersebut, untuk peta dari bidang kembali ke dirinya sendiri, dan seperti disebutkan sebelumnya, berapa pun penambalan tidak akan menurunkan kontra-contoh 3D menjadi itu. Beberapa matematikawan menganggap kasus bidang sebagai masalah yang lebih sulit dan lebih sentral. Kini ia menjadi inti dugaan yang masih bertahan, bukan versi lebih kecil dari yang baru saja diselesaikan.

Ini juga belum melalui telaah sejawat. Saat ini ini adalah perhitungan terverifikasi dan sebuah pracetak, bukan makalah yang ditelaah wasit. Karena semuanya mereduksi ke dua komputasi yang baru saja Anda jalankan, verifikasi mungkin bukan titik sandungannya, tetapi catatan harus menyebutkan apa adanya.

Ada celah yang lebih dalam juga. Belum ada yang bisa sepenuhnya menjelaskan mengapa kontra-contoh itu bekerja. Pemeriksaan simbolik menegaskan tumbukan itu nyata; ia tidak memberikan cerita di baliknya, jenis penjelasan yang bisa dibangun ulang seorang matematikawan dari nol. Akhil Mathew, matematikawan University of Chicago yang mengusulkan masalah ini, mengatakannya dengan baik: Anda bisa memverifikasi jawabannya, tapi akan lebih baik jika ada cerita yang bisa diceritakan.

Proses penemuannya sendiri tetap agak samar. Manusia mengajukan pertanyaan, AI mengerjakan, manusia mengumumkan hasilnya. Garis kredit itu tidak menampilkan prompt, awal yang keliru, atau seberapa banyak pengarahan yang terjadi sepanjang jalan. Itu adalah pertanyaan nyata tentang bagaimana bukti berbantuan AI diberi kredit, dan terpisah dari apakah matematikanya kokoh. Kokoh.

Pemikiran Akhir

Matematikanya nyata. Sebuah dugaan yang terbuka selama puluhan tahun kini memiliki celah sungguhan untuk dimensi tiga ke atas, dikonfirmasi secara independen dengan alat standar, dan itu bukan daur ulang hasil Pinchuk tahun 1994. Yang bukan adalah penyelesaian penuh dari "dugaan Jacobian." Kasus bidang masih berdiri, dan hasil ini hadir tanpa jenis penjelasan yang biasanya dijunjung tinggi dalam matematika sama pentingnya dengan jawabannya sendiri.

Ini juga bagian dari sebuah pola. Model-model terdepan telah mengikis masalah terbuka lama sepanjang 2026, baik dalam kombinatorika maupun teori bilangan. Bacalah ini sebagai satu titik data lagi dalam tren tersebut, bukan kasus tunggal.

Bagi siapa pun yang belajar bekerja dengan AI pada masalah teknis, pelajarannya bukan "AI sudah bisa melakukan riset matematika sekarang." Lebih sempit: model-model ini makin mahir menghasilkan objek konkret di domain yang keberhasilannya memiliki verifier eksak, dan seperti yang Anda lihat di atas, Anda bisa menjadi verifier itu dengan pip install sympy. Generasi melaju kencang. Verifikasi mengejar. Pemahaman masih perlu menyusul.

Aljabar linear dan Python simbolik adalah dua keterampilan yang layak dibangun di sini: determinan, keterbalikan, dan kebiasaan memeriksa klaim dalam aritmetika eksak alih-alih mempercayainya begitu saja. Lain kali hasil seperti ini muncul, Anda akan siap menjalankan pemeriksaannya sendiri sebelum hari berakhir.