Kanggo akèh-akèhé ing abad pungkasan, laku matématika diganti banget sethitik. A matématikawan ngeweruhi pola, nulis konjektur, nglampahi sasi utawa taun mbangun bukti, lan matématikawan liyane verifikasi. Saiki, miturut laporan sing jero dening Benjamin Skuse ing IEEE Spectrum, intelijen buatan wiwit ngliwati proses sing alon lan deliberatif lan meksa lapangan kanggo ngadhepi apa tegese dadi ahli matematika.
Potongan kasebut, sing diterbitake tanggal 25 Juni 2026, nglacak sepira cepet model basa sing wis berkembang saka apa sing dikritik para kritikus minangka manuk beo stokastik dadi mesin penalaran matematika asli lan apa tegese owah-owahan kasebut kanggo manungsa sing tansah nindakake pakaryan iki. For more context on this story, see our ongoing artificial intelligence updates.
Jejak AI sing saya akeh ing matematika
Komputasi wis nyepetake matematika sajrone pirang-pirang dekade. Titik balik teka kira-kira 50 taun kepungkur, nalika komputer digunakake kanggo mbuktekaken teorema papat werna, kang takon apa peta bisa colored ora luwih saka papat werna supaya ora wilayah jejer nuduhake werna. Jawabane ya, nanging bukti kasebut kontroversial amarga gumantung ing mriksa 1,936 kasus sing ora ana manungsa sing bisa diverifikasi kanthi manual.
Malah ing jaman komputasi kasebut, ahli matematika manungsa tetep dadi pusat, ngusulake konjektur, nyusun strategi, lan verifikasi asil. AI saiki nantang pengaturan kasebut langsung. Musim panas kepungkur, sistem saka Google DeepMind lan OpenAI tekan tingkat sing padha karo siswa sekolah menengah sing paling bakat matematika ing donya, entuk status medali emas ing International Mathematical Olympiad (IMO), kompetisi taunan ing ngendi para kontestan kudu ngrampungake enem masalah sing angel banget.
Tonggak sejarah terus nyepetake. Sadurunge ing 2026, sistem eksperimen Google DeepMind Aletheia ngasilake asil riset tingkat PhD sing bisa diterbitake kanthi otomatis. Sanajan karya kasebut ora jelas sacara matematis, ngitung konstanta struktur ing geometri aritmetika, nanging pentinge ana ing pertimbangan kompleks sing dibutuhake kanggo ngatasi masalah sing durung rampung. Paling anyar, sistem AI tujuan umum anyar saka OpenAI mbantah konjektur penting ing geometri kombinatorial, asil sing dianggep para matématikawan top minangka tonggak sejarah ing lapangan kasebut lan sing pantes dipublikasi ing jurnal utama.
Asisten bukti lan bottleneck formalisasi
A shift kapindho wis teka saka masangake model basa gedhe karo asisten bukti. Sistem kayata Isabelle, Lean, lan Rocq minangka basa pamrograman khusus sing mriksa bukti-bukti matematika langkah demi langkah, verifikasi logis sing bener. Kanggo luwih saka sepuluh taun, bottleneck wis formalization, proses laborious nerjemahake teorema lan bukti dening tangan menyang kode mesin-maca.
LLM wiwit mbusak bottleneck kasebut kanthi otomatis nerjemahake bukti informal menyang kode resmi sing bisa diverifikasi asisten bukti. Ing wulan Februari, perusahaan AI Math, Inc. nggunakake agen penalaran, jenenge Gauss, kanggo ngresmikake karya sing entuk Maryna Viazovska Medal Fields saka EPFL ing 2022. Gauss pisanan mbantu matématikawan manungsa ngrampungake formalisasi solusi Viazovska kanggo masalah pengepakan bola 8-dimensi sing dikompilasi kanthi otomatis ing sawetara dina. rong minggu.
Prestasi kasebut nuduhake yen AI wis nangani tugas sing wis suwe dianggep minangka manungsa sing unik, lan akeh pakaryan saben dinane ahli matematika bisa uga dadi game sing adil kanggo otomatisasi.
Ahli matematika debat apa dheweke dadi 'imam kanggo oracle'
Nglaporake saka Forum Pemenang Heidelberg kaping 12 ing September 2025, Skuse nggambarake rasa ora nyaman ing pamirsa nalika pamicara nggambarake masa depan ing ngendi sistem AI superhuman mbentuk konjektur, ruang solusi telusuran, mbuktekake teorema, verifikasi bukti, lan umume asil tanpa keterlibatan manungsa.
Yang-Hui He saka London Institute for Mathematics Sciences ngelingake yen ahli matematika manungsa bisa dadi "imam kanggo oracles." Jessica Randall, ahli matematika kanggo Grup Pengembang Google, ujar manawa dheweke ngrasakake rasa wedi eksistensial kolektif ing antarane peneliti enom. "Kita mesthi wiwit nyadari AI duweni potensi kanggo ngganti kita," dheweke ngandhani IEEE Spectrum.
Ora saben wong kuwatir. Sawetara ahli matematika mapan mung pengin jawaban kanggo pitakonan mbukak paling gedhe, kayata enem isih Masalah Hadiah Millennium, preduli saka sing utawa apa gawé. "Akeh ahli matematika sing pragmatis lan mung pengin ngerti," ujare Jeremy Avigad saka Universitas Carnegie Mellon. "Dheweke bakal ngedol nyawane kanggo solusi kanggo masalah."
Telung visi saingan kanggo masa depan
Laporan IEEE Spectrum ngenali telung visi sing amba babagan carane matématika lan AI bisa urip bebarengan.
Kapisan yaiku tampilan manungsa-sentris sing ngutamakake pemahaman manungsa lan nganggep AI minangka alat, kaya kalkulator. Fields Medalist lan Princeton matématikawan Akshay Venkatesh argue sing matématika, ing jantung, cara kanggo nggayuh persetujuan. "Kadhangkala aku mikir yen kita nggunakake angka, iku ora dadi luwih sing kita njlèntrèhaké fénoména sing intrinsik numerik, nanging kita kabeh bisa setuju persis apa nomer tegese," ngandika.
Kapindho nandheske pengalaman perjuangan manungsa sing ora bisa dikurangi. Maia Fraser saka Universitas Ottawa ujar manawa bukti AI saka konjektur wangkal mung migunani yen bisa dingerteni wong. "Yen pratelan kasebut bisa dibuktekake dening AI minangka informasi sing migunani," ujare. "Nanging isih dadi masalah mbukak kanggo nggawe bukti manungsa sing elegan lan ayu."
Katelu, lan mbok menawa paling ambisi, asalé saka Terence Tao saka UCLA, sing pisanan kompetisi ing Olimpiade math ing umur 10 lan saiki salah siji sing paling decorated matématikawan urip. Tao ndeleng AI minangka katalis kanggo apa sing diarani "matematika gedhe," masa depan kolaborasi gedhe-gedhe, desentralisasi antarane manungsa lan mesin sing masalah rumit dipérang dadi potongan-potongan, kanthi manungsa nuntut karya kreatif lan AI nangani karya grunt teknis.
A disiplin takon apa iku ana
Sing nggawe wayahe ora biasa yaiku debat kasebut ora hipotetis maneh. Sistem AI wis entuk medali emas IMO, ngasilake riset sing bisa diterbitake, mbantah dugaan, lan nggawe bukti sing menangake Fields Medal sajrone pirang-pirang dina tinimbang pirang-pirang taun.
Kanggo siswa kaya Trill White saka Universitas Deakin Australia, sing rawuh ing forum Heidelberg, realisasi kasebut tiba banget. "Sing ngrusak," White kelingan mikir. "Apa wong kudu nyumbang kanggo matématika? Apa bakal dadi sing ora ana sing ngerti?"
Jawabane durung mapan. Nanging nalika laporan Skuse nerangake, matématika, salah sawijining disiplin intelektual paling tuwa ing manungsa, saiki ngadhepi pitakonan sing padha sing ngowahi meh kabeh bidang sing disentuh AI: nalika mesin bisa nindakake pakaryan, apa sejatine karya kasebut?
Sumber: Benjamin Skuse, "What It Means to Be a Mathematician When AI Does the Math," IEEE Spectrum, 25 Juni 2026.---
Stay Ahead of AIGet the latest AI news, analysis, and breakthroughs — all in one place.
Read more AI news →
