OpenAI wis nerbitake temuan babagan 377 masalah riset matematika, ujare perusahaan kasebut ing kiriman blog kanthi judhul "Nuduhake kemajuan AI ing matematika" sing diterbitake ing dina Selasa, 6 Oktober 2026, ing penurunan matematika utama nomer loro sajrone pirang-pirang wulan.
Asil kasebut kalebu aljabar, ilmu komputer teoretis, lan logika matematika, lan teka mung sawetara minggu sawise OpenAI ngaku solusi kanggo persamaan Navier-Stokes, salah sawijining masalah sing ora bisa ditanggulangi paling misuwur ing donya kanthi hadiah $ 1 yuta. Sing pratelan sadurungé wis dibagi matématikawan; rilis minggu iki luwih gedhe wis ngasah debat. Kanggo para pamaca sing ngetutake kabar AI bubar, episode kasebut wis dadi tes sing paling jelas babagan carane komunitas riset kudu nangani asil sing digawe mesin sing ora bisa diverifikasi kanthi gampang manungsa.
Apa OpenAI Sejatine Dirilis
Miturut The Guardian, OpenAI nerbitake "luwih saka 370 asil matematika ing macem-macem topik kayata aljabar, ilmu komputer teoretis lan logika matematika." New York Times nyathet 377 masalah, dene New Scientist nglaporake manawa rilis kasebut kalebu 722 panemuan matematika nalika asil tambahan diitung. Jumlah sing beda-beda nggambarake macem-macem cara ngelompokake lemmas, corollaries, lan solusi lengkap menyang "asil" diskrit.
Skala kasebut ndadekake para pengamat kaget. Ing ngendi pratelan Navier-Stokes wulan kepungkur nglibatake siji, asil sing diteliti kanthi rapet, rilis iki langsung teka - atusan temuan ing pirang-pirang subfield, sing digawe dening model internal OpenAI sing paling maju. Crita kasebut entuk liputan saka The Washington Post, The Economist, The Wall Street Journal, lan Fortune sajrone sedina, lan kiriman blog OpenAI paling dhuwur ing Hacker News kanthi luwih saka sewu upvotes.
Institut Studi Lanjut Nyurung Mbalik
Institut Studi Lanjut ing Princeton, New Jersey - omah para tokoh sing wis suwe kaya Einstein lan von Neumann - ujar manawa ora nyetujoni praktik nguji model perbatasan nglawan masalah mbukak lapangan sing paling angel, utamane nalika pakaryan kasebut ana ing mburi lawang sing ditutup.
"Saiki kedadeyan yen AI bisa ngasilake argumen matematika ing kahanan tanpa manungsa sing nyebabake bisa ngerti argumen kasebut, verifikasi, utawa tanggung jawab," ujare organisasi kasebut ing pratelan. "Kita yakin manawa pangerten manungsa babagan matematika tetep penting."
Keprigelan ora yen asile mesthi salah. Iku sing matématika minangka disiplin gumantung ing verifikasi, lan banjir saka mesin-kui claims sing ora manungsa wis dicenthang lungguh uneasily karo norma-norma sarjana.
Tanggapan OpenAI: Kursi ing Meja
Kanggo ngatasi reaksi kasebut, OpenAI ngumumake bakal kerja sama karo Institut Studi Lanjut kanggo menehi "swara para ahli matematika babagan cara kita maju." Apa sing ora ditindakake dening perusahaan, The Guardian nyathet, yaiku owah-owahan ing praktik dhasar: OpenAI ora menehi indikasi manawa bakal mandheg nyoba masalah lanjut ing model internal kepemilikan.
Dewan penasihat Institut uga njaluk lab AI supaya menehi "akses sing adil" menyang sistem perbatasan. "Panggunaan model internal kepemilikan dening lab AI kanggo nindakake risiko riset matematika nggawe sistem rong tingkat ing ngendi lab ngluwihi lapangan liyane, kanthi efektif ngasingake komunitas matematika saka disiplin dhewe," tulis klompok kasebut.
'Njupuk Karya Wong lan Rampungake'
Matématikawan sing cedhak karo masalah sing kena pengaruh mundhakaken masalah subtler: kredit. Tristan Buckmaster, matématikawan Universitas New York sing nggarap masalah Navier-Stokes, ngandhani The New York Times manawa peneliti sing njaluk model AI bisa uga nyedhiyakake kemajuan sebagian model kasebut banjur rampung.
"Ana kemungkinan akeh asil sing ditindakake dening wong liya lan banjur rampung," ujare Buckmaster.
Yen akurat, dinamika kasebut nyebabake atribusi lan evaluasi. Asil sing katon kaya terobosan mesin independen bisa uga dadi langkah pungkasan ing scaffold sing digawe manungsa - sing ora nate disepakati manungsa.
Apa Tegese kanggo Riset AI
Rilis matematika dadi pertunjukan ambalan kanggo kapabilitas lab perbatasan, lan tes stres sing terus-terusan babagan cara ilmu nyerep output mesin. Framing Wall Street Journal njupuk whiplash: AI ngrampungake siji masalah matematika lan kabeh wong wedi - saiki wis retak atusan liyane.
Telung pitakonan bakal mbentuk apa sing bakal kelakon sabanjure. Pisanan, verifikasi: matématikawan independen mbutuhake pirang-pirang wulan kanggo mriksa sanajan bagian sekedhik saka 377 asil, lan kesalahan, yen ditemokake, bakal entuk kredibilitas OpenAI. Kapindho, akses: apa laboratorium mbukak model sing paling kuat kanggo peneliti njaba, kaya sing dikarepake Institut, utawa tetep ditutup. Katelu, precedence: kaya sing disaranake Buckmaster, lapangan kasebut mbutuhake norma anyar kanggo menehi bukti kolaborasi manungsa-AI.
OpenAI ora nanggapi panjaluk komentar babagan kritik kasebut, miturut The Guardian. Apa kemitraan karo Institute for Advanced Study ngasilake norma-norma sing bisa ditindakake - utawa mung nyathet ora setuju - bakal nemtokake manawa matématika tetep dadi pathokan utama kanggo kemajuan AI, utawa dadi lapangan pisanan sing sacara resmi mundur.
Tetep Ahead of AI Waca liyane warta AI ing AI Buzz Wire
