Model OpenAI dikabarkan berhasil memecahkan persoalan matematika yang telah membingungkan peneliti selama puluhan tahun.
Sebuah makalah tiga halaman yang diunggah di jaringan distribusi konten resmi OpenAI mengklaim telah membuktikan Cycle Double Cover Conjecture, salah satu masalah klasik dalam teori graf. Dalam makalah itu disebutkan, bukti sepenuhnya dihasilkan oleh GPT-5.6 Sol Ultra, sementara Codex dan GPT-5.6 Sol membantu menyusun hasilnya menjadi makalah tertulis.
Klaimnya tidak main-main. Jika matematikawan independen mengonfirmasi bukti tersebut, itu akan menjadi indikasi bahwa sistem AI tingkat lanjut mampu melakukan lebih dari sekadar merangkum riset yang sudah ada atau membantu perhitungan. AI mungkin benar-benar sanggup menghasilkan matematika orisinal yang cukup kuat untuk menyelesaikan problem yang selama ini mematahkan upaya para peneliti manusia.
Untuk saat ini, hasil itu tetap berstatus “klaim bukti” — belum diakui sebagai terobosan resmi.
Apa Sebenarnya yang Diklaim Berhasil Dipecahkan AI?
Teori graf adalah cabang matematika yang mempelajari jejaring (networks).
Sebuah graf dapat dibayangkan sebagai kumpulan titik yang dihubungkan oleh garis. Titik-titik itu bisa mewakili orang, komputer, kota, atau objek lain, sementara garis-garisnya mewakili relasi atau koneksi di antara mereka.
Cycle Double Cover Conjecture mempertanyakan apakah setiap jaringan terhubung yang tidak memiliki satu titik kritis sebagai “single point of failure” dapat “ditutupi” oleh sekumpulan siklus (loop) sedemikian rupa sehingga setiap sisi (koneksi) muncul tepat dua kali.
Terdengar sangat abstrak, tetapi soal ini sudah terbuka selama beberapa dekade dan berkaitan dengan nama-nama besar matematika seperti William Tutte, George Szekeres, dan Paul Seymour.
Sejauh ini, peneliti baru berhasil membuktikan dugaan itu untuk kelas-kelas graf tertentu, belum untuk semua kasus.
Makalah yang di-host OpenAI tersebut mengklaim telah menutup celah itu.
Garis Besar Ide di Balik Bukti
Argumen dalam makalah sangat teknis, tetapi strateginya secara garis besar lebih mudah dicerna.
Langkah pertama, persoalan direduksi ke kategori graf yang lebih sederhana, di mana setiap titik memiliki tepat tiga koneksi (graf kubik).
Model kemudian menggunakan sebuah alat matematika yang sudah mapan, dikenal sebagai “flow”, untuk memberi label pada setiap sisi di jaringan. Label-label ini lalu diatur ulang sehingga koneksi-koneksi tersebut secara alamiah membentuk siklus-siklus.
Syarat kuncinya: setiap koneksi harus muncul tepat di dua siklus berbeda.
Menurut makalah, sisa ketidaksesuaian antara berbagai bagian jaringan dapat diselesaikan dengan teknik aljabar linear. Setelah masalah konsistensi ini dibereskan, penutup siklus ganda (cycle double cover) untuk seluruh graf pun mengikuti.
Disederhanakan, AI tampaknya mengombinasikan beberapa perangkat matematika yang sudah dikenal, merangkainya dalam cara baru, lalu menggunakannya untuk membangun kumpulan siklus yang menutupi setiap jaringan yang memenuhi syarat.
Mengapa Ini Bisa Penting bagi Perkembangan AI
Sistem AI sudah lazim dipakai untuk menulis kode, menganalisis pasar, membuat ringkasan riset, dan membantu pekerjaan ilmiah.
Namun membuktikan sebuah dugaan besar dalam matematika berada di level tugas yang berbeda.
Bukti yang benar harus berlaku untuk setiap kemungkinan kasus yang tercakup dalam teorema. Bukti tidak boleh sekadar terlihat meyakinkan atau menghasilkan jawaban benar pada beberapa contoh.
Juga Baca: Proyeksi Laba Q3 Anthropic Tembus US$1 Miliar Jelang Pengajuan IPO
Karena itulah matematika sering dipandang sebagai salah satu ujian terjelas untuk menilai apakah sistem AI benar-benar mampu bernalar secara andal, bukan hanya memproduksi teks yang tampak masuk akal.
Jika bukti ini benar, itu mengisyaratkan model frontier mulai mampu mengombinasikan pengetahuan yang sudah mapan menjadi argumen baru yang substantif.
Dampaknya akan melampaui teori graf. Sistem serupa pada akhirnya bisa membantu peneliti mengeksplorasi pertanyaan-pertanyaan sulit di fisika, kriptografi, ilmu komputer, dan ekonomi.
Ujian Sesungguhnya Baru Dimulai
Fakta bahwa makalah di-host pada domain yang dikendalikan OpenAI memberikan bobot keabsahan asal dokumen lebih kuat dibanding unggahan anonim. Namun itu sama sekali tidak menjamin bahwa buktinya benar.
Naskah tersebut tidak mencantumkan nama penulis manusia, tidak menunjukkan jejak telaah sejawat (peer review), dan tidak menyertakan komentar dari pakar teori graf independen.
Hal ini penting karena problem matematika terkenal kerap menarik klaim solusi yang kemudian terbukti mengandung celah tersembunyi.
Sebuah bukti bisa tampak rapi sekilas, tetapi gagal karena ada satu langkah yang mengasumsikan sesuatu yang tidak selalu benar, melupakan kasus khusus, atau menerapkan teorema yang sudah ada secara terlalu luas.
Tahap berikutnya adalah verifikasi independen.
Para matematikawan perlu meneliti setiap langkah reduksi dan memastikan bahwa argumen aljabar linear tersebut berlaku untuk semua graf tanpa jembatan (bridgeless graphs) yang tercakup dalam dugaan.
Peneliti juga bisa mencoba menerjemahkan bukti itu ke dalam sistem “formal proof assistant”, di mana setiap langkah logis harus diverifikasi perangkat lunak.
Terobosan yang Diklaim, Bukan Fakta yang Final
Deskripsi paling aman saat ini adalah bahwa model OpenAI telah menghasilkan sebuah bukti yang berpotensi penting, tetapi masih membutuhkan validasi eksternal.
Jika para ahli menemukan kekeliruan, makalah ini masih bisa bernilai dengan memperkenalkan pendekatan atau reduksi baru.
Namun jika bukti tersebut lolos dari pengujian ketat, dampaknya akan jauh lebih besar.
Itu akan berarti sebuah sistem AI bukan sekadar membantu matematikawan, melainkan diakui telah secara mandiri memecahkan masalah yang terbuka selama beberapa generasi.
Jadi, ceritanya saat ini bukan bahwa AI sudah pasti memecahkan Cycle Double Cover Conjecture.
Melainkan bahwa AI mungkin telah melakukannya — dan kini komunitas matematika harus menentukan apakah model tersebut benar-benar menemukan bukti sahih atau justru menghasilkan salah satu “kesalahan yang paling tampak meyakinkan” sejauh ini.
Baca Selanjutnya: China Bahas Pembatasan Ekspor Model AI dengan Alibaba dan ByteDance