Esai filosofis sing nyatakake yen panemuan matematika sing didorong AI ora kudu nyuda regane urip matematika manungsa, wis narik kawigaten sawise muncul ing blog Terence Tao, ahli matematika UCLA sing dianggep minangka salah sawijining ahli matematika sing paling apik. "Egoless Mathematics in the AI Era," diterbitake 2 November, minangka kiriman tamu dening ilmuwan komputer Karthik C. S., Amit Sahai, lan Jie Xue - karo Tao nyathet dheweke ngowahi teks kanggo publikasi nggunakake AI. Esai kasebut kanthi cepet munggah ing Hacker News, ing ngendi para pamaca mbahas pratelan utama: yen matématika iku éndah sadurunge kita lair, lan regane ora gumantung marang sing nggawe panemuan kasebut.
Piece teka ing wayahe nalika bantuan mesin ing matématika wis dipindhah saka anyar kanggo infrastruktur. Bukti resmi sing diverifikasi kanthi bantuan AI, konjektur sing digawe mesin, lan sistem AI sing nyumbang kanggo asil tingkat riset wis meksa matématikawan sing kerja takon ora mung apa sing bisa ditindakake mesin, nanging apa sing isih ana ing jabatan kasebut yen jawabane "paling akeh." Wangsulan esai ora umum ing antarane sing njupuk kabar AI bubar musim iki: tinimbang mbela pentinge manungsa nglawan mesin, dheweke mbantah kanggo ninggalake kontes kasebut kabeh.
Loro Tampilan Matematika, Siji Titik Tekanan
Penulis miwiti saka pamisah paling tuwa ing filsafat matématika: apa matématikawan invent subyek - ngenalke konsep, milih aksiomas, mbangun teori - utawa nemokake bebener sing ana independen saka wong-wong mau. Pandangan Platonis, padha nulis, menehi akun alami babagan kamardikan kasebut: "ana tanpa wates akeh prima sadurunge ana wong sing mbuktekake kasunyatan kasebut." Bebener matematika ora ngenteni pangenalan kita utawa ora nampa wewenang saka iku.
Discovery, padha ngati-ati, ora passivity. Ahli paleontologi sing nggoleki fosil kudu mutusake ngendi kanggo nggali, ngembangake teknik, lan ngerteni pentinge sisa-sisa sing ora lengkap. Mangkono uga, panemuan matématika mbutuhake nyipta kabèh basa lan kerangka supaya struktur sing ora katon sadurungé katon. Bebener ndhisiki kita; rute kanggo wong-wong mau kabeh cara mudhun.
Saka dhasar kasebut karangan mbangun titik tekanan: derivasi sing bener ora padha karo pangerten babagan maknane. Sistem aksiomatik ngidini akeh potongan sing ora bisa ditemtokake, nanging kemampuan kanggo ngasilake ora menehi pituduh sing cocog. "Pernyataan matematika bisa uga bener kanthi resmi tanpa menehi pencerahan," panulis nulis. "Kita bisa ngenalake definisi sing ora kaetung lan mbuktekake pernyataan sing ora kaetung babagan dheweke. Apa sing nggawe definisi siji?" Iki minangka pitakonan sing muncul nalika sistem AI mbanjiri repositori resmi kanthi asil sing bener nanging ora motivasi.
Jebakan Nemtokake Worth dening Mesin
Argumentasi esai sing paling cetha ditujokake kanggo gerakan umum ing wacana AI saiki: nglindhungi nilai manungsa kanthi mundur menyang mesin apa wae sing durung bisa ditindakake. "Tanggepan kasebut ora bisa mung golek perlindungan ing kemampuan manungsa sing khas kayata kreatifitas, intuisi, utawa rasa," ujare penulis. "Yen kita ngurmati kabisan kasebut utamane amarga menehi kita kauntungan saka mesin, kita tetep kepepet ing konsepsi intelektual sing padha. Yagene regane nguber kita gumantung marang sing luwih apik tinimbang wong liya?"
Dheweke ngluwihi kritik menyang struktur insentif urip akademik dhewe. Publikasi, kutipan, lan penghargaan minangka indikator sing migunani, penulis ngakoni, nanging dadi patologis nalika nemtokake regane karya kasebut. Diukur kanthi cara kasebut, ahli matematika dadi koleksi kabisan sing produktif lan matématika dadi output - framing ing ngendi mesin sing ngasilake manungsa mung menang. Esai kasebut ngusulake alternatif sing dijenengi ing judhul: matématika tanpa ego, praktik sing ana hubungane karo bebener tinimbang saka prima ing ngasilake.
Miturut panemuan kasebut, panemuan sing digawe AI ora dadi kesempatan kanggo sedhih utawa kuwatir status. "Sawijining bebener wis bisa diakses; regane ora suda amarga ora ana penulis," tulis penulis. Dheweke malah nawakake esai kasebut minangka perjanjian perdamaian ing antarane rong kemah sing saiki dibagi akeh departemen matematika - sing antusias babagan alat AI lan sing ora ana ing prinsip - kanthi menehi saran yen loro-lorone bisa nggambarake komitmen dhasar sing padha karo matematika kasebut.
Eksperimen Pikiran Ramanujan kanggo Ditutup
Esai ditutup kanthi eksperimen pamikiran sing dijupuk saka sejarah matematika. Ramanujan dilaporake ujar, "Persamaan ora ana artine kanggoku kajaba nuduhake pikirane Gusti Allah" - baris sing ditulis dening penulis saka biografi Robert Kanigel taun 1991 "Wong sing Ngerti Tanpa wates" (diterbitake 1991, dikutip ing kiriman saka edisi 1992). Yen dheweke isih urip saiki, nyekseni kemajuan AI ing matématika, apa dheweke bakal bingung karo apa sing bisa ditrapake kanggo tujuane minangka ahli matematika?
Penulis jujur babagan statuse dhewe. "Kita, penulis esai iki, isih adoh saka entuk egolessness kaya mengkono," padha ngakoni, njlèntrèhaké ideal esai minangka salah siji sing pengin diupayakake. Lan dheweke ngarepake bantahan sing jelas - kabeh iki kaya njaluk matématikawan dadi wong suci. "Sajrone njaluk kita tuwuh ing kabecikan lan ngeculake keterikatan kita marang pentinge dhewe, kesan kasebut ora adoh saka bebener," tulise, kanthi argumentasi yen kabungahan pemahaman luwih tahan tinimbang kepuasan peringkat ing ndhuwur saingan.
Apa argumentasi kasebut bisa ngyakinake para ahli matematika minangka pitakonan sing kapisah - Utas komentar ing esai kasebut nuduhake akeh wong sing mamang sing mikir babagan ekonomi karir akademik nggawe filsafat dadi mewah. Nanging minangka dokumen wayahe, iku njupuk soko nyata: lapangan sing paling cedhak karo advance AI iku sing paling kepeksa kanggo articulate apa karya sing penting, lan salah siji swara matématika sing paling ditonton saiki wis nyilihake platform kanggo jawaban sing ora nyebut benchmarks, produktivitas, utawa kompetisi nasional malah sapisan.
---
Tetep Ahead of AIEntuk warta, analisis, lan terobosan AI paling anyar - kabeh ing sak panggonan.
Waca liyane AI warta →
