Akademisi Akademi Ilmu Pengetahuan Tiongkok dan pakar AI Beidian Shuzhi membahas 'efek pengganda' AI dan matematika

Pada 24 Juli 2026, 'Pertemuan Tahunan Matematika Enam Belas Provinsi (Wilayah, Kota) dan Forum Akademik Matematika Terapan serta Kecerdasan Buatan' diadakan di Kota Yuxi, Provinsi Yunnan, yang mengumpulkan lebih dari 500 ahli dan guru matematika. Selama forum tersebut, Kepala Ilmuwan Beidian Shuzhi, Dou Dejing, dan Zhou Xiangyu, akademisi dari Akademi Ilmu Pengetahuan Tiongkok, melakukan dialog mendalam tentang kemampuan AI dalam matematika, perubahan peran matematikawan, dan masa depan penelitian matematika berbantuan AI. Mereka menyajikan data yang menunjukkan bahwa model besar utama meningkat dari gagal dalam ujian masuk perguruan tinggi matematika pada tahun 2024 menjadi mencetak skor di atas 135 dari 140 pada tahun 2026, dan kini dapat mencapai nilai sempurna dalam olimpiade matematika tanpa pengetahuan sebelumnya tentang soal-soal tersebut. Namun, Zhou menekankan bahwa kekuatan inti AI terletak pada pencarian pola dan deduksi mekanis, bukan inovasi matematika yang sejati, dan keterjelasan derivasi matematika AI tetap menjadi hambatan yang belum terpecahkan. Mereka mendiskusikan konjektur Jacobian, mencatat bahwa kemampuan AI untuk melakukan pencarian heuristik dan komputasi skala besar dapat membantu menemukan kontra-contoh, namun masalah 'kotak hitam' tetap ada. Zhou menegaskan bahwa matematikawan tidak akan digantikan karena mereka melakukan apa yang tidak bisa dilakukan mesin: mengajukan pertanyaan baru, membangun kerangka kerja baru, dan menemukan hukum-hukum baru. Dia juga mengangkat kekhawatiran integritas akademis mengenai hasil yang dihasilkan AI dan etika kutipan. Dou mempresentasikan pendekatan industri Beidian Shuzhi, termasuk membangun pusat komputasi di lebih dari 30 kota, sistem 'data-komputasi-model-aplikasi' yang lengkap, dan penerapan praktis di bidang kesehatan dan manufaktur, seperti model penyakit kulit yang mencapai akurasi 90% dalam ujian dokter tingkat menengah dan mengurangi waktu diagnosis sebesar 20%. Artikel ini juga menyebutkan bahwa Claude Fable 5 milik Anthropic diduga menyangkal konjektur Jacobian selama akhir pekan, dan mengutip pandangan peraih medali Fields, Efim Zelmanov, bahwa AI seperti 'matematikawan muda yang sangat berbakat' tetapi manusia harus memikul tanggung jawab untuk benar-benar memahami bukti dan mengekstrak wawasan.