Baru saja, komunitas matematika heboh.
Sebuah dugaan inti yang telah menyiksa matematikawan top global selama 22 tahun, ternyata diselesaikan oleh seorang dokter bedah saraf di Rumah Sakit Xiehe?
Dia, yang belajar matematika secara otodidak, menggunakan ChatGPT 5.6 berjalan mandiri selama 16 jam, mengakhiri misteri matematika berusia 22 tahun ini. Ini sungguh luar biasa.
30 Juli 2026, Profesor Alex Townsend dari Departemen Matematika Terapan Universitas Washington, AS, seperti biasa, membuka arXiv.
Pada tahun sebelumnya, Townsend hampir membentuk kebiasaan seperti gangguan obsesif-kompulsif: Dia secara berkala bertanya kepada GPT 5.6, mencoba membuatnya membuktikan misteri terkenal di bidang aljabar linier numerik—Dugaan Crouzeix.
Dalam ratusan percobaan sebelumnya, jawaban yang diberikan AI biasanya penuh lubang logika, atau macet ketika mencoba melompati lemma kunci tertentu. Manusia telah membentur tembok selama 22 tahun penuh di hadapan dugaan ini, AI tampaknya tidak lebih pintar dari manusia.
Namun, hari ini, Dugaan Crouzeix yang telah menyiksa dunia aljabar linier numerik selama 22 tahun penuh, terbukti.
Penulisnya bukan matematikawan, melainkan dokter residen bedah saraf di Rumah Sakit Beijing Xiehe, Shanmu Jin.
Dia tidak memiliki latar belakang pendidikan matematika tinggi formal, S1-nya jurusan geologi, kemudian meraih gelar doktor kedokteran, satu-satunya asistennya adalah GPT-5.6.
GPT-5.6 dalam sekali menjalankan mandiri sekitar 16 jam, memecahkan masalah sulit ini, tanpa campur tangan manusia sama sekali.
Dan, di daftar validator, ada Michel Crouzeix sendiri—orang yang mengajukan masalah ini 22 tahun lalu, kini secara pribadi memberikan cap, menyatakan masalah ini terselesaikan.
Townsend dan Greenbaum, juga ahli di bidang ini, setelah melihat proses pembuktiannya, hanya punya dua kata untuk menggambarkan perasaan mereka: "Terkejut".
Ketika Seorang Dokter Residen Xiehe Belajar Matematika Secara Otodidak
Tokoh utama cerita ini bernama Shanmu Jin, adalah seorang peneliti pascadoktoral dan dokter residen bedah saraf di Rumah Sakit Beijing Xiehe.
Riwayat hidupnya, tidak ada hubungannya dengan matematika.
Jurusan S1-nya adalah geologi, kemudian beralih ke kedokteran, dan akhirnya meraih gelar doktor kedokteran. Seluruh pendidikan matematika yang pernah diterimanya hanyalah mata kuliah dasar yang dipelajari mahasiswa sains biasa.
"Selain itu, semua pengetahuan matematika, saya pelajari sendiri," tulis Dr. Jin dengan santai dalam emailnya kepada penulis naskah asli (Alex Townsend dan Anne Greenbaum).
Mengapa seorang dokter bedah saraf pergi mengunyah dugaan matematika yang sulit?
Semua ini berasal dari titik nyeri dalam penelitian klinis dan ilmiah Dr. Jin: penelitian ultrasound transkranial.
Saat mencoba menembus struktur tulang tengkorak manusia yang kompleks dengan gelombang ultrasonik, dia langsung masuk ke bidang besar "analisis matriks". Dalam proses belajar otodidak, dia secara kebetulan melihat nama yang sangat terkenal di dunia aljabar linier numerik—Dugaan Crouzeix.
Pernyataan dugaan ini sangat sederhana, dan bentuk geometris intuitif di baliknya tentang "wilayah numerik" sangat indah. Kesederhanaan dan keindahan yang luar biasa ini sangat menarik bagi si lintas bidang ini.
Dia memutuskan untuk mencoba. Bukan dengan deduksi kertas dan pensil tradisional, melainkan dengan model besar.
"Konstanta Iblis" yang Menyiksa Dunia Matematika Selama 22 Tahun
Mengapa para matematikawan ini begitu terkejut? Pertama-tama kita perlu tahu, seberapa sulitnya Dugaan Crouzeix.
Dalam matematika terapan modern dan perhitungan teknik, matriks (Matrix) adalah bahasa universal yang menggambarkan jalannya segala sesuatu.
Dari superposisi keadaan mekanika kuantum, hingga algoritma PageRank pencarian Google, hingga iterasi parameter berskala besar dalam melatih model bahasa besar saat ini, pada dasarnya adalah proyeksi dan evolusi matriks besar di bidang kompleks.
Namun, perilaku matriks non-normal (Non-normal Matrices) sangat aneh, mereka seperti sekawanan binatang buas yang pemarah dan tak terduga.
Untuk menjinakkannya, matematikawan Prancis Michel Crouzeix pada tahun 2004 mengajukan dugaan yang sangat intuitif secara geometris dan indah:
Untuk polinomial p sembarang di bidang kompleks dan matriks A sembarang, norma spektrumnya selalu dapat dibatasi oleh nilai maksimumnya di "wilayah numerik" W(A).
Dan konstanta optimal di antara keduanya, tepatnya adalah 2.
Secara formal dinyatakan sebagai:
Ketimpangan ini sangat penting dalam dunia matematika terapan.
Jika itu benar, kita dapat mengubah kesalahan pendekatan skalar di bidang kompleks secara langsung menjadi batas norma fungsi matriks. Ini memiliki makna yang menentukan untuk menganalisis fungsi matriks, metode iterasi GMRES, serta metode subruang Krylov, dll.
Namun, "membuktikan konstanta ini adalah 2" menjadi mimpi buruk bagi banyak matematikawan.
Tapi pintu menuju konstanta "2" itu, masih tetap tertutup rapat. Hingga tanggal 30 Juli 2026.
2007, Crouzeix sendiri menghabiskan tenaga, hanya bisa membuktikan bahwa ketimpangan ini berlaku saat konstanta 11.08.
Satu dekade kemudian pada 2017, American Institute of Mathematics (AIM) bahkan menyelenggarakan simposium khusus selama seminggu di San Jose, mengumpulkan para ahli top global, membahas berbagai pendekatan teori, bukti numerik, perluasan matriks, dan senjata lainnya. Crouzeix dan kolaborator Palencia akhirnya berhasil menurunkan konstanta universal ini menjadi 2.414.
Sejak saat itu, peralatan matematika manusia seolah-olah kehabisan setetes oli terakhir.
Hingga musim panas ini, seorang "orang luar" yang membawa pisau bedah masuk.
Memodifikasi "Prompt Kata Kunci Super", ChatGPT Berlari Kencang 16 Jam
Bagaimana seorang dokter residen bedah saraf di Xiehe dengan jadwal klinis yang sangat padat bisa melakukannya?
Rahasia terletak pada Rekayasa Prompt (Prompt Engineering).
Dr. Jin tidak menggunakan AI sebagai mesin tanya jawab sederhana, melainkan mengubahnya menjadi sebuah institut penelitian matematika virtual yang besar.
Dia meminjam dan memodifikasi prompt terkenal yang digunakan OpenAI saat menaklukkan dugaan Cycle Double Cover, menyusun sebuah strategi yang sangat visioner:
Pemutusan Jaringan Fisik (Mencabut Ketergantungan Eksternal): Prompt dengan jelas memutus akses sistem ke jaringan eksternal publik dan konteks luar lainnya. Dia tidak ingin AI "mencontek" ide-ide lama yang gagal dalam sejarah manusia dari mesin pencari, melainkan memaksanya untuk berpikir orisinal murni dari aksioma.
Percabangan Banyak dan Pemikiran Divergen (Menolak Konvergensi Dini): Dia meminta ChatGPT untuk meluncurkan banyak "agen sub-inteligensi", membuat mereka menjelajah masing-masing di jalur yang benar-benar berbeda. Instruksinya dengan tegas memperingatkan: Dilarang konvergen terlalu dini ke satu jalur pemikiran yang tampak menarik!
Audit Adversarial yang Keras (Mode Pemeliharaan Ular): Strategi pembuktian kandidat harus berulang kali ditempatkan di bawah pemeriksaan adversarial. Sebuah jalur hanya akan dieliminasi sepenuhnya ketika agen lain berhasil menemukan contoh penyangkal.
Tekad Pantang Menyerah: Prompt memberikan perintah keras: Sebelum mendapatkan pembuktian lengkap yang dapat bertahan dalam ujian logika ekstrem, sama sekali tidak boleh menyerah.
Setelah mengatur semua ini, Dr. Jin menekan tombol Enter, lalu kembali sibuk bekerja, tanpa campur tangan lagi.
Dalam mode ChatGPT Work, GPT-5.6 Sol seperti binatang raksasa digital yang tidak kenal lelah, berlari kencang terus-menerus selama sekitar 16 jam di lautan matematika yang dalam.
Dalam 16 jam ini, AI mengalami ribuan kali asumsi, pembalikan, rekonstruksi, dan akhirnya berhasil membuktikan.
Ketika matematikawan melihat teorema ini, mereka sangat terkejut: AI tidak menggunakan estimasi keras yang sangat rumit seperti yang diantisipasi manusia, melainkan melalui sebuah "strategi pengambilan sampel" yang sangat cerdik hingga membuat orang takjub, menyederhanakannya menjadi sebuah "kondisi kepositifan (positivity condition)" yang sangat sederhana dan tak terduga.
Ini seperti manusia yang terus mencoba mendorong pintu besi besar dengan kekuatan kasar, sementara AI hanya menemukan titik tekanan yang sangat kecil di celah pintu, dengan sentuhan ringan, pintu terbuka, sungguh sebuah serangan dimensional.
Dr. Jin dengan rendah hati menyatakan, menemukan ide kunci ini "pasti ada unsur keberuntungannya". Namun semua orang tahu, kesempatan hanya diberikan kepada orang yang merancang kompas sempurna.
Yang lebih mengagumkan lagi, Dr. Jin sepenuhnya membuka sumber proses ini. Repositori GitHub-nya tidak hanya berisi makalah akhir, tetapi juga prompt kata kunci super itu, draf iterasi sebelumnya, kode pembuktian formal Lean 4, serta laporan audit aksioma. Semuanya di bawah sinar matahari, menerima pemeriksaan seluruh umat manusia.
Alamat sumber terbuka: https://github.com/jinshanmu/CrouzeixConjecture
Pracetak: https://www.preprints.org/frontend/manuscript/f5469a625a8e7313e19bbf4d6c608cff/download_pub
Pembuktian Kedua Delapan Hari Kemudian, Guncangan di Dunia Matematika
Awalnya, menghadapi pracetak yang muncul tiba-tiba ini, para matematikawan top memeriksanya dengan penuh kecurigaan. Bagaimanapun, "orang luar mengumumkan penyelesaian dugaan tingkat dunia" dalam dunia matematika sering kali menjadi sebuah lelucon.
Tapi hanya dalam beberapa jam, kecurigaan Alex Townsend dan Anne Greenbaum berubah menjadi keterkejutan, akhirnya menjadi kekaguman—"Argumen ini benar-benar valid!"
Kemudian, penggagas Dugaan Crouzeix, matematikawan terkenal Michel Crouzeix sendiri, turun tangan secara langsung, mengoreksi baris demi baris pembuktian ini.
Akhirnya, pukulan penentu: Naskah tangan Dr. Jin benar. Misteri 22 tahun, benar-benar berakhir.
Namun, gempa akademik yang dipicu AI ini baru saja dimulai.
Hanya 8 hari setelah pracetak Dr. Jin dirilis (4 Agustus), dua matematikawan lain, Emiel Lorist dan Felix Schwenninger, tiba-tiba merilis pembuktian independen yang hanya terdiri dari 5 halaman!
Judul: A SOLUTION TO CROUZEIX’S CONJECTURE
Pracetak: https://arxiv.org/pdf/2608.03841
Pembuktian 5 halaman ini memiliki pemikiran yang sama sekali berbeda dengan Dr. Jin, sangat ringkas dan padat, menggabungkan representasi potensial dua lapisan klasik dengan lemma perturbasi tentang 2-ekspansi.
Bagi matematikawan tradisional, cara pembuktian ini lebih sesuai dengan kebiasaan kognitif manusia yang ada, tampak lebih "ramah".
Kebetulan: Lorist dan Schwenninger mengakui, saat menjelajahi strategi pembuktian, mereka juga menggunakan ChatGPT 5.6.
Sebuah masalah yang tidak terpecahkan selama 22 tahun, dengan dukungan AI, hanya terpisah 8 hari, muncul dua pembuktian yang sama sekali berbeda tetapi sama-sama brilian!
Mengetahui hal ini, Dr. Jin tidak hanya tidak kesal karena "disaingi", malah merasakan kegembiraan murni, dia menganggap ini sebagai tambahan menarik untuk metodenya.
Fajar Zaman Keemasan
Di musim panas tahun 2026 ini, roda sejarah berputar dengan diam-diam.
Dalam sejarah matematika, tidak jarang dokter mencapai hasil matematika penting, tetapi semuanya adalah jenius yang dilatih matematika secara khusus pada masanya.
Ini mungkin dugaan pertama yang tertunda lama tanpa penyelesaian, diselesaikan sepenuhnya oleh seorang dokter tanpa pelatihan matematika khusus, dengan bantuan AI.
Hanya beberapa tahun sebelumnya, membayangkan sebuah sistem AI dapat menyumbangkan "ide pembuktian yang menentukan" dalam dugaan besar, hampir mustahil.
Tapi sekarang, itu benar-benar terjadi.
Ini seperti dua lompatan dalam sejarah astronomi.
Pertama, astronom harus menghitung data orbit dengan tangan dan bahu, hanya sedikit anak ajaib yang bisa mengintip bintang-bintang. Kedua, adalah Galileo yang membuat teleskop.
Ini tidak diragukan lagi adalah awal dari "Zaman Keemasan" matematika terapan bahkan seluruh dunia sains. Penemuan ilmiah akan dipercepat secara luar biasa, hambatan antara disiplin ilmu yang berbeda akan dengan mudah dihancurkan oleh AI.
Tapi pada saat yang sama, ini juga berarti sebuah pembentukan kembali identitas. Ketika daya komputasi besar mulai mengambil alih deduksi, ketika dokter bedah saraf juga dapat memetik mutiara mahkota matematika di sela-sela operasi, definisi "menjadi seorang matematikawan" atau "menjadi seorang ilmuwan", sedang mengalami perpecahan dan kelahiran kembali yang hebat.
Masa depan telah tiba. Dengan teleskop AI ini, ke langit mana Anda sudah memutuskan untuk mengarahkannya?
Referensi:
https://alextownsend.net/essays/SIAMNews_CrouzeixConjecture.pdf
https://www.preprints.org/manuscript/202607.1919
https://aimath.org/pastworkshops/crouzeix.html
Artikel ini berasal dari akun WeChat "Xinzhiyuan", penulis: ASI Revelation, editor: David
