Pakar Bedah Saraf Guna ChatGPT 5.6 Selesaikan Masalah Matematik 22 Tahun Dari Ruang Tamu

Pada Julai 2026, seorang residen bedah saraf di Beijing bernama Jin Shanmu melakukan sesuatu yang mengejutkan dunia matematik: beliau menyelesaikan masalah terbuka berusia 22 tahun dalam algebra linear berangka. Pembantu penyelidik utamanya? GPT-5.6-Sol dari OpenAI, yang berjalan secara autonomi selama kira-kira 16 jam di platform ChatGPT Work — tanpa campur tangan manusia selepas persediaan awal .

Jin ialah penyelidik pasca doktoral dan residen bedah saraf di Hospital Kolej Perubatan Kesatuan Peking (Peking Union Medical College Hospital). Beliau tidak mempunyai latihan matematik lanjutan secara formal — ijazah sarjana mudanya dalam geologi, dan beliau memegang doktor perubatan . Beliau pada asalnya menemui masalah ini semasa belajar sendiri teori matematik yang diperlukan untuk penyelidikan ultrabunyi otak transkranium, di mana norma operator dan julat berangka timbul secara semula jadi .

Masalah yang diselesaikannya ialah konjektur Crouzeix, yang dicadangkan oleh ahli matematik Perancis Michel Crouzeix pada tahun 2004. Konjektur ini menyatakan bahawa untuk mana-mana matriks kompleks segi empat sama A dan polinomial p, norma operator ||p(A)|| adalah paling banyak dua kali ganda nilai maksimum |p| ke atas julat berangka W(A) . Pemalar tepat 2 telah terbuka selama 22 tahun; sempadan terdahulu hanya mencapai kira-kira 2.414 .

Bagaimana Jin Shanmu Menyediakan Larian Autonomi

Pendekatan Jin bukanlah pertanyaan ChatGPT yang mudah. Beliau mereka bentuk sistem penaakulan autonomi, meminjam daripada kejayaan OpenAI sebelum ini mengenai Konjektur Lipatan Dua Kitaran (Cycle Double Cover conjecture) . Strategi promptnya merangkumi empat arahan utama:

1. Persekitaran air-gapped (terputus internet): Model diarahkan untuk beroperasi dalam persekitaran yang terputus secara fizikal (air-gapped) untuk memaksa penaakulan asli yang tulen, menghalangnya daripada bergantung pada penyelesaian sedia ada atau bukti yang diketahui .
2. Penerokaan selari multi-agent: Beliau melancarkan berbilang ejen untuk meneroka laluan penyelesaian yang berbeza secara selari, menghalang sistem daripada tertumpu terlalu awal pada satu pendekatan yang cacat .
3. Audit adversarial: Beliau menggunakan audit adversarial ke atas strategi calon — AI disuruh mengkritik penaakulannya sendiri dan menguji buktinya terhadap contoh lawan (counterexamples) .
4. Tiada pemberhentian awal: Beliau mengarahkan model untuk tidak berhenti sehingga bukti lengkap diperoleh .

Selepas memulakan larian, Jin meninggalkan sistem untuk bekerja. "Dia mengunci model daripada internet, memulakannya, dan pergi. Enam belas jam kemudian ia mempunyai bukti," menurut laporan . Sepanjang 16 jam itu, GPT-5.6-Sol melaksanakan beribu-ribu kitaran penjanaan hipotesis, ujian, dan penapisan .

Bukti dan Pengesahannya

Hasilnya ialah bukti bahawa konjektur Crouzeix adalah benar: pemalar 2 adalah tepat. Bukti itu dimuat naik sebagai pracetak pada 27 Julai 2026, bertajuk The Numerical Range Is a 2-Spectral Set .

Proses pengesahan adalah teliti. Michel Crouzeix sendiri — ahli matematik yang pada asalnya mengemukakan konjektur pada tahun 2004 — menyemak hujah tersebut dan mengesahkannya adalah betul . Penganalisis berangka juga memeriksa bukti itu . Jin juga menerbitkan semua bahan penyelidikan secara terbuka di GitHub, termasuk kertas akhir, prompt, draf lelaran, kod bukti formal Lean 4, dan laporan audit .

Apa Maksudnya untuk Penyelidikan Dipacu AI

Pencapaian Jin adalah luar biasa bukan sahaja kerana kesukaran masalah itu, tetapi kerana latar belakang dan metodologinya. Seorang residen bedah saraf tanpa ijazah matematik lanjutan formal, menggunakan model AI secara autonomi selama 16 jam, menyelesaikan masalah yang telah mengecewakan ahli matematik selama dua dekad.

Kisah ini menyerlahkan mod penyelidikan baharu: manusia mereka bentuk keadaan eksperimen dan rangka kerja penaakulan, manakala model AI melaksanakan penerokaan berskala besar dan autonomi ruang matematik. Ini adalah demonstrasi konkrit bahawa AI boleh berfungsi sebagai rakan penyelidikan sebenar dalam matematik — bukan sekadar alat untuk pengiraan atau carian, tetapi sistem yang mampu menjana bukti novel.

Sama ada pendekatan ini akan menjadi kaedah standard dalam penyelidikan matematik masih belum dapat dipastikan. Tetapi buat masa ini, hasil Jin Shanmu berdiri sebagai salah satu contoh penemuan diperkukuh AI yang paling menarik pada tahun 2026.