Terence Tao, ahli matematika UCLA sing dianggep minangka tokoh urip sing paling berpengaruh ing lapangan, wis nerbitake esai sing nyatakake yen intelijen buatan nyurung matématika dadi periode kerusuhan sing bisa dibandhingake karo krisis dhasar sing mbentuk maneh disiplin abad kepungkur. Makalah, "Matematika ing jaman AI," muncul ing arXiv tanggal 17 Agustus lan adhedhasar kuliah umum Tao sing dikirim ing Kongres Internasional Mathematicians 2026.

Esai kasebut kanthi cepet dadi salah sawijining teks ilmiah sing paling dibahas ing minggu iki ing antarane para peneliti lan insinyur, narik akeh pamirsa ing forum kaya Hacker News. Kanggo lapangan sing wis ngenteni telung taun kepungkur debat apa AI pancene bisa nindakake matematika tingkat riset, argumentasi Tao ngganti pitakonan kabeh.

Krisis Nilai, Ora Bebener

Framing sajarah Tao sengaja. Antarane kira-kira taun 1900 lan 1930, matématika diguncang déning paradoks Russell ing taun 1901 lan téoréma ketidaklengkapan Gödel ing taun 1931 - panemuan sing meksa para ahli matématikawan ninggalake asumsi-asumsi informal lan mbangun dhasar-dhasar sing eksplisit lan kaku sing isih ana ing subyek nganti saiki. Turbulensi kasebut, ujare, pungkasane nggawe matematika luwih kuwat.

Paralel sing digambar kanthi tepat: apa sing dites saiki dudu kerangka matématika kanggo bebener, nanging "kerangka kerja lan praktik matematika sing umume implisit" - apa sing dianggep komunitas minangka kontribusi, apa sing diganjar, apa sing dimangerteni, lan sapa, utawa apa, sing dianggep wis rampung. Kaya krisis pungkasan sing meksa implisit dadi eksplisit, Tao ujar manawa iki bakal meksa matématikawan kanggo ngowahi gol sing durung nate ditulis.

Mlayu Debat Kapabilitas

Pilihan struktural sing paling nyenengake yaiku ora gelem mbantah apa AI bisa nindakake matematika. Nanging, Tao menehi hipotesis manawa alat AI sing bisa nindakake tugas matematika tingkat riset bakal teka, lan nganggep kabeh asumsi kasebut minangka masalah nyata. Dheweke nyebat iki minangka "Pitakonan Tanggepan Komunitas": kepiye komunitas matematika kudu nanggapi, dudu manawa kemampuan kasebut nyata.

Iki minangka gerakan ortogonal sing sengaja. Debat babagan kemampuan model, miturut Tao, ora bisa ditanggulangi ing abstrak lan ing jejere. Pitakonan sing penting - apa matématika, lan apa sing dianggep praktisi - bakal nuntut jawaban sanajan kemajuan AI mandheg sesuk.

Kelangkaan Bukti, Kelimpahan Bukti, lan Hukum Goodhart

Pusat esai yaiku studi kasus babagan pemecahan masalah, komponen praktik matematika sing paling langsung kaancam dening otomatisasi. Tao mriksa apa sing kedadeyan nalika lapangan pindhah saka ekonomi kekurangan bukti - sing wis diverifikasi, bukti asli langka lan larang regane - menyang salah sawijining bukti sing akeh banget, ing ngendi argumen sing digawe mesin murah lan akeh.

Dhaptar tembung kunci kasebut menehi tandha dhasar sing kalebu: formalisasi, asisten bukti, review peer, hukum Goodhart. Item pungkasan kasebut - prinsip yen ukuran ora bakal dadi ukuran sing apik yen wis dadi target - terus-terusan. Jumlah publikasi, asil kompetisi, lan asal usul teorema kabeh dadi proxy kanggo kontribusi matematika. Ing jagad ing ngendi AI bisa nggedhekake proksi kasebut kanthi skala, komunitas kudu menehi ganjaran apa sing sejatine nilai tinimbang apa sing bisa diitung kanthi historis.

Esai ditutup kanthi rekomendasi lan survey alur kerja sing muncul - kalebu lingkungan bukti resmi saka jinis Tao dhewe wis juara ing eksperimen karo AI-dibantu, matématika sing diverifikasi resmi - bebarengan karo pengakuan sing jujur ​​yen jawaban masyarakat bakal berkembang kaya teknologi.

Apa Essay Matematika Penting ing njaba Matematika

Tao minangka tokoh sing ora biasa: Medali Fields sing wis pirang-pirang taun kerja langsung karo asisten bukti lan alat AI tinimbang menehi komentar saka kadohan. Keterlibatan praktis kasebut menehi bobot esai ngluwihi matematika murni, amarga meh kabeh disiplin riset ngadhepi inversi sing padha sing digambarake. Tinjauan peer, penulis, kredit, lan definisi kontribusi ana ing tekanan sing padha ing fisika, biologi, lan ilmu komputer - lapangan sing ora duwe kepala abad matematika wiwit nggawe dhasar kasebut kanthi jelas.

Resepsi nganti saiki nuduhake argumentasi wis ndharat. Utas dhiskusi wis fokus ing pigura scarcity-kanggo-turah mbrawah Tao minangka lensa migunani kanggo akademisi ing umum, karo manungsa waé khusus kanggo titik sing krisis nilai, ora kaya krisis pondasi, ora bisa ditanggulangi dening klompok cilik logika. Iki kudu digarap dening kabeh komunitas - jurnal, panitia sing nyewa, badan hibah, lan ahli matematika sing karire dibangun ing norma-norma implisit sing saiki ana tekanan.

Kesimpulan Tao pungkasane mbangun tinimbang kaget. Krisis dhasar ngasilake kerangka sing dipercaya sing bisa slamet sajrone uji coba. A pepek, ujian jujur ​​saka apa matématika bener nilai, dheweke udur, bisa ninggalake disiplin kuwat lan luwih tahan tinimbang sadurunge - kasedhiya masyarakat nindakake pakaryan kanggo nggawe aturan unwritten sawijining eksplisit sadurunge kahanan nggawe pilihan kanggo iku.

---

Tetep Ahead of AI

Entuk warta, analisis, lan terobosan AI paling anyar - kabeh ing sak panggonan.

Waca liyane AI warta →