Mung sedina sawise OpenAI nggawe model sing paling kuat sing umume kasedhiya, perusahaan kasebut ujar manawa sistem kasebut wis ngasilake bukti lengkap babagan Cycle Double Cover Conjecture - masalah mbukak sing dirayakake ing teori grafik sing wis nolak ahli matematika nganti kira-kira setengah abad.

Peneliti OpenAI Ethan Knight ngumumake asil kasebut ing Juli 10, 2026, ngirim GPT-5.6 Sol Ultra "ngasilake bukti saka Cycle Double Cover Conjecture sing umure 50 taun nggunakake 64 subagen sajrone sak jam." Klaim kasebut kanthi cepet munggah ing ndhuwur Hacker News, narik atusan komentar saka matématikawan lan insinyur sing debat apa bukti kasebut tetep.

Kanggo sapa wae sing nglacak pangembangan AI paling anyar, asil kasebut minangka demonstrasi sing apik babagan model ngarep - lan pangeling yen klaim matematika isih kudu dicenthang kanthi cara sing lawas.

Apa Siklus Dobel Cover Conjecture?

Konjektur kasebut dumunung ing cabang matematika sing diarani teori graf. Ing istilah kosong, takon pitakonan prasaja deceptively: bisa sudhut sembarang "bridgeless" graph - siji tanpa pinggiran kang aman bakal misahake - tansah dijamin dening koleksi siklus supaya saben pinggiran katon persis kaping pindho?

Masalah kasebut ditindakake kanthi mandiri dening sawetara ahli matematika sajrone pirang-pirang taun, kalebu Paul Seymour ing 1979 lan George Szekeres ing 1973, kanthi oyod sadurunge karya W. T. Tutte lan Alon Itai lan Michael Rodeh. Senadyan pratelan sing prasaja, iki dadi salah sawijining masalah sing ora bisa ditanggulangi ing lapangan, lan asil sebagean mung dikenal kanggo kelas grafik khusus.

Miturut cathetan bukti sing diterbitake OpenAI, argumentasi kasebut nyuda masalah dadi grafik kubik tanpa loop, banjur gumantung ing asil klasik - téoréma aliran nowhere-nol ing grup F32 (padha karo téoréma 8-aliran Tutte) - lan langkah aljabar linier tombol sing ngowahi labeling pinggiran menyang struktur sing dibutuhake kanggo siklus dobel. Tulisan kasebut mung sawetara kaca lan, utamane, nggunakake "ora ana matematika sing dikembangake sajrone 30 taun kepungkur," kaya sing diamati dening komentator Hacker News.

Carane GPT-5.6 Sol Ultra nyedhaki Iku

Sing mbedakake asil iki saka jawaban chatbot biasa yaiku carane model kasebut disebarake. GPT-5.6 Sol Ultra mlaku ing mode "multiagent v2" OpenAI, muter sistem nganti 64 subagen kerja sama sing njelajah macem-macem strategi bukti kanthi podo karo. OpenAI nerbitake pituduh lengkap bebarengan karo bukti, menehi tampilan langka ing pandhuan sing diwenehake menyang sistem kasebut.

Pandhuan kasebut mrentahake model kasebut supaya "nggunakake multiagent v2 kanthi agresif lan dinamis," kanggo njaga "pendekatan portofolio macem-macem," lan nyebarake agen adversarial kanggo mriksa bukti calon apa wae kanggo pitfalls umum - kayata jalur tertutup sing masquerading minangka siklus utawa alesan bunder sing ora disengaja. Malah ujar manawa sistem kasebut "ngentekake paling ora 8 jam kanggo iki sadurunge mikir bali utawa nyerah," sanajan balapan pungkasan dilaporake rampung sajrone sejam.

Ing bagean "Pernyataan panggunaan AI" cathetan bukti, OpenAI jelas: "Bukti ing cathetan iki kabeh amarga GPT 5.6 Sol Ultra lan nulis nganggo Codex (karo GPT 5.6 Sol)."

Durung Kabeh Wis Percoyo

Komunitas matématika wis nanggepi karo campuran kasenengan lan ati-ati - lan skeptisisme kasebut uga diselehake. Wiwit diterbitake, bukti kasebut durung diverifikasi sacara resmi ing asisten bukti kayata Lean, utawa ora lulus tinjauan peer tradisional.

Ing Hacker News, sawetara komentator nyathet yen bukti sing cendhak lan elegan saka konjektur sing misuwur kudu ditliti kanthi ati-ati. "Iki minangka bukti sing cendhak banget sing ora nggunakake matematika sing dikembangake sajrone 30 taun kepungkur," tulis salah sawijining pangguna. "Sing ora mesthi salah, nanging yen ora ana mekanisasi ing Lean utawa review peer sing tepat, aku rumangsa durung wayahe ngirim iki."

Liyane nuduhake yen perpustakaan bukti formal sing unggul ing teori grafik durung cukup diwasa kanggo mriksa asil tingkat riset kaya iki, tegese verifikasi bisa uga kudu teka saka pakar manungsa sing maca argumentasi baris demi baris. OpenAI dhewe nggawe woro-woro kasebut minangka bagean saka pola sing luwih jembar: "Komputasi luwih akeh wektu tes nyebabake intelijen sing luwih gedhe," ujare perusahaan kasebut, menehi tandha manawa pendekatan multiagen - dudu asil siji iki - minangka crita nyata sing pengin dicritakake.

Apa Sing Penting

Sanajan bukti Cover Double Siklus pungkasane mbutuhake koreksi, episode kasebut menehi tandha owah-owahan sing penting babagan model basa gedhe sing bisa ditindakake ing matématika murni. Sistem AI Frontier sadurunge wis ngasilake asil riset novel ing domain khusus - kalebu klaim anyar liyane babagan masalah sing ditanggulangi ing geometri lan kombinatorik - nanging nyerang konjektur sing wis dijenengi, pirang-pirang dekade kanthi sekumpulan agen penalaran sing koordinasi mundhak banget.

Kanggo peneliti, takeaway ana loro. Kaping pisanan, resep multiagen - akeh usaha mandiri, penyerbukan silang gagasan, lan audit adversarial - katon minangka cithakan sing bener-bener migunani kanggo ngrampungake masalah. Kapindho, bottleneck verifikasi saiki ana ing manungsa: model kasebut bisa ngasilake bukti calon luwih cepet tinimbang sing bisa dipriksa dening komunitas.

Ketegangan kasebut bisa uga nemtokake fase sabanjure matématika sing dibantu AI. Minangka salah siji commenter sijine iku, yen bukti iki terus munggah, "ana sing arep miwiti dhaftar" masalah long-ngadeg liyane kanggo uncalan ing generasi sabanjuré model.

Saiki, matématikawan bakal maca cathetan telung kaca kasebut kanthi teliti - potlot ing tangan - nalika industri AI liyane nonton kanggo ndeleng apa gaweyan jam GPT-5.6 dadi bagéan saka rekaman matematika permanen.

Tetep Ahead saka AI

Kanggo luwih akeh babagan terobosan model frontier lan jangkoan riset AI, bukak homepage AI Buzz Wire.

Waca liyane warta AI →