GPT-5.6 Hanya 1 Jam Tembus 50 Tahun Teka-Teki Matematika, 64 AI Rebut Mahkota Teori Graf
Pada 11 Juli, OpenAI mengumumkan bahwa GPT-5.6 Sol Ultra berhasil membuktikan "Circular Double Cover Conjecture", sebuah masalah matematika rumit di bidang teori graf yang belum terpecahkan selama 50 tahun. Lebih menakjubkan lagi, AI ini menghasilkan bukti matematis yang lengkap dalam waktu kurang dari satu jam.
Conjecture ini, diajukan oleh beberapa matematikawan legendaris seperti Tutte, menyatakan bahwa setiap graf hingga tanpa jembatan memiliki sekumpulan siklus sehingga setiap tepi tepat termuat dalam dua siklus. Selama setengah abad, berbagai upaya pembuktian parsial telah dilakukan, tetapi solusi umum dan definitif tetap sulit diraih.
Kunci keberhasilan OpenAI terletak pada pendekatan "paralel Test-Time Computation" (TTC). Mereka menggunakan 64 agen AI cerdas yang bekerja secara paralel sebagai tim penelitian khusus. Sistem ini dirancang ketat: mendorong eksplorasi berbagai jalur pemikiran (aljabar, induksi struktural, dll.), mencegah "kebocoran" informasi tentang pendekatan mana yang tampak paling menjanjikan sehingga menjaga keragaman eksplorasi, dan menyertakan mekanisme "tim koreksi" yang secara agresif mengkritik setiap bukti kandidat. Aturan ketat diterapkan, seperti melarang generalisasi yang samar dan mengharuskan detail yang konkret.
Dalam proses satu jam tersebut, 64 agen AI tersebut secara kolektif menyusun strategi pembuktian yang elegan. Mereka pertama-tama mereduksi masalah ke kasus graf kubik, kemudian memanfaatkan teorema aliran (flow theorem) Tutte tentang keberadaan "8-flow" non-nol di setiap tepi. Langkah jeniusnya adalah dengan memperkenalkan lemma baru (Lemma 2.1) tentang pelabelan himpunan dua elemen pada setiap tepi. Inti pembuktian (Lemma 2.2) adalah dengan mentransformasi masalah topologi graf menjadi sistem persamaan aljabar linier besar di atas medan hingga, dan membuktikan bahwa sistem ini selalu memiliki solusi.
Para ahli seperti Noam Brown dari OpenAI menyoroti bahwa perluasan TTC paralel inilah yang memampukan kompresi waktu pemecahan masalah dari potensial sehari menjadi hanya satu jam. Prestasi ini menunjukkan kemampuan luar biasa AI dalam penalaran logis abstrak tingkat tinggi dan pembangkitan dokumen akademis yang rigor. Meskipun ada pertanyaan tentang kesetaraan antara eksplorasi paralel luas dan rantai logis tunggal yang dalam, pencapaian ini membuka kemungkinan baru untuk percepatan penemuan ilmiah di berbagai bidang kompleks di masa depan.
marsbit07/15 08:02
