Matématikawan Frank Calegari wis nerbitaké evaluasi kethul apa intelijen buatan wis rampung kanggo lapangan kang, arguing ing blog pengaruh Terence Tao sing release saka luwih saka 700 makalah riset dening OpenAI ing Oktober 6 minangka "watershed ing sajarah matématika." Kiriman kasebut kanthi irah-irahan "Matematika wis diganti. Ayo tumindak kaya ngono," munggah ing dina Setu lan kanthi cepet tekan kaca ngarep Hacker News, ing ngendi dheweke narik atusan komentar. Pesen inti esai minangka tantangan kanggo matématikawan kaya perusahaan AI - kanggo liputan sing terus-terusan tabrakan kasebut, deleng kabar riset AI.

"AI saiki ora bisa dipungkiri bisa nggawe kontribusi terobosan ing pirang-pirang bidang matematika," tulis Calegari. "Dadi kenapa sawetara ahli matematika dadi ora seneng?" Wangsulane dudu apa sing sampeyan ngarepake saka salah sawijining skeptis sing paling misuwur ing lapangan babagan riset sing digawe AI.

Putusan Blunt ing Makalah Dhewe

Kritik Calegari babagan rilis OpenAI nggegirisi babagan masalah kerajinan lan norma komunitas. Makalah kasebut, dheweke nulis, "ditulis kanthi atrociously lan nglanggar pangarepan komunitas kita babagan atribusi. Sawetara malah salah." Keluhan kasebut dudu yen AI ora bisa nindakake matématika - dheweke ngaku yen bisa - nanging dheweke nindakake matematika tanpa ngormati standar sing nggawe literatur matematika bisa digunakake.

Obat kasebut pancen praktis. Matématikawan "duwe kontrol luwih akeh babagan carane nyewa ahli matematika, nerbitake makalah, lan nglatih siswa tinimbang prilaku perusahaan triliun dolar," ujare, lan ing kana energi lapangan kudu ditindakake.

'Kabeh Wis Diklaim Wis Bukti'

Wacana sing paling nggumunake ing karangan yaiku pribadi. Calegari mirsani sing ora siji saka masalah mbukak utama kang wis publicly disebut ing saindhenging karir - ing wuwus, ceramah, artikel, utawa proposal hibah - "iki ora kena dening woro-woro. Kabeh wis diklaim wis buktiaken."

"Aku ngarep-arep bisa ndeleng sawetara wong ing dhaptar," dheweke nulis. "Nanging ora kabeh. Ora kabeh bebarengan. Ora karo nonchalance kuwi." Kanggo matématikawan sing kerja, pengalaman nonton saben masalah sing didemek bakal kesapu ing siklus pers perusahaan dadi bingung kanthi cara argumen abstrak babagan risiko AI ora.

Tabel Periodik Ora Kimia

Calegari nyurung ide sing nyatakake landmark sing misuwur ing lapangan tegese lapangan wis rampung. Makalah OpenAI, dheweke nyathet, nggawe "ora ana masalah" babagan masalah umum fungsi lan timbal balik ing program Langlands - salah sawijining struktur paling jero ing teori angka modern.

Nanging sanajan release wis ditanggulangi saben masalah ing program Langlands, kang nyerat, mbayangno sing bakal "teori nomer ditanggulangi" bakal "minangka naif ngandika yen construction saka Tabel périodik ditanggulangi kimia." Iki minangka argumentasi sing kudu ditindakake para ahli matematika kanggo umum, dheweke nyaranake: masalah tengah mung puncak sing paling katon, lan pagunungan ngluwihi dheweke.

Peringatan Saka Sejarah Teori Kelompok

Jangkar sajarah esai yaiku klasifikasi kelompok prasaja sing terbatas - saga sing dingerteni Calegari saka njero. Ing taun 1972, Daniel Gorenstein ngumumake program menyang klasifikasi. Sawise kira-kira dasawarsa kegiatan panik, klasifikasi kasebut diumumake rampung ing taun 1983 - prematur, amarga kasus klompok quasithin ora rampung nganti Aschbacher lan Smith ngrampungake kira-kira rong dekade sabanjure.

Klasifikasi iki "ing akeh cara sukses ageng," Calegari nyerat, "nanging uga gagal" - woro-woro sing masalah misuwur wis musna kapentingan digawe adhem ing subyek, lan matématikawan nguripake manungsa waé ing panggonan liya. Nanging isih ana pitakonan sing sugih, kalebu sing diidentifikasi minangka favorit John Conway: kenapa grup Monster ana? Kanggo sawetara lapangan, Calegari nyaranake, mbucal OpenAI bisa uga kaya sing dirasakake klasifikasi kanggo para ahli teori klompok.

Sing Dikarepake Calegari Para Matématikawan

Esai ditutup karo program tinimbang lament. Lapangan kasebut mbutuhake upaya kaya perawatan klasifikasi Gorenstein-Lyons-Solomon sing diowahi - karya sing sabar, multi-volume kanggo nggawe asil sing diklaim bener-bener padhet. Lan kudu nolak ngucapake subyek "rampung," amarga kanthi alat anyar sing kasedhiya, matématika wis "matang kanggo diselidiki luwih lanjut."

Dalan lawas sing ora kejawab dening apa sing diarani Calegari minangka "bypass galaksi" saka bukti sing dibantu AI isih ana, ujare, lan para matématikawan kudu ngupayakake - lan, sing paling penting, "kita kudu menehi ganjaran prilaku kasebut nalika menehi kerja kanggo wong." Esai kasebut ngemot cathetan kaki saka Tao sing nyathet kiriman kasebut wiwitane ditulis ing format file sing beda-beda lan diowahi nggunakake AI, ironi cilik sing negesake carane alat kasebut wis nembus karya saben dinane ing lapangan.

Bagéyan saka Hitungan Luwih Ageng

Esai kasebut tiba ing tengah-tengah taun gesekan sing saya tambah antarane matématikawan lan laboratorium AI. AI Buzz Wire sadurunge wis nglaporake babagan matématikawan sing nuntut bukti manawa model OpenAI ora dilatih ing diskusi pribadi, ing 25 medali Fields kalebu Terence Tao nyatakake "misalignment parah" antarane AI lan matématika, babagan keprihatinan Institut Studi Lanjut babagan 377 asil matématika sing asalé saka AI, lan amarga saham AI sing ora dianyari kanthi apik, lan amarga saham AI ora bisa dianyari. masalah mbukak.

Ingkang ndadosaken karangan enggal inggih menika owahipun dedeg piadeg. Cathetan sing dominan ing tanggapan sadurunge yaiku weker; Calegari minangka adaptasi. Teknologi kasebut, ing ngendikane, ora bakal ilang, pratelan sing luar biasa ora bakal ilang, lan siji-sijine variabel sing dikontrol lapangan yaiku respon dhewe - carane nerbitake, carane nglatih, lan sapa sing nyewa.

---

Tetep Ahead of AI

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

Waca liyane AI warta →