Dokter Bedah Saraf di Beijing Buktikan Teka-teki Matematika 22 Tahun, Cuma Andalkan ChatGPT yang Dibiarkan Jalan 16 Jam

Masalah ini berada di persimpangan teori matriks dan analisis fungsional dalam aljabar linear numerik — pertanyaan mendasar namun sangat spesifik yang telah bertahan selama dua dekade upaya oleh para ahli yang mengabdikan karier mereka untuk itu.

Dari USG Otak hingga Terobosan Matematika

Jin tidak berniat membuat sejarah matematika. Ia sedang meneliti USG transkranial — memodelkan bagaimana gelombang USG menembus tengkorak — yang membawanya ke analisis matriks dan, akhirnya, ke Konjektur Crouzeix . Semua matematika tingkat tingginya dipelajari secara otodidak melalui penelitian USG-nya; gelar sarjananya adalah geologi dari Universitas Peking, dan gelar medisnya dari Peking Union Medical College. Ia tidak memiliki pelatihan formal dalam matematika tingkat lanjut .

Kerja Otonom Selama 16 Jam

Jin mengadaptasi strategi perintah (prompt) yang digunakan OpenAI ketika memecahkan Konjektur Cycle Double Cover. Ia merancang pengaturan multi-agen yang bersifat adversarial dengan empat instruksi :

1. Bekerja offline: Model beroperasi di lingkungan yang terputus secara fisik, mencegahnya mengambil bukti atau solusi yang sudah ada dari web.
2. Eksplorasi paralel: Sistem melahirkan banyak sub-agen yang mengeksplorasi strategi pembuktian yang benar-benar berbeda, mencegah konvergensi prematur pada satu pendekatan.
3. Audit adversarial: Bukti kandidat menjalani pemeriksaan adversarial, memaksa model untuk menemukan dan memperbaiki kesalahannya sendiri.
4. Tidak berhenti lebih awal: Sistem diperintahkan untuk tidak berhenti sampai bukti lengkap lolos semua pemeriksaan.

Jin memulai sistem dan pergi. Setelah sekitar 16 jam operasi terus-menerus — di mana GPT-5.6-Sol menjalankan ribuan siklus pembuatan, pengujian hipotesis, penolakan, dan pembangunan kembali — ia menghasilkan bukti lengkap .

Alih-alih perkiraan berat yang diharapkan para ahli, argumen yang digunakan adalah strategi pengambilan sampel yang cermat untuk mereduksi masalah menjadi kondisi kepositifan yang sederhana . Menurut mereka yang meninjaunya, ini adalah pendekatan yang elegan dan tidak terduga.

Verifikasi oleh Para Ahli

Analis numerik Alex Townsend dari Universitas Cornell telah menghabiskan satu tahun sebelumnya secara rutin meminta ChatGPT untuk menyerang Konjektur Crouzeix, dan setiap kali melihatnya macet pada lemma yang sama . Pada 30 Juli 2026, ia bertanya lagi — tetapi kali ini, ChatGPT mengembalikan tautan ke sebuah cetakan awal (preprint) yang diunggah pada 27 Juli berjudul "The Numerical Range Is a 2-Spectral Set" .

Townsend dan Anne Greenbaum dari Universitas Washington meninjau cetakan awal itu dengan skeptis. Setelah beberapa jam, mereka menyimpulkan bahwa bukti tersebut benar . Michel Crouzeix sendiri — matematikawan yang mengajukan konjektur 22 tahun sebelumnya — meninjau manuskrip dan mengonfirmasi kebenarannya .

Sumber Terbuka dan Verifikasi Independen

Jin membuka sumber seluruh proses penelitiannya, membuat tersedia di GitHub: makalah akhir, perintah persisnya, semua iterasi manuskrip, formalisasi bukti dalam bahasa Lean 4, dan audit aksioma .

Hebatnya, delapan hari setelah cetakan awal Jin muncul, bukti independen terpisah oleh Emiel Lorist dan Felix Schwenninger — yang juga menggunakan ChatGPT 5.6 untuk eksplorasi strategi — diunggah di arXiv, secara independen menguatkan hasil tersebut .

Arti Penting bagi Sains dan AI

Kisah bukti Jin penting karena beberapa alasan. Ini menunjukkan bahwa seorang non-ahli tanpa pelatihan formal di suatu bidang dapat, dengan merancang alur kerja otonom yang tepat untuk model AI mutakhir, memberikan kontribusi nyata pada masalah yang membuat para spesialis karier kebingungan. Ini juga mendemonstrasikan kekuatan sistem penalaran otonom yang dirancang dengan baik: Jin tidak menggunakan AI sebagai alat pencari atau chatbot — ia merancang sistem yang dapat mengeksplorasi, memeriksa, dan menyempurnakan pekerjaannya sendiri selama berjam-jam tanpa campur tangan manusia .

Masalah ini bukanlah mainan atau teka-teki; ini adalah masalah terbuka berusia 22 tahun yang buktinya telah ditinjau dan diterima oleh matematikawan yang mengajukannya, bersama dengan para ahli terkemuka lainnya di bidang tersebut .