GPT-5.6 Buktikan Teka-Teki Matematika 50 Tahun dalam Waktu Kurang dari 1 Jam
Ringkasan Eksekutif
OpenAI mengumumkan pada 10 Juli 2026 bahwa model GPT-5.6 Sol Ultra berhasil membuktikan Cycle Double Cover Conjecture, salah satu teka-teki matematika graph theory yang belum terpecahkan selama hampir 50 tahun. Yang mengejutkan: AI ini hanya membutuhkan waktu kurang dari satu jam, dengan 64 subagents bekerja secara paralel. Seorang matematikawan dari University of Manchester sudah memeriksa pembuktian tersebut dan menyebutnya “pembuktian yang sangat bagus” — meskipun mengkritik bahwa paper OpenAI tidak mencantumkan karya terdahulu yang menjadi dasar strategi pembuktian.
Apa Itu Cycle Double Cover Conjecture?
Secara sederhana, conjecture ini bertanya: dalam sembarang jaringan yang terdiri dari vertices dan edges, apakah mungkin menemukan satu set siklus yang bisa melewati setiap edge tepat dua kali?
Masalah ini dirumuskan secara independen oleh beberapa matematikawan pada 1970-an. Selama setengah abad berikutnya, banyak solusi parsial untuk kasus-kasus khusus telah ditemukan, tapi tidak ada pembuktian umum yang diterima secara universal.
Bagaimana GPT-5.6 Sol Ultra Menyelesaikannya
Berbeda dari pendekatan manusia yang biasanya menyerah setelah mencoba langkah pertama yang jelas dan gagal, GPT-5.6 Sol Ultra tidak pernah berhenti mencoba. Model ini menjalankan 64 subagents secara paralel, masing-masing mengerjakan variasi kecil dari pendekatan yang berbeda. AI tidak memiliki rasa frustrasi yang membuat manusia berhenti setelah kegagalan pertama.
Matematikawan Thomas Bloom dari University of Manchester menjelaskan: “Seseorang bisa mencoba pelabelan natural terlebih dahulu, memeriksa aljabar linear, dan ketika gagal, mengangkat bahu dan berpikir ‘yah, aku sudah mengharapkan untuk gagal, ternyata memang tidak bisa dilakukan dengan mudah’ — sementara AI tidak pernah menyerah dan terus mencoba variasi kecil sampai salahsatunya berhasil.”
Bloom menyebut solusi ini “pendek, elementer, dan bisa ditemukan sejak 1980-an.” Tidak memerlukan teori matematika baru, hanya kombinasi cerdas dari tools yang sudah dikenal.
Kritik: AI Tidak Mencantumkan Sumber
Meskipun memuji kebenaran matematisnya, Bloom mengkritik bahwa paper OpenAI tidak menyebut karya terdahulu dari Bermond, Jackson, dan Jaeger (1983) yang menjadi dasar ide-ide sentral dalam proof. “Asumsi saya adalah karya-karya sebelumnya ini sangat berpengaruh pada proof OpenAI, dan sangat disayangkan bahwa paper tersebut tidak menyebutkannya sama sekali,” tulis Bloom. “Ini adalah masalah yang sering muncul pada proof dan paper yang dihasilkan AI: mereka menggunakan ide dan strategi proof dari literatur tanpa citation yang semestinya.”
Bloom juga meragukan bahwa AI benar-benar menemukan solusi secara mandiri. “Mengingat bahwa insting pertama AI dalam memecahkan masalah adalah mencari semua paper terkait dan membacanya, kecil kemungkinannya AI benar-benar menemukan solusi dari nol.”
Implikasi untuk Masa Depan AI Matematika
Pencapaian ini menunjukkan bahwa AI reasoning model sekarang bisa mengatasi masalah matematika yang dianggap terlalu sulit atau terlalu memakan waktu bagi manusia. Ketika manusia cenderung menyerah setelah satu atau dua kegagalan, AI bisa menjalankan ratusan atau ribuan percobaan dengan variasi yang berbeda sampai menemukan pendekatan yang berhasil.
Satu hal yang masih harus dilakukan komunitas matematika: verifikasi formal penuh terhadap proof ini. Bloom sudah memberikan evaluasinya, tapi proses peer review secara resmi masih berlangsung.
Sumber
- The Decoder — “OpenAI’s GPT-5.6 Sol Ultra reportedly solves a 50-year-old math problem in under an hour” (11 Juli 2026)
- DevelopersDigest — “GPT-5.6 Sol Ultra Produces Proof of the Cycle Double Cover Conjecture” (11 Juli 2026)
- Nextgov — “OpenAI’s advanced GPT-5.6 models to be publicly released” (9 Juli 2026)
- Tech Times — “GPT-5.6 Goes Public After 12-Day White House Gate Tests” (9 Juli 2026)
- Mashable — “OpenAI’s GPT-5.6 finally set for public release after delays” (8 Juli 2026)
