Pukul 12 dini hari tanggal 11 Juli, OpenAI secara resmi mengumumkan: GPT-5.6 Sol Ultra berhasil membuktikan 'Konjektur Cakupan Ganda Siklik' yang telah membingungkan dunia matematika selama 50 tahun!
Yang lebih mengejutkan, dalam waktu kurang dari satu jam, ia telah menghasilkan sebuah bukti yang lengkap.
Dulu, setelah Konjektur Cakupan Ganda Siklik dikemukakan oleh beberapa ahli matematika legendaris, ia bagaikan sebuah gunung besar yang menghadang di bidang teori graf, membuat para ahli matematika top dunia mundur teratur.
Sekarang, gunung besar ini telah diinjak-injak oleh AI dalam waktu kurang dari satu jam.
Peneliti OpenAI, Noam Brown, berkomentar dengan penuh kekaguman: "Ini berbeda dengan penyelesaian masalah jarak satuan Erdős sebelumnya, model yang menciptakan keajaiban kali ini adalah yang tersedia untuk umum hari ini!"
Netizen berteriak kagum: Buktinya luar biasa, AI mengubah matematika!
Kutukan Matematika yang Melayang-Layang Seperti Hantu Selama 50 Tahun
Konjektur Cakupan Ganda Siklik adalah salah satu teka-teki 'tingkat mahkota' dalam teori graf, dikemukakan secara independen oleh beberapa ahli matematika seperti Tutte, Itai dan Rodeh, Szekeres, Seymour pada abad lalu.
Secara sederhana, konjektur ini berbunyi: "Setiap graf hingga tak berarah tanpa jembatan, memiliki sebuah himpunan yang terdiri dari siklus-siklus, sedemikian rupa sehingga setiap sisi dalam graf tersebut tepat termuat dalam dua siklus."
Dengan kata lain, dalam sebuah jaringan jalan kota yang rumit dan saling terkait, di jaringan jalan ini, tidak ada satu pun jalan yang merupakan satu-satunya akses.
Konjektur ini menyatakan: Anda pasti dapat menemukan beberapa 'rute bus lingkar' yang memastikan setiap jalan di kota ini dilalui tepat oleh dua bus. Tidak lebih, tidak kurang, tepat dua kali.
Selama setengah abad, para ahli matematika telah memeras otak untuk membuktikan konjektur ini.
Jaeger membuktikan bahwa graf planar berlaku;
Szekeres membuktikan bahwa graf kubik yang dapat diwarnai dengan 3 sisi berlaku;
Alspach, Goddyn, dan Zhang membuktikan bahwa graf tanpa jembatan yang tidak memiliki subgraf Petersen berlaku.
Namun, semua ini adalah kondisi tambahan, 'bukti afirmatif lengkap' yang paling utuh, tetap tidak ada yang mampu menyelesaikannya, hingga munculnya GPT-5.6 Sol Ultra.
Cara OpenAI: Bukan Satu AI yang Berpikir, Tapi 64 AI yang Rapat
Bagaimana OpenAI membuat GPT-5.6 menaklukkan teka-teki ini?
Dalam dua file PDF yang mereka bagikan, yaitu prompt tugas dan teks bukti lengkap, kami menemukan jawabannya.
Dalam sistem ini, AI dibagi menjadi 64 agen cerdas independen yang berjalan secara konkuren, membentuk sebuah tim penyerang khusus penelitian.
Dalam prompt, OpenAI menetapkan aturan yang sangat ketat, menghindarkan AI dari semua kesalahan yang pernah dialami dalam penelitian manusia.
Pertama, sistem menolak 'keseragaman', melarang penggunaan metode kaku seperti 'membagi N agen dengan strategi X'.
Pada putaran pertama, harus mengeksplorasi jalur yang benar-benar berbeda—dari perspektif aljabar, induksi struktural, formulasi medan aliran, metode penyematan hingga metode parameter ekstrem.
Kedua, sistem secara mutlak melarang memberi tahu sebagian besar AI skema mana yang paling diunggulkan saat ini.
Hal ini sangat fatal dalam penelitian manusia—begitu seorang pakar mengusulkan arah yang tampak menjanjikan, semua orang akan berduyun-duyun mengikutinya.
Hal yang paling mengagumkan adalah mekanisme 'tim penyidik'.
Dari 64 agen cerdas, sebagian berperan khusus sebagai 'pembantah'. Setiap bukti kandidat yang diusulkan akan diserang dengan ganas.
"Apakah sisinya benar-benar hanya dicakup dua kali? Hitungannya salah tidak?" "Apakah kamu menganggap jalan buntu berulang sebagai siklus?" "Apakah induksi ini diam-diam memasukkan jembatan?"
Hanya bukti yang dapat bertahan setelah dikoreksi secara ketat yang berhak masuk ke putaran berikutnya.
Selain itu, AI juga dilarang keras memberikan janji muluk.
Sistem dengan keras memperingatkan AI: Menolak ketidakjelasan seperti 'langkah ini jelas berlaku'. Harus memberikan lemma spesifik, konstruksi, persamaan, atau contoh penyangkal.
Jika menemui jalan buntu, segera tandai sebagai 'tersumbat', dan dilarang membuang daya komputasi lagi kecuali mengusulkan mekanisme baru.
Di akhir prompt, AI diperintahkan: "Habiskkan setidaknya 8 jam untuk ini, baru kemudian pertimbangkan untuk menyerah atau mengembalikan hasil. Jangan hanya memberi saya hasil parsial, berhentilah hanya ketika menemukan bukti afirmatif lengkap dan lolos pemeriksaan."
Namun, yang mengejutkan, tim penyerang AI ini hanya membutuhkan waktu kurang dari 1 jam untuk kembali dengan kemenangan membawa makalah matematika yang sempurna tanpa cacat.
Keajaiban Satu Jam—Bagaimana AI Menganalisis Secara Detil
Di dalam satu jam itu, 64 agen ini mengalami badai pikiran seperti apa?
Membuka file PDF kedua—"Pembuktian Konjektur Cakupan Ganda Siklik", kita dapat dengan jelas melihat jalur penalaran AI yang membuat kita berdecak kagum.
Seluruh teks dihasilkan oleh GPT-5.6 Sol Ultra, dan akhirnya diselesaikan tata letaknya dengan bantuan Codex.
Strategi pembuktian AI dapat disebut sebagai 'operasi reduksi dimensi' yang cerdik.
Langkah pertama: Menyederhanakan yang kompleks, mengunci graf kubik
Tim penyerang AI pertama-tama mengonfirmasi kesimpulan Jaeger sebelumnya: selama membuktikan bahwa 'graf kubik tanpa siklus' berlaku, itu sama dengan membuktikan semua graf berlaku.
Karena semua graf dapat direduksi ke dalam kategori graf kubik melalui transformasi topologi.
Langkah kedua: Memperkenalkan teorema '8-aliran' yang ajaib
Ini adalah langkah paling menakjubkan di seluruh teks.
AI mengeluarkan 'Teorema Aliran Grup' (Group-flow theorem) dari master teori graf Tutte.
Memanfaatkan fakta yang telah dibuktikan sebelumnya bahwa graf tanpa jembatan memiliki '8-aliran yang tidak nol di mana-mana', AI memberikan setiap sisi pada graf sebuah label elemen bukan nol dari medan hingga
(sebuah ruang vektor tiga dimensi yang terdiri dari 8 elemen).
Keajaiban label ini terletak pada: Di setiap persimpangan (titik) dalam graf, jumlah vektor yang keluar dan masuk pasti nol.
Langkah ketiga: Membangun metode pelabelan 'himpunan dua elemen' (Lemma 2.1)
Ini benar-benar 'sihir' yang diciptakan sendiri oleh AI.
AI mengusulkan sebuah lemma: Jika setiap sisi dapat diberikan sebuah himpunan yang berisi dua elemen
, dan memenuhi syarat bahwa untuk setiap titik, setiap elemen muncul 0 kali atau 2 kali—maka, graf ini pasti memiliki 'cakupan ganda siklik'.
Ini seperti memberikan dua plat nomor khusus untuk setiap jalan, asalkan setiap persimpangan empat, plat nomor dengan warna yang sama selalu keluar dan masuk berpasangan, maka pembuktian dapat diselesaikan.
Langkah keempat: Serangan pamungkas—pukulan reduksi dimensi aljabar linear (Lemma 2.2)
Bagaimana membuktikan pasti dapat menemukan 'dua plat nomor' seperti itu? AI menunjukkan sisi terkuatnya sebagai mesin—mengubah masalah teori graf topologi, secara paksa menjadi sebuah sistem persamaan aljabar linear yang sangat besar.
Ia menetapkan sebuah sistem persamaan:
Dengan membangun ruang vektor dual, memanfaatkan hubungan antara ranah peta dan ruang nol dari pemetaan linear, AI melakukan deduksi aljabar yang tak terbantahkan (proses deduksi lihat rumus 5 sampai 9 di PDF).
Akhirnya membuktikan, sistem persamaan ini selalu memiliki solusi!
Ketika rumus (8) dan (9) ditutup, dan akhirnya menyimpulkan sama dengan 0 (di dalam medan
), pembuktian berakhir.
Demikianlah, dengan mengandalkan logika murni, teori grup, medan aliran, dan aljabar linear, kunci yang telah dicari-cari manusia selama 50 tahun, ditempa oleh 64 agen AI dalam enumerasi dan verifikasi silang yang sangat cepat!
Rahasia Pemecahan: 'Komputasi Saat Pengujian'
Sekali berita ini tersebar, seluruh lingkaran AI dan dunia matematika terguncang.
Ilmuwan penelitian penalaran OpenAI, Noam Brown, tidak dapat menyembunyikan kegembiraannya, mengirimkan beberapa tweet berturut-turut, mengungkap logika mendasar di balik terobosan ini—Komputasi Saat Pengujian Paralel (TTC).
Noam Brown menunjuk: "Meningkatkan TTC model (membuatnya berpikir lebih lama) dapat membawa kecerdasan yang lebih tinggi. Tetapi jika kita memperpanjang waktu berpikir dari beberapa detik menjadi beberapa minggu, penundaan akan menjadi hambatan besar. Kehebatan GPT-5.6 Sol Ultra terletak pada kemampuannya memperluas TTC paralel. Memecahkan teka-teki berusia 50 tahun yang awalnya mungkin membutuhkan waktu satu hari penuh, sekarang ditekan menjadi hanya satu jam."
Ethan Knight juga mengumumkan: "Kami hari ini secara resmi membuka GPT-5.6 Sol Ultra secara penuh. Sangat menarik melihatnya, dalam waktu kurang dari satu jam, dengan 64 sub-agen, membuktikan Konjektur CDC berusia 50 tahun!"
Netizen di kolom komentar mengungkapkan kegembiraan dan rasa tidak percaya mereka.
Netizen berteriak: "Penalaran paralel akan mendefinisikan ulang batas kemungkinan komputasi!"
Netizen @Mikhail Rogov dengan tajam menunjuk: "Memendekkan waktu dari satu hari menjadi satu jam, ini benar-benar bentuk produk yang berbeda. TTC paralel membuat penalaran yang berjalan lama menjadi praktis dan dapat digunakan."
Selain itu, ada juga yang merasa merinding: "TTC paralel ditambah ledakan daya komputasi, rasanya seperti peningkatan satu orde besaran. Ditambah kemajuan algoritma, model yang lebih besar, dan daya komputasi yang lebih banyak, segalanya mulai menjadi sedikit menakutkan......"
Tentu saja, ada juga suara keraguan yang bijak.
Seseorang mengajukan pertanyaan mendalam: "TTC paralel memang berperan, tetapi pertanyaan yang tak terucapkan adalah: Kualitas pencarian independen oleh 64 agen, apakah setara dengan rantai logika penalaran tunggal yang panjang dan kontinu? Luas dan kedalaman tidak selalu dapat dipertukarkan."
Bahkan ada yang menyerukan kepada Noam Brown, menyarankan OpenAI merekrut fisikawan terhebat masa kini Edward Witten dan jenius matematika Terence Tao: "Bawa mereka, saya yakin mereka dapat memikirkan ide-ide gila yang langsung membawa kita menuju ASI!"
Kemampuan GPT-5.6 menyelesaikan teka-teki matematika ini, mungkin belum sepenuhnya mencapai ASI.
Tetapi, mampu secara mandiri menyelesaikan seluruh proses mulai dari dekomposisi masalah, konstruksi model, deduksi logika hingga menghasilkan makalah akademis yang ketat dalam waktu 1 jam, menunjukkan bahwa AI di bidang penalaran logika abstrak tingkat tinggi telah melampaui manusia.
Hari ini, 64 agen cerdas menghabiskan 1 jam untuk menyelesaikan konjektur teori graf berusia 50 tahun.
Besok, jika mengerahkan 640.000 agen cerdas, menghabiskan waktu 1 bulan, mungkin dapat menaklukkan superkonduktivitas suhu ruang, fusi nuklir terkendali, menaklukkan kanker.
Kita semakin dekat dengan ASI.
Referensi:
https://x.com/eknight/status/2075643450196971805
https://x.com/SebastienBubeck/status/2075596982622835006?s=20
Artikel ini berasal dari akun WeChat publik "Xin Zhi Yuan", penulis: ASI Apocalypse
