Itu bukanlah matematika baru yang rumit. Tidak terlalu. Itu adalah sifat keras kepala.
OpenAI menjatuhkan solusi ke siklus dugaan penutup ganda tepat sebelum merilis model terbarunya, GPT-5.6 Sol. Waktunya? Tentu saja pemasaran murni. Dampaknya? Sebuah revolusi diam-diam dalam cara kita memandang kecerdasan buatan dan apa yang dapat dilakukannya. Manusia telah memikirkan masalah ini selama lebih dari setengah abad. GPT-5.6 menyelesaikannya dengan diberi tahu satu hal spesifik: jangan menyerah.
Ini adalah bagian dari tren yang lebih besar. Raksasa teknologi membuang-buang uang untuk matematika murni. Bukan karena mereka peduli pada kecantikan demi kecantikan. Tapi karena matematika adalah patokan utama. Ini membuktikan alasan. Atau setidaknya, versi mesinnya.
“Alat AI akan mengubah penelitian matematika secara signifikan.”
— Noga Alon, ahli matematika Princeton, tentang terobosan Sol. Alon menyebut buktinya sangat singkat. Yang membuatnya lebih lucu, jika Anda bertanya kepada saya.
Inilah yang perlu Anda ketahui. Teori graf terdengar abstrak, bahkan membosankan. Grafik hanyalah titik (simpul) dan garis (tepi) yang menghubungkannya. Internet? Itu adalah grafik. Jejaring sosial Anda? Juga grafik.
Pada tahun 1970-an, para ahli matematika menebak sesuatu yang menarik tentang bentuk-bentuk ini. Mereka mengira hampir setiap grafik memiliki siklus penutup ganda. Apa itu? Satu set loop yang menutupi seluruh struktur tepat dua kali. Setiap sisi berada tepat di dalam dua loop.
Cukup mudah untuk digambarkan.
Membuktikannya? Di sanalah dekade-dekade berlalu.
Para pemikir hebat telah mencoba. Mereka memecahkannya untuk kasus-kasus tertentu. Mereka mendekat. Tapi bukti umumnya? Itu terlepas. Setiap saat.
Jumat lalu, AI turun tangan.
Solusinya ternyata elegan. Sederhana, hampir. AI menunjukkan Anda dapat menutupi grafik dengan tidak lebih dari delapan loop. Tentu, ada teknisnya. Grafik yang disatukan oleh satu benang tipis (tepian terpotong) tidak dihitung. Tapi untuk sisanya? Selesai.
Inilah twistnya.
Buktinya tidak menggunakan ide-ide baru yang mencolok. Tidak ada teori terobosan yang lahir dalam mimpi silikon. Ini mendaur ulang metode yang telah dicoba manusia. Caranya kita buang ke tempat sampah atau dibiarkan di rak karena bosan. Atau takut.
Pernahkah Anda menganggap bahwa “keras” bisa berarti “tidak populer”?
Andrew Sutherland di MIT berpendapat demikian. Dia berpendapat bahwa reputasi kesulitan bisa menjadi jebakan. Siswa menjauhi. Para ahli melanjutkan. Ini menjadi ramalan ketidakjelasan yang terwujud dengan sendirinya. Ketika sebuah LLM tidak memiliki ego atau karier yang perlu dikhawatirkan, LLM akan terus berkembang.
“Kami akan terus melihat masalah yang dianggap ‘sulit’ memiliki solusi yang ‘mudah’.”
Sutherland tidak menebak-nebak secara membabi buta. OpenAI merilis prompt yang digunakan untuk memecahkan masalah ini. Ini mengungkapkan pekerjaan mekanis yang buruk di balik keajaiban. Perintahnya bukanlah puisi. Itu adalah perancah. Petunjuk bagi enam puluh empat agen untuk berbicara satu sama lain secara paralel. Pemeriksaan silang. Mengurangi kebohongan dan halusinasi yang mengganggu model-model ini.
Trik sebenarnya? Arahan.
Mereka tidak sekedar meminta jawaban. Mereka memberi tahu bot: Luangkan setidaknya 8 jam. Jangan berpikir untuk berhenti.
Kebanyakan dari kita akan berhenti pada jam kedua. Atau kita akan berkata, “Itu tidak mungkin.”
Mesin tetap berada di keyboard. Delapan jam.
Ternyata kejeniusan mungkin hanya berupa daya tahan yang sudah terlalu lelah untuk kita berikan. Dan sekarang AI ada di sini, mungkin perpustakaan masalah terbuka bukanlah sebuah benteng. Itu adalah taman di mana kita lupa menyirami bunganya.
