Claude Anthropic Nggawe Terobosan Matematika sing Ora Dikarepke ing Fungsi Riemann Zeta, Nyurung 41,6% Ikatan dadi 67,2%

Versi riset Anthropic's Claude sing durung dirilis wis nambah asil matematika sing wis suwe disambungake karo hipotesis Riemann, ngunggahake wates ngisor sing dikenal kanggo fraksi nol sing cocog saka 41,6% dadi 67,2%. Terobosan kasebut, sing diterbitake dening Anthropic tanggal 10 Agustus 2026, ora dadi proyek riset sing ditargetake, nanging minangka produk sampingan sing ora dikarepke saka tantangan kasual: njupuk tusukan nyata ing salah sawijining masalah sing paling misuwur sing durung dipecahake ing kabeh matematika. Kanggo perkembangan paling anyar babagan panemuan sing didorong AI, tututi AI Buzz Wire kanggo liputan sing terus-terusan.

Hipotesis Riemann, pisanan diusulake dening Bernhard Riemann ing taun 1859, babagan distribusi nomer prima lan entuk hadiah siji yuta dolar saka Institut Matematika Clay. Iku tetep unproven. Nalika Claude ora ngrampungake hipotesis kasebut dhewe, karya model ing sub-masalah sing gegandhengan nggambarake kemajuan asli ing teori angka - sing wis divalidasi dening matématikawan manungsa.

Carane Tantangan Diwiwiti

Upaya kasebut diwiwiti nalika Jarred Sumner, anggota staf Anthropic sing dudu ahli matematika, njalari Claude "njupuk nyata" ing hipotesis Riemann, ninggalake kabeh keputusan matematika nganti model kasebut. Usaha awal Claude melu ngasilake lan nguji kira-kira 650 gagasan, ora ana sing ngasilake asil. Sawise Sumner nyengkuyung model kasebut kanggo nyoba maneh, Claude ngentekake kira-kira sedina setengah dina kanggo koordinasi kira-kira 60 subagen sing nliti masalah kasebut kanthi luwih jero.

Nalika nyoba kaloro iki, Claude nemokake cara kanggo ngluwihi wates ngisor sing paling canggih. Model kasebut nemokake yen nggabungake asil saka matématikawan Baluyot, Goldston, Suriajaya, lan Turnage-Butterbaugh karo karya sadurungé dening Bombieri nyedhiyakake dalan kanggo nyurung proporsi nol sing dikawruhi kanthi hipotesis saka 41,6% dadi 67,2%.

Sistem Self-Checking, Self-Doubting

Apa sing ndadekake asil kasebut nggumunake yaiku kepiye Claude verifikasi temuan dhewe sadurunge nampilake. Model kasebut ngirim subagen kanggo mriksa bukti, nelusuri conto kontra, download 54 makalah saka arXiv kanggo konfirmasi asil kasebut durung diterbitake, lan kanthi mandiri mbuktekake temuan kasebut saka awal. Kabeh gaweyan nggunakake 31 yuta token output ing rong sesi ing Claude Code.

Mungkin sing paling nggumunake, Claude wiwitane ora percaya karo asile dhewe. Model kasebut wis sinau saka data latihan babagan angel banget babagan masalah mbukak ing matematika lan watesan sistem AI sing dikenal. Kacarita njupuk pituduh sing nyemangati sadurunge Claude nampa manawa temuan kasebut sah. Minangka Anthropic nyathet ing woro-woro sawijining: "Mbok menawa Claude, kaya akeh kita, underestimates tingkat kemajuan AI."

Validasi Manungsa lan Verifikasi Formal

Temuan kasebut ora mung adhedhasar tembung Claude. Loro matematikawan ing Anthropic — Levent Alpöge lan Ralph Furman — nyinaoni karya Claude lan ngasilake cathetan teknis informal kanggo para ahli. Alpöge sadurunge wis dadi berita utama amarga nggunakake Claude kanggo mbantah dugaan Jacobian sing umure 87 taun, terobosan matematika sing kapisah dilaporake ing wulan Agustus.

Claude uga ngasilake bukti resmi asil sing dicenthang mesin nggunakake Lean, asisten bukti sing verifikasi argumen matematika nganggo piranti lunak. Formalisasi, digawe karo anggota staf Anthropic Eric Easley, ngliwati alat validasi standar sing diarani komparator.

External experts Brian Conrey lan Dan Goldston, loro dikenali panguwasa ing sinau saka fungsi Riemann zeta, sinaoni kertas ing short kabar lan divalidasi pendekatan.

Apa Tegese Asil

Fungsi Riemann zeta nggambarake distribusi nomer prima: saben nol fungsi nyumbang rinci sing luwih apik kanggo urutan prima. Hipotesis Riemann prédhiksi yen kabeh nol sing nemtokake prima dumunung ing sadawane garis vertikal siji ing bidang kompleks. Mbuktekaken iki wis dadi salah siji saka conjectures paling consequential ing matématika, karo atusan asil gumantung ing minangka asumsi.

Nalika ora ana sing mbuktekake utawa mbantah hipotesis lengkap, para matématikawan wis nambah kemajuan kanthi ngitung proporsi minimal nol sing ana ing garis kasebut. Sajrone pirang-pirang dekade riset, konstanta sing dikenal wis didorong dadi 41,6%. Dandan Claude dadi 67,2% minangka lompat tunggal paling gedhe ing ukuran iki sajrone pirang-pirang taun.

Anthropic ngelingake yen teknik sing digunakake Claude ora bisa nyebabake bukti lengkap hipotesis Riemann. Nanging, asil kasebut nuduhake manawa model AI bisa nggedhekake jangkauan ide para ahli matematika ing arah anyar lan kadhangkala kaget.

Pola Penemuan Matematika AI

Riemann zeta advance ngetutake dhaptar terobosan matematika sing dibantu AI. Sadurunge ing 2026, model OpenAI sing diarani Astra ngrampungake sepuluh masalah matematika sing durung rampung kanthi bukti sing wis dicenthang mesin. Claude Fable 5 dhewe Anthropic wis mbantah ramalan Jacobian minggu sadurunge. Asil kasebut nuduhake manawa model AI wates ngluwihi pangenalan pola lan nggawe teks menyang wilayah riset matematika sing asli.

Temuan Claude Riemann zeta beda-beda ing siji babagan: iki dudu produk saka program riset sing diarahake. Muncul nalika non-matématikawan takon model AI pitakonan ora masuk akal, lan model mangsuli karo soko durung ketemu manungsa sadurunge.

Tetep Ahead saka AI

Kanggo warta AI paling anyar, terobosan riset, lan analisis industri, bukak AI Buzz Wire.

Waca liyane warta AI