GPT-5.6 Sol Ultra OpenAI Menghasilkan Bukti Dugaan Penutup Ganda Siklus Berusia 50 Tahun

Hanya satu hari setelah OpenAI membuat model terkuatnya tersedia secara umum, perusahaan tersebut mengatakan bahwa sistem tersebut telah menghasilkan bukti lengkap dari Dugaan Penutup Ganda Siklus — sebuah masalah terbuka yang terkenal dalam teori grafik yang telah menolak para ahli matematika selama kurang lebih setengah abad.

Peneliti OpenAI Ethan Knight mengumumkan hasilnya pada 10 Juli 2026, dengan memposting bahwa GPT-5.6 Sol Ultra "menghasilkan bukti Dugaan Penutupan Ganda Siklus berusia 50 tahun menggunakan 64 subagen hanya dalam waktu kurang dari satu jam." Klaim tersebut dengan cepat naik ke puncak Hacker News, menarik ratusan komentar dari ahli matematika dan insinyur yang memperdebatkan apakah bukti tersebut benar.

Bagi siapa pun yang melacak perkembangan AI terbaru, hasilnya adalah demonstrasi yang mencolok tentang arah model terdepan – dan sebuah pengingat bahwa klaim matematis mereka masih perlu diperiksa dengan cara lama.

Apa yang dimaksud dengan Dugaan Penutupan Ganda Siklus?

Dugaan tersebut berada pada cabang matematika yang disebut teori graf. Secara sederhana, hal ini mengajukan pertanyaan yang tampaknya sederhana: dapatkah sisi-sisi dari graf "tanpa jembatan" mana pun - yang tidak memiliki sisi yang jika dihilangkan akan memisahkannya - selalu ditutupi oleh kumpulan siklus sehingga setiap sisi muncul tepat dua kali?

Masalah ini diajukan secara independen oleh beberapa ahli matematika selama bertahun-tahun, termasuk Paul Seymour pada tahun 1979 dan George Szekeres pada tahun 1973, yang sebelumnya berasal dari karya W. T. Tutte dan oleh Alon Itai dan Michael Rodeh. Meskipun pernyataannya sederhana, ini menjadi salah satu masalah paling terkenal yang belum terpecahkan di lapangan, dan sebagian hasil hanya diketahui untuk kelas grafik khusus.

Menurut catatan bukti yang diterbitkan OpenAI, argumen tersebut mereduksi masalahnya menjadi grafik kubik tanpa loop, kemudian bersandar pada hasil klasik — teorema aliran yang tidak ada titik nol pada grup F32 (setara dengan teorema 8 aliran Tutte) — dan langkah aljabar linier utama yang mengubah pelabelan tepi menjadi struktur yang diperlukan untuk penutup ganda siklus. Tulisannya hanya sepanjang beberapa halaman dan, khususnya, menggunakan "tidak ada matematika yang dikembangkan dalam 30 tahun terakhir," seperti yang diamati oleh salah satu komentator Hacker News.

Bagaimana GPT-5.6 Sol Ultra Mendekatinya

Yang membedakan hasil ini dari jawaban chatbot biasa adalah cara model diterapkan. GPT-5.6 Sol Ultra dijalankan dalam mode "multiagent v2" OpenAI, menjalankan sistem yang terdiri dari hingga 64 subagen yang bekerja sama yang mengeksplorasi berbagai strategi pembuktian secara paralel. OpenAI merilis perintah lengkap beserta buktinya, menawarkan gambaran langka tentang instruksi yang diberikan kepada sistem.

Perintah tersebut menginstruksikan model untuk "menggunakan multiagen v2 secara agresif dan dinamis", untuk mempertahankan "portofolio pendekatan yang beragam", dan untuk mengerahkan agen yang bermusuhan untuk mengaudit setiap bukti kandidat untuk kesalahan umum — seperti jalur tertutup yang menyamar sebagai siklus atau penalaran melingkar yang tidak disengaja. Ia bahkan memerintahkan sistem untuk "menghabiskan setidaknya 8 jam untuk hal ini sebelum berpikir untuk kembali atau menyerah," meskipun proses terakhir dilaporkan selesai dalam waktu kurang dari satu jam.

Di bagian "Pernyataan penggunaan AI" pada catatan bukti, OpenAI secara eksplisit menyatakan: "Bukti dalam catatan ini sepenuhnya disebabkan oleh GPT 5.6 Sol Ultra dan penulisan dengan Codex (dengan GPT 5.6 Sol)."

Belum Semua Orang Yakin

Komunitas matematika bereaksi dengan kegembiraan dan kehati-hatian – dan skeptisisme tersebut memang wajar. Pada saat publikasi, bukti tersebut belum diverifikasi secara formal di asisten pembuktian seperti Lean, juga belum lolos tinjauan sejawat tradisional.

Di Hacker News, beberapa komentator mencatat bahwa bukti singkat dan elegan dari dugaan terkenal patut mendapat perhatian khusus. “Ini adalah bukti yang sangat singkat yang tidak menggunakan matematika yang dikembangkan dalam 30 tahun terakhir,” tulis seorang pengguna. “Hal ini tidak serta merta menjadikannya salah, namun karena tidak adanya mekanisasi dalam Lean atau tinjauan sejawat yang tepat, menurut saya terlalu dini untuk memposting hal ini.”

Yang lain menunjukkan bahwa perpustakaan bukti formal terkemuka dalam teori grafik belum cukup matang untuk memeriksa hasil tingkat penelitian semacam ini, yang berarti verifikasi mungkin perlu dilakukan oleh pakar yang membaca argumen baris demi baris. OpenAI sendiri membingkai pengumuman tersebut sebagai bagian dari pola yang lebih luas: "Lebih banyak komputasi pada waktu pengujian akan menghasilkan kecerdasan yang lebih besar," kata perusahaan tersebut, yang menandakan bahwa pendekatan multiagen – bukan hasil tunggal ini – adalah kisah nyata yang ingin disampaikan.

Mengapa Itu Penting

Bahkan jika bukti Cycle Double Cover pada akhirnya memerlukan koreksi, episode tersebut menandakan perubahan yang berarti dalam hal yang dapat dilakukan model bahasa besar dalam matematika murni. Sistem AI Frontier sebelumnya telah menghasilkan hasil penelitian baru dalam domain khusus – termasuk klaim terbaru lainnya tentang penyelesaian masalah dalam geometri dan kombinatorik – tetapi menyerang dugaan yang sudah berumur puluhan tahun dengan sekelompok agen penalaran yang terkoordinasi akan meningkatkan standar secara signifikan.

Bagi para peneliti, manfaatnya ada dua. Pertama, resep multiagen – banyak upaya independen, penyerbukan silang ide, dan audit permusuhan – tampaknya merupakan pola yang benar-benar berguna untuk pemecahan masalah yang sulit. Kedua, hambatan verifikasi kini ada pada manusia: model tersebut dapat menghasilkan bukti kandidat lebih cepat daripada kemampuan komunitas untuk memeriksanya.

Ketegangan ini kemungkinan besar akan menentukan fase selanjutnya dari matematika yang dibantu AI. Seperti yang dikatakan oleh salah satu komentator, jika bukti ini benar, "seseorang akan membuat daftar" masalah lama lainnya yang akan dihadapi model generasi berikutnya.

Untuk saat ini, para ahli matematika akan membaca catatan tiga halaman tersebut dengan hati-hati – dengan pensil di tangan – sementara industri AI lainnya mengamati apakah upaya GPT-5.6 selama satu jam tersebut menjadi bagian dari catatan matematika permanen.

Tetap Terdepan dalam AI

Untuk informasi lebih lanjut tentang terobosan model frontier dan liputan penelitian AI, kunjungi halaman beranda AI Buzz Wire.

Baca lebih lanjut berita AI →