Stephen Wolfram wis ngentekake patang puluh taun kanggo mbangun piranti lunak sing ngotomatisasi matematika, lan saiki dheweke nemoni ide manawa intelijen buatan bakal ngrampungake tugas kasebut. Ing esai dawa kanthi irah-irahan "Apa Masa Depan Riset Matematika Murni ing Jaman AI?", Diterbitake ing blog Tulisan lan debat maneh ing Hacker News akhir minggu iki, ahli fisika lan pendiri Wolfram Research mbantah manawa mbutuhake matématika murni kanggo ngaso AI, ing tembunge, babagan "salah pangerten dhasar" lan apa sing ditindakake AI.
"Judul terus teka: sistem AI iki wis ngrampungake masalah matematika," Wolfram nulis ing bukaan esai. Apa sing ana ing judhul kasebut, ujare, yaiku kesimpulan sing akrab - manawa ahli matematika manungsa ora dibutuhake maneh - lan ora sabar karo argumentasi sing ora nggatekake sejarah lapangane dhewe. For more context on this story, see our ongoing AI news.
Preseden Mathematica
Bantahan Wolfram diwiwiti kanthi sejarah pribadi. Nalika Mathematica diluncurake ing taun 1988, dheweke kelingan, ana omongan sing padha yen matématika bakal otomatis dadi ora ana gunane. Ora kaya ngono. Piranti lunak kasebut ngganti tugas mekanis tartamtu - "yen nggarap integral simbolis yaiku apa sing dipikirake yen matematika pancen bener, mula, ya, Mathematica sejatine wis ngganti," tulise - nanging inti matematika murni, bagean sing nemtokake disiplin, ora kena. Nanging, otomatisasi ngunggahake tingkat sing bisa ditindakake para praktisi matematika.
Bedane penting amarga, ing akun Wolfram, aplikasi teknik matematika ora padha karo riset matematika. Komputasi sing nate ngonsumsi karir dadi telpon siji-baris, lan para ahli matématikawan munggah tangga abstraksi tinimbang metu saka pakaryan.
Apa AI Sejatine Apik kanggo Matematika
Esai kasebut adoh saka ngilangi AI modern. Wolfram nyebataken "tanpa dipunraguaken migunani, kadhangkala migunani banget," lan ngenali kontribusi paling gedhe kanggo matématika minangka kemampuan kanggo mine kawruh akumulasi saka lapangan. Nalika peneliti ing taun 1970-an ngandelake panelusuran tembung kunci ing literatur, sistem modern bisa nyambungake sambungan antarane badan kerja sing ora bisa dieling-eling dening manungsa.
"Manungsa uga nindakake kanthi rutin," dheweke nulis babagan nglumpukake asil dadi kesimpulan anyar. "Nanging dheweke mung maca atusan kertas; AI wis maca kanthi efektif jutaan." Asimetri ndadekake AI dadi kolaborator sing kuat kanggo nemokake kombinasi asil sing nggumunake.
Nanging retrieval lan rekombinasi, dheweke mbantah, mbukak watesan sing angel ing wates. "Matématika sing apik - luwih saka apa wae - ditetepake kanthi pitakonan sing ditakoni." Lan pitakonan, ing panemune, teka saka bayangan manungsa. AI bisa ngotomatisasi apa sing sadurunge kudu ditindakake para ahli matematika; durung bisa mutusake apa sing kudu ditindakake.
Komputasi Ngasilake Teorema, Ora Makna
Bagean esai sing paling cetha mbedakake AI modern saka komputasi mentah, bedane Wolfram wis dikembangake wiwit karyane ing automata seluler ing taun 1980-an. Komputasi murni, dheweke nyathet, bisa ngasilake teorema anyar tanpa wates - urutan fakta matematika tanpa wates, lengkap kanthi kejutan lan orisinalitas, ora ana AI sing dibutuhake. Konsep irreducibility komputasi dhewe nuduhake yen aturan sing prasaja bisa ngasilake asil sing ora bisa diramalake.
Nanging teorema sing diasilake kanthi cara kasebut, kaya sing dicritakake, mung "asil sing dijupuk saka alam semesta komputasi." Apa sing ndadekake asil dadi matématika yaiku panggonane ing struktur sing dianggep penting kanggo manungsa - pertimbangan babagan pentinge sing ora ana pasokan proses generasi.
Apa Math Murni Ana ing Kabeh
Ndhuwur argumen kasebut yaiku tampilan matematika minangka institusi manungsa tinimbang tumpukan pernyataan sing bener. Saka Plato lan Euclid terus, Wolfram nyerat, matématika murni wis dadi conto saka pamikiran abstrak sing mbangun struktur sing luwih gedhe - "bangunan intelektual paling gedhe sing dibangun dening peradaban kita." Abad kaping-19 ing arah abstraksi ngilangi intuisi saben dina, lan regane tansah gumantung marang praktisi sing mutusake bagean saka ruang kemungkinan tanpa wates sing kudu digatekake.
Panliten Wolfram dhewe wis ngubengi pitakonan iki nganti pirang-pirang taun, saka ruang kabeh sistem aksioma sing bisa ditindakake nganti struktur watesan jaringan teorema nganti peran manungsa kanggo nemtokake disiplin kasebut. Essay anyar ditrapake latar mburi kanggo wayahe saiki: AI ngganti ekonomi saka pegawe matématika dramatically, nanging arah perusahaan - apa kanggo mbuktekaken, apa kanggo Care babagan, apa counts minangka tengah tinimbang peripheral - tetep warisan manungsa.
Ora ana sing ndadekake Wolfram dadi mamang AI; perusahaane embeds machine learning antarane baris produk sawijining. Iku ndadekake dheweke akurat. Kesimpulane dudu yen AI bakal ninggalake matematika, nanging masa depan sing menarik yaiku kolaborasi - mesin nangani skala, pengambilan lan verifikasi, dene manungsa tetep njaga pitakonan kasebut. Esai kasebut nyaranake manawa pentinge matématika minangka prakara pertimbangan tinimbang komputasi, deskripsi proyek matématikawan tetep ana ing transisi, sanajan meh kabeh babagan owah-owahan proyek kasebut.
---
Stay Ahead of AIGet the latest AI news, analysis, and breakthroughs — all in one place.
Read more AI news →
