OpenAI wis mbatalake telu saka 722 preprints riset sing diterbitake ing GitHub tanggal 6 Oktober, Retraction Watch dilaporake tanggal 8 Oktober, sawise kesalahan tandha mbatalake argumentasi pusat lan, loro asil sing gumantung ing konstruksi kasebut. Penarikan kasebut kurang saka 24 jam sawise rilis massal, sing ditindakake dening OpenAI minangka upaya "kanggo nyurung wates pengetahuan manungsa lan ngaktifake kemajuan ing matematika."

Pracetak sing diterangake minangka kemajuan model AI internal babagan 372 masalah sing durung rampung ing geometri, ilmu komputer, aljabar, lan lapangan liyane. Pamindhahan kasebut narik kawigaten langsung saka komunitas riset - lan, kaya sing kita bahas ing awal minggu iki ing laporan kita babagan [rilis awal 722 manuskrip matematika] (https://aibuzzwire.news), perusahaan kasebut nggawe gulung minangka demonstrasi sing durung tau sadurunge babagan model perbatasan sing durung dirilis. Tindakake crita paling anyar iki ing jangkoan pangembangan AI paling anyar.

Kesalahan Tandha Mbusak Liwat Bukti Gumantung

Tanggal 7 Oktober, OpenAI ngumumake penarikan telung naskah amarga kesalahan tandha. Miturut woro-woro kasebut, kesalahan kasebut mbatalake argumen ing siji naskah lan konstruksi sing digunakake dening rong makalah sing gumantung. Saben kertas sing ditarik saiki nggawa kabar sing nerangake "kesenjangan."

Perusahaan kasebut uga ujar manawa wis ngrevisi 14 manuskrip liyane kanthi ndandani bukti, pernyataan sing didandani, hipotesis lan dependensi sing luwih jelas, lan siji koreksi kanggo kutipan sing ora ana gunane. Dan Roberts, pimpinan riset ing OpenAI, ngumumake penarikan ing X lan nulis manawa perusahaan bakal "terus nganyari repo kanthi formalisasi anyar lan kanthi kesalahan apa wae sing kita weruh."

Juru bicara OpenAI ngandhani Retraction Watch perusahaan kasebut ngenali kesalahan sajrone audit, nggambarake proses kasebut minangka iteratif "kaya karo manuskrip riset liyane." Juru bicara kasebut nambahake manawa OpenAI nampa pamriksan lan bakal "bisa mbenerake [kesalahan] kanthi cepet lan mbatalake kertas yen ora bisa ditemokake."

Utamane, juru wicoro OpenAI ujar manawa kolaborator perusahaan ing Advisory Group on Mathematics and Artificial Intelligence (AGMAI) nyaranake ngeculake asil kasebut tanpa ngenteni "formalisasi lengkap" - lan kira-kira 50% asil kasebut dirilis tanpa dikonfirmasi.

Matématikawan: Ndandani Cepet, Kapercayan Ilang

Reaksi saka ahli matematika riset diukur nanging ditunjuk. Alex Townsend, profesor matématika asosiasi ing Universitas Cornell, marang Retraction Watch sing kesalahan cascading menyang telung manuskrip ora ngageti, lan sing Suspect liyane kasalahan bakal ketemu. "Amarga skeptisisme AI ing komunitas matematika, aku rumangsa OpenAI kudu ngumumake manuskrip sing diverifikasi Lean luwih dhisik," ujare, nuduhake basa pamrograman open-source sing mriksa bukti matematika kanthi mekanik. Pengumuman sing kapisah banjur bisa ngundang bantuan komunitas kanggo verifikasi liyane, ujare.

Andrew Sutherland, ilmuwan riset senior ing departemen matématika MIT, ujar manawa dheweke ngapresiasi OpenAI sing tumindak kanthi cepet sawise nemokake kesalahan kasebut, kanthi nyebutake minangka "tanggung jawab sing kudu ditindakake." Nanging dheweke negesake manawa akeh matématikawan tetep "ora seneng karo tumindak OpenAI nganti saiki," kanthi khusus nuduhake pengumuman perusahaan tanggal 8 September yen sistem AI wis ngrampungake masalah Navier-Stokes - pratelan klompok peneliti utama sing dikritik amarga cepet-cepet, "ora ana wektu kanggo nulis sing bener, ngisolasi cara anyar lan gagasan sing relevan." Luwih saka 8,000 peneliti wis nyetujoni keprihatinan kasebut.

Asosiasi Matématika Manungsa tindak luwih ing statement dirilis 7 Oktober: "Matématikawan ora njaluk karya iki rampung. Ngeculake liwat 700 file bebarengan ora demonstrasi beasiswa, nanging demonstrasi daya. Kita nggusah matématikawan kanggo mungkasi karya karo OpenAI lan bali menyang sesanti ilmu sing pusat pangerten manungsa. "

Apa Tegese Iki kanggo Ilmu sing Dihasilake AI

Episod kasebut dibentuk minangka kasus uji awal babagan kepiye laboratorium AI kudu nangani riset sing digawe mesin kanthi skala. Pendekatan OpenAI - ngeculake kanthi cepet, audit ing umum, mbatalake apa sing gagal - beda karo pendekatan formal-verifikasi-pisanan sing disenengi para ahli matematika, sing asil dicenthang ing asisten bukti kaya Lean sadurunge ana pengumuman.

Ana bantahan sing cukup ing loro-lorone. Ngenteni formalisasi lengkap bisa nundha asil sing migunani sajrone pirang-pirang wulan, lan OpenAI ujar manawa dirilis kanthi berkah AGMAI. Nanging efek cascade - siji kesalahan tandha njupuk mudhun loro makalah gumantung - nggambaraké kok verifikasi sadurunge publikasi wis pakewuh ing matématika, lan ngapa kasalahan liyane kamungkinan kanggo lumahing minangka masyarakat digunakake liwat isih 700 manuskrip.

Saiki, OpenAI ujar manawa pengin sinau saka umpan balik lan bakal ngetutake protokol AGMAI "sabisa-bisa kita" maju. Apa sing cukup kanggo mbangun kredibilitas karo komunitas matematika iku pitakonan liyane. Minangka Sutherland ngandika: "Aku mbatalake lan koreksi bakal viewed positif dening masyarakat matématika, nanging bakal njupuk luwih saka iku kanggo entuk bali dateng wis ilang."

---

Tetep Ahead of AI

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

Waca liyane AI warta →