Pakar Klinikal yang Belajar Sendiri dan Sesi AI selama 16 Jam Menyelesaikan Salah Satu Masalah Terbuka Matematik Gunaan
Secara ringkas
Seorang pakar bedah saraf Beijing telah menggunakan GPT-5.6 untuk membuktikan tekaan matematik berusia 20 tahun, menandakan perubahan dalam siapa yang boleh menghasilkan — dan mengesahkan — penyelidikan.
Shanmu Jin, seorang penyelidik pasca doktoral dan residen pembedahan saraf di Hospital Kolej Perubatan Peking Union di Beijing, telah membuktikan Konjektur Crouzeix — satu masalah dalam analisis matriks yang masih terbuka selama lebih dua dekad. Hujah muktamad itu tidak muncul daripada jabatan matematik: ia muncul semasa larian autonomi selama 16 jam GPT-5.6 Sol di dalam ChatGPT Mod kerja, dipandu oleh gesaan yang direka bentuk dengan teliti yang direka oleh Jin sendiri.
Jin mencapai masalah tersebut melalui laluan tak linear. Latar belakang sarjana mudanya adalah dalam bidang geologi; beliau kemudiannya memperoleh ijazah perubatan dan membina pengetahuan matematiknya melalui kajian kendiri, yang pada mulanya didorong oleh penyelidikan mengenai ultrasound transkranial. Konjektur Crouzeix, yang dirumuskan pada tahun 2004, membincangkan hubungan antara norma spektrum matriks dan maksimum polinomial pada julat berangkanya — kawasan cembung padat satah kompleks yang menangkap lebih banyak tingkah laku matriks daripada nilai eigennya sahaja. Resolusinya mempunyai aplikasi langsung dalam analisis fungsi matriks, penyelesai lelaran seperti GMRES dan kaedah Krylov yang rasional.
Daripada menggesa model secara interaktif, Jin menjalankan sesi autonomi lanjutan menggunakan seni bina gesaan yang diadaptasi daripada satu OpenAI telah dibangunkan untuk hasil matematik yang lebih awal, iaitu konjektur Cycle Double Cover. Persediaan tersebut menafikan akses internet model. Ia menggunakan subejen bersaing yang ditugaskan untuk membangunkan dan menguji tekanan secara bebas strategi bukti yang berbeza, dengan arahan eksplisit terhadap penumpuan pramatang dan keperluan untuk memalsukan hujah calon hanya melalui contoh balas yang konkrit. Model tersebut diarahkan untuk diteruskan sehingga bukti lengkap terselamat daripada semakan adversarial dalaman. Pracetak yang terhasil, yang disiarkan pada 27 Julai 2026, merangkumi gesaan penuh, draf manuskrip berturut-turut, formalisasi Lean dan audit aksiom.
Pengesahan Rakan Sebaya dan Persoalan Siapakah yang Menguasai Matematik Sekarang
Bukti tersebut telah disemak dan disahkan oleh ahli matematik Cornell, Alex Townsend, penganalisis berangka Anne Greenbaum, dan Michel Crouzeix sendiri — pengarang asal konjektur tersebut. Kajian semula rakan sebaya formal sedang dijalankan. Lapan hari selepas pracetak awal muncul, ahli matematik Emiel Lorist dan Felix Schwenninger menyiarkan bukti lima halaman bebas menggunakan kaedah yang berbeza, menggabungkan teori potensi lapisan berganda klasik dengan lema usikan untuk dilatasi 2. Jin mengalu-alukan hasil selari sebagai pelengkap kepada karyanya sendiri.
Episod ini menunjukkan perubahan struktur dalam penyelidikan matematik yang sukar untuk diabaikan. Apabila masalah yang terbuka sejak tahun 2004 diselesaikan oleh seorang doktor yang belajar sendiri menggunakan alat AI pengguna, halangan untuk menghasilkan keputusan baharu berkurangan dengan ketara — sementara kepakaran yang diperlukan untuk mengesahkan keputusan tersebut menjadi lebih tertumpu dan lebih berharga.
Bagi bidang AI, kes ini menawarkan demonstrasi konkrit tentang apa yang boleh dicapai oleh model bahasa sempadan apabila diberikan tugasan autonomi yang berstruktur dengan baik dan masa pengiraan yang mencukupi. Sama ada komuniti matematik mempunyai infrastruktur untuk menyerap jumlah keputusan yang mungkin menyusul masih menjadi persoalan terbuka.
Penafian
Selaras dengan Garis panduan Projek Amanah, sila ambil perhatian bahawa maklumat yang diberikan pada halaman ini tidak bertujuan untuk menjadi dan tidak seharusnya ditafsirkan sebagai nasihat undang-undang, cukai, pelaburan, kewangan atau sebarang bentuk nasihat lain. Adalah penting untuk hanya melabur apa yang anda mampu kehilangan dan mendapatkan nasihat kewangan bebas jika anda mempunyai sebarang keraguan. Untuk maklumat lanjut, kami mencadangkan merujuk kepada terma dan syarat serta halaman bantuan dan sokongan yang disediakan oleh pengeluar atau pengiklan. MetaversePost komited kepada laporan yang tepat dan tidak berat sebelah, tetapi keadaan pasaran tertakluk kepada perubahan tanpa notis.
Tentang Pengarang
Alisa, seorang wartawan yang berdedikasi di MPost, pakar dalam kripto, AI, pelaburan dan bidang yang luas Web3. Dengan memerhatikan trend dan teknologi yang sedang muncul, beliau menyampaikan liputan komprehensif untuk memaklumkan dan melibatkan pembaca dalam landskap kewangan digital yang sentiasa berkembang.
lebih banyak artikel
Alisa, seorang wartawan yang berdedikasi di MPost, pakar dalam kripto, AI, pelaburan dan bidang yang luas Web3. Dengan memerhatikan trend dan teknologi yang sedang muncul, beliau menyampaikan liputan komprehensif untuk memaklumkan dan melibatkan pembaca dalam landskap kewangan digital yang sentiasa berkembang.
