Bukti sing diprodhuksi dening intelijen buatan lan diumumake awal wulan iki minangka bagean saka 377 asil matematika sing asale saka AI menangake para ahli manungsa sing wis ngentekake rong minggu kepungkur. Nulis ing 19 Oktober, Majalah Quanta nglaporake manawa para ahli teori angka saiki wis mbongkar bukti sing digawe AI saka hipotesis kuasi-Riemann - versi sing luwih lemah saka hipotesis Riemann, bisa uga dadi pitakonan mbukak paling gedhe ing matematika - lan putusan kasebut luar biasa tegas.
Jared Duker Lichtman saka Universitas Stanford nyebat "prestasi AI-kanggo-matematika sing paling signifikan nganti saiki, kanthi wates sing cukup." Maksym Radziwiłł saka Universitas New York, sing karya dhewe ndhukung bagean bukti kasebut, nggambarake implikasi kasebut minangka "nggumunake." For more context on this story, see our ongoing more AI stories.
Apa Klaim Hipotesis Quasi-Riemann
Hipotesis Riemann wis mbukak luwih saka 160 taun. Iki gegayutan karo fungsi zeta Riemann lan lokasi nol nontrivial, lan ana hubungane karo cara disebarake nomer prima ing antarane wilangan bulat. Amarga prima minangka blok bangunan aritmetika, bukti bakal mbentuk maneh area téori nomer sing gedhé.
Hipotesis iku salah siji saka pitung Millennium Prize Masalah dijenengi dening Clay Mathematics Institute, lan iku mung masalah digawa liwat saka dhaftar misuwur David Hilbert kang 23 masalah announced abad sadurungé.
Balung teknis, kaya sing diandharake Quanta, wis dipetakan kanthi langkah-langkah kanggo generasi. Riemann nuduhake ing 1859 yen fungsi zeta nul nontrivial ngatur carane prima lancip metu ing sadawane garis nomer, lan mbuktekaken padha mung bisa njagong nang vertikal Strip ngendi bagean nyata saka input dumunung antarane nul lan siji. Ing taun 1896, loro matématikawan kanthi mandiri nedahaké yèn ora ana angka nol ing pinggir tengen strip - asil sing cukup kuwat kanggo mbuktekaken teorema angka prima. Hipotesis dhewe ngandika kabeh nul nontrivial njagong persis ing garis tengah Strip kang, ngendi bagean nyata witjaksono siji setengah. Nol trivial ing negatif malah wilangan bulat wis dimangerteni kanthi lengkap. Luwih saka 160 taun gaweyan wis narrowed lan probed sing Strip tanpa tau pinning nul mudhun.
Hipotesis kuasi-Riemann, utawa kuasi-RH, minangka pernyataan sing luwih lemah. Sanajan mangkono, akibate meh tekan adoh. "Ing pangertèn, akèh-akèhé akibat saka RH wis tindakake saka quasi-RH," Radziwiłł marang Quanta.
Saka Pengumuman nganti Verifikasi
Asil kasebut pisanan muncul ing 6 Oktober, nalika OpenAI ngumumake 377 asil matematika sing diturunake karo sistem AI. Antarane ahli matematika profesional, woro-woro kasebut wiwitane ketemu karo skeptisisme sing diukur - sistem AI sadurunge wis ngasilake bukti-bukti sing diklaim sing ambruk ing pengawasan ahli, lan verifikasi wis suwe dadi bottleneck sing misahake matematika sing digawe AI saka matematika sing ditampa.
Miturut laporan Quanta, bukti iki beda: ora kaya bukti AI anyar liyane, bukti iki wis dibongkar dening para ahli manungsa. Ahli teori angka kalebu Radziwiłł, Alexander Dunn saka Institut Teknologi Georgia, lan liya-liyane wis ngupayakake argumentasi kasebut wiwit woro-woro kasebut, mriksa langkah-langkah lan netepake ing kawruh sing wis ana.
Cek wis ditahan. "Bukti kasebut minangka sintesis ide sing nggumunake," ujare Dunn, sing bebarengan karo Radziwiłł dadi pionir teknik sing asile gumantung.
Gagasan Lawas, Sambungan Sing Didhelikake
Mbok menawa aspek bukti sing paling nggumunake, ujare ahli matematika marang Quanta, yaiku apa sing ora dibutuhake. Beda karo pangarepan yen ngrampungake hipotesis Riemann sing luwih lemah bakal nuntut mesin anyar, bukti sing diprodhuksi AI ora ngenalake konsep anyar. Nanging, dheweke nemokake sambungan sing didhelikake ing antarane sing wis mapan, nggabungake teknik kanthi cara sing ora ana manungsa.
Pola kasebut - kebaruan liwat sintesis sing ora dikarepke tinimbang liwat teori anyar - muncul minangka tandha panemuan matematika sing dibantu AI, lan ndadekake para peneliti nimbang maneh ing ngendi kontribusi mesin kanggo matématika paling mungkin teka luwih dhisik.
Napa Penting kanggo Riset AI
Asil sing diverifikasi minangka tonggak sejarah kanggo AI kanggo matématika, lapangan sing wis nyepetake kanthi cepet amarga model penalaran wis saya apik. Pengumuman OpenAI tanggal 6 Oktober, sing kita bahas nalika Institute for Advanced Study ngangkat pitakonan babagan batch asil, minangka klaim tunggal paling gedhe babagan matematika asale AI nganti saiki. Bukti kuasi-RH minangka asil pisanan saka kumpulan kasebut kanggo nampa maca-liwat pakar sing rinci, lan wis slamet.
Kanggo lab AI, episode kasebut nuduhake alur kerja sing bisa dadi standar: model ngasilake bukti calon kanthi skala, lan para ahli manungsa nyoba, verifikasi, lan nyerep asil sing penting. Kanggo matématikawan, akibat langsung luwih sempit nanging nyata - awak akibat saka hipotesis Riemann sing ora mbutuhake konjektur lengkap.
Quanta nyathet yen para ahli matematika mung wiwit ngupayakake apa tegese bukti kanggo lapangan kasebut. Kaya sing dicritakake Radziwiłł, implikasi kasebut "nggumunake" - adjective arang banget ditempelake ing asil sing mandheg saka hipotesis lengkap.
Babagan kasebut uga nemtokake pathokan kanggo klaim ing mangsa ngarep. Laboratorium AI apa wae sing ngumumake terobosan matematika saiki bakal diukur karo kuasi-RH: asil sing diklaim sing wis dicenthang, diverifikasi, lan ditampa dening para ahli sing paling apik kanggo mbantah.
Ora ana sing ngrampungake hipotesis Riemann dhewe. Konjektur lengkap tetep mbukak, lan kuasi-RH luwih lemah. Nanging kanggo pisanan, sistem AI wis ngasilake bukti ing wates teori angka analitik sing spesialis terkemuka ing wilayah kasebut wis mbongkar lan nyetujoni - kasunyatan sing bisa uga ujar babagan masa depan riset matematika kaya teorema kasebut.
Artikel iki adhedhasar laporan dening Majalah Quanta, diterbitake 19 Oktober 2026.
---
Stay Ahead of AIGet the latest AI news, analysis, and breakthroughs — all in one place.
Read more AI news →
