Seorang Klinisi Otodidak dan Sesi AI Selama 16 Jam Berhasil Memecahkan Salah Satu Masalah Terbuka dalam Matematika Terapan
Singkatnya
Seorang ahli bedah saraf Beijing menggunakan GPT-56 untuk membuktikan dugaan matematika berusia 20 tahun, menandakan pergeseran dalam hal siapa yang dapat menghasilkan — dan memverifikasi — penelitian.
Shanmu Jin, seorang peneliti pascadoktoral dan residen bedah saraf di Rumah Sakit Peking Union Medical College di Beijing, telah membuktikan Konjektur Crouzeix — sebuah masalah dalam analisis matriks yang tetap terbuka selama lebih dari dua dekade. Argumen yang menentukan tersebut tidak muncul dari departemen matematika: argumen itu muncul selama simulasi mandiri selama 16 jam. GPT-56 Sol di dalam ChatGPT Mode kerja, dipandu oleh petunjuk yang dirancang dengan cermat oleh Jin sendiri.
Jin menemukan masalah ini melalui jalur non-linier. Latar belakang pendidikan sarjananya adalah geologi; ia kemudian memperoleh gelar kedokteran dan membangun pengetahuan matematikanya melalui studi mandiri, yang awalnya dimotivasi oleh penelitian tentang ultrasonografi transkranial. Konjektur Crouzeix, yang dirumuskan pada tahun 2004, berkaitan dengan hubungan antara norma spektral suatu matriks dan nilai maksimum polinomial pada rentang numeriknya — suatu wilayah cembung kompak pada bidang kompleks yang menangkap lebih banyak perilaku matriks daripada hanya nilai eigennya saja. Penyelesaiannya memiliki aplikasi langsung dalam analisis fungsi matriks, penyelesai iteratif seperti GMRES, dan metode Krylov rasional.
Alih-alih memberikan petunjuk interaktif kepada model, Jin menjalankan sesi otonom yang diperpanjang menggunakan arsitektur petunjuk yang diadaptasi dari salah satu OpenAI Model ini dikembangkan untuk hasil matematika sebelumnya, yaitu dugaan Cycle Double Cover. Pengaturan ini menolak akses internet bagi model tersebut. Model ini menggunakan subagen yang bersaing, yang bertugas mengembangkan dan menguji secara independen berbagai strategi pembuktian, dengan instruksi eksplisit untuk menghindari konvergensi prematur dan persyaratan untuk memalsukan argumen kandidat hanya melalui contoh tandingan konkret. Model ini diarahkan untuk terus berjalan hingga bukti lengkap lolos tinjauan internal yang bersifat antagonis. Makalah pracetak yang dihasilkan, yang diposting pada 27 Juli 2026, mencakup petunjuk lengkap, draf manuskrip berturut-turut, formalisasi Lean, dan audit aksioma.
Konfirmasi Rekan Sejawat dan Pertanyaan tentang Siapa yang Mengajar Matematika Sekarang
Bukti tersebut telah ditinjau dan dikonfirmasi oleh matematikawan Cornell, Alex Townsend, analis numerik Anne Greenbaum, dan Michel Crouzeix sendiri — penulis asli dugaan tersebut. Peninjauan sejawat formal sedang berlangsung. Delapan hari setelah pratinjau awal muncul, matematikawan Emiel Lorist dan Felix Schwenninger memposting bukti independen lima halaman menggunakan metode yang berbeda, menggabungkan teori potensial lapisan ganda klasik dengan lemma perturbasi untuk dilasi 2. Jin menyambut hasil paralel tersebut sebagai pelengkap karyanya sendiri.
Episode ini memperlihatkan pergeseran struktural dalam penelitian matematika yang sulit diabaikan. Ketika sebuah masalah yang belum terpecahkan sejak tahun 2004 diselesaikan oleh seorang klinisi otodidak menggunakan alat AI konsumen, hambatan untuk menghasilkan hasil baru menurun secara substansial — sementara keahlian yang dibutuhkan untuk memverifikasi hasil tersebut menjadi semakin terkonsentrasi dan lebih berharga.
Bagi bidang AI, kasus ini menawarkan demonstrasi konkret tentang apa yang dapat dicapai oleh model bahasa mutakhir ketika diberi tugas otonom yang terstruktur dengan baik dan waktu komputasi yang cukup. Apakah komunitas matematika memiliki infrastruktur untuk menyerap volume hasil yang mungkin menyusul masih menjadi pertanyaan terbuka.
Penolakan tanggung jawab
Sejalan dengan Percayai pedoman Proyek, harap dicatat bahwa informasi yang diberikan pada halaman ini tidak dimaksudkan untuk dan tidak boleh ditafsirkan sebagai nasihat hukum, pajak, investasi, keuangan, atau bentuk nasihat lainnya. Penting untuk hanya menginvestasikan jumlah yang mampu Anda tanggung kerugiannya dan mencari nasihat keuangan independen jika Anda ragu. Untuk informasi lebih lanjut, kami menyarankan untuk merujuk pada syarat dan ketentuan serta halaman bantuan dan dukungan yang disediakan oleh penerbit atau pengiklan. MetaversePost berkomitmen terhadap pelaporan yang akurat dan tidak memihak, namun kondisi pasar dapat berubah tanpa pemberitahuan.
Tentang Penulis
Alisa, seorang jurnalis yang berdedikasi di MPost, berspesialisasi dalam kripto, AI, investasi, dan ranah yang luas dari Web3. Dengan ketertarikannya terhadap tren dan teknologi yang sedang berkembang, ia memberikan liputan komprehensif untuk memberikan informasi dan melibatkan pembaca dalam lanskap keuangan digital yang terus berkembang.
lebih artikel
Alisa, seorang jurnalis yang berdedikasi di MPost, berspesialisasi dalam kripto, AI, investasi, dan ranah yang luas dari Web3. Dengan ketertarikannya terhadap tren dan teknologi yang sedang berkembang, ia memberikan liputan komprehensif untuk memberikan informasi dan melibatkan pembaca dalam lanskap keuangan digital yang terus berkembang.
