Kasus tersembunyi teori graf selama 30 tahun runtuh dalam semalam.
Hari ini, GPT-5.6 Pro membantah dugaan selama tiga puluh tahun di bidang teori graf—Dinitz-Garg-Goemans.
Bukti yang dia berikan sangat jelas: sebuah gambar, biaya aliran skor adalah 58.
Dan aliran tak terpisahkan dengan pelanggaran kapasitas tidak lebih dari 15 memiliki biaya minimal 60.
58 < 60, sebuah dugaan teori graf yang bertahan selama 30 tahun runtuh.
Pada hari yang sama, Dr. Shouqiao Wang dari Universitas Columbia, menggunakan alur kerja GPT-5.6 Sol bersama Codex, menyelesaikan 6 masalah Erdős terbuka dalam 5 hari.
Tadi malam, Fields Medal edisi terbaru telah diumumkan.
Sekarang di kalangan dalam industri, beredar luas sebuah pernyataan: ini mungkin menjadi Piala Fields terakhir umat manusia.
Sebuah dugaan selama 30 tahun
GPT-5.6 Pro dibantah
Untuk kali ini, riwayat obrolan lengkap dengan GPT-5.6 Pro telah dipublikasikan seluruhnya.
Dmitry Rybin menyatakan bahwa sekarang "AI menggulingkan teori lama" hampir menjadi meme internet.
Tetapi dia benar-benar peduli dengan masalah ini, dulu menghabiskan beberapa minggu untuk memikirkan kedua arah pembuktian dan pembantahan.
Dia juga menambahkan bahwa percakapan manusia-mesin ini sendiri adalah lelucon terbaik sepanjang masa.
Pertama, jelasikan dulu soal ini. Pada masa itu, Dinitz, Garg, dan Goemans telah membuktikan sebuah kesimpulan yang sangat indah:
Jika ada aliran pecahan yang memenuhi batas kapasitas, maka pasti ada aliran tak terbagi, dengan biaya kapasitas yang dapat melebihi hingga sebesar "permintaan maksimum".
Goemans kemudian menambahkan dugaan yang sangat alami: apakah mungkin tidak melebihi kapasitas secara signifikan sekaligus tidak meningkatkan biaya?
Versi biaya ini belum pernah dibuat oleh siapa pun.
Dalam paper arXiv tahun 2023, itu terbuka, dan dalam literatur Januari 2026, itu masih terbuka.
Hampir semua orang yang terlibat dalam gambar pernah memikirkannya.
Contoh sebaliknya yang diberikan model sekarang seperti ini: tiga terminal, dengan permintaan masing-masing 15, 10, dan 15. Setiap terminal memiliki satu "jalan murah" (biaya nol) dan satu "jalan mahal" (biaya 30).
Intinya, ketiga jalan murah tersebut saling bertentangan. Pilih berapa pun dua jalan, pasti ada satu sisi yang melebihi kapasitas.
Jadi, setiap langkah legal paling banyak hanya bisa menggunakan satu jalan murah, dan dua terminal tersisa harus menggunakan jalan mahal, dengan biaya minimal 60.
Sementara itu, aliran poin dapat secara bersamaan memanfaatkan ketiga rute murah ini dengan proporsi 1/3, 2/5, 1/3, dengan biaya hanya 58.
Orang yang familiar dengan optimasi kombinatorial akan langsung menyadari: ini adalah ketidaksetaraan himpunan stabil segitiga.
Solusi bilangan bulat memenuhi z₁+z₂+z₃≤1, sedangkan solusi pecahan adalah 1/3+2/5+1/3=16/15, yang lebih besar dari 1.
Dalam seluruh percakapan, Rybin hanya mengucapkan tiga kalimat.
- Kalimat pertama: Buatlah contoh sebaliknya, Anda harus membuat terobosan, carilah contoh sebaliknya yang terstruktur.
- Kalimat kedua: Terus cari, miliki strategi yang jelas yang berasal dari pemahaman mendalam terhadap struktur masalah.
- Kalimat ketiga: Hasil sebagian sudah cukup, mari kita langsung berikan contoh penyangkal yang lengkap dan tanpa syarat.
Orang yang pernah memenangkan medali emas Olimpiade Sains Komputer kini menjadi algoritma.
Dmitry Rybin, yang membantah teori graf selama 30 tahun, kini merupakan co-founder perusahaan AI senilai $100 juta.
Dalam profil pribadinya, Rybin pernah memperoleh gelar doktor dalam bidang pembelajaran mesin dari Chinese University of Hong Kong (Shenzhen).
Yang paling patut disebutkan adalah ia juga memenangkan medali emas di Kompetisi Matematika Internasional Mahasiswa dan medali emas di Olimpiade Matematika Nasional.
Yang benar-benar membuatnya terkenal di kalangan ini adalah makalah pada Mei 2025—
Rybin menemukan algoritma yang lebih cepat untuk menghitung perkalian matriks dengan transposenya sendiri.
Operasi ini terdengar abstrak, tetapi merupakan matriks kovarians dalam statistik, dasar dari desain chip dan komunikasi nirkabel, serta hal yang terus-menerus dihitung saat melatih model besar saat ini.
Tak lama setelah Oktober, ia kembali memposting: mengurangi 10% operasi dalam perhitungan akurat perhatian sebab-akibat.
Dia memiliki sebuah repositori di GitHub bernama "Eksperimen dalam Penemuan dan Optimasi Algoritma dengan OpenEvolve".
Seorang peraih medali emas Olimpiade Sains Komputer, selama masa doktoralnya tidak mengejar model besar, tetapi langsung fokus pada "bagaimana membuat mesin membantu manusia menemukan algoritma baru".
Alumni Tiongkok dari Sekolah Matematika Peking
Lima hari memecahkan enam masalah besar
Di garis waktu yang sama, ada hal lainnya.
Dr. Shouqiao Wang dari Universitas Columbia menyatakan bahwa ia menggunakan GPT-5.6 Sol bersama Codex, dalam 5 hari menyelesaikan 6 masalah Erdős yang sebelumnya ditandai sebagai terbuka.
Total telah mencoba sekitar 13 soal, dengan tingkat keberhasilan 46%, di mana satu soal tunggal berjalan terus-menerus selama 32 jam.
Dia membagi metode tersebut menjadi tiga poin.
Proses pemilihan topik hanya memilih topik yang memang sedang dibahas oleh matematikawan, lalu menggunakan AI untuk menyingkirkan yang terkait erat dengan dugaan besar.
Tentukan sendiri «apa yang dianggap sebagai solusi»: ulangi secara tepat masalahnya, jelaskan apa yang harus dibuktikan dalam bukti lengkap, daftar kesimpulan yang lebih lemah yang tidak dianggap valid, dan sebutkan jebakan khas soal ini.
Terakhir, minta agen adversarial independen untuk menantang setiap kesimpulan kandidat.
Prosesnya adalah siklus tak berujung: mencoba → gagal → mendiagnosis → mengganti rute → menulis draf bukti → menghadapi audit → memperbaiki.
Model terus-menerus membantah dan menyerang argumennya sendiri hingga tidak lagi ditemukan masalah substansial.
Perlu dicatat bahwa salah satu soal tersebut adalah yang pernah diteliti oleh Terence Tao dan hingga kini belum terpecahkan.
Untuk ini, Shouqiao Wang menyebutkan dengan singkat: Saya memiliki latar belakang matematika, tetapi alur kerja ini tidak memerlukan pengetahuan matematika yang mendalam.
Namun, apa yang disebutnya sebagai "beberapa latar belakang" sedikit berlebihan kredibilitasnya.
Pada usia 13 tahun, ketika teman-teman sebaya masih belajar di kelas SMP secara biasa, ia mendaftar secara lintas kelas ke Kompetisi Matematika Euclid Universitas Waterloo dan meraih peringkat pertama dunia.
Pada tahun 2016 dan 2017 berikutnya, ia memenangkan dua medali perak berturut-turut di Chinese Mathematical Olympiad (CMO) dan secara alami meraih peringkat pertama di Lomba Matematika Nasional Tingkat SMA tahun 2017.
Pada tahun 2018, dengan bakat level maksimal, ia membuka pintu Departemen Matematika Peking University, tempat para dewa bersaing.
Namun, bagian paling menarik dari cerita ini adalah dia tidak tetap tinggal di dunia matematika murni sesuai naskah.
Saat ini, ia beralih ke Sekolah Bisnis Universitas Columbia untuk mengejar gelar doktor di bidang keputusan, risiko, dan operasi.
Dia mengalihkan ketajaman persamaan matematis ke bidang mutakhir yang lebih penuh tekanan nyata: penelitian desain mekanisme dan teori permainan.
Apakah Medali Fields "edisi terakhir manusia"?
Empat setengah jam, memecahkan kasus yang menggantung selama 30 tahun; lima hari, memecahkan enam masalah sekaligus.
Pengumuman Medali Fields malam ini mungkin benar-benar menjadi "lagu terakhir" kecerdasan murni manusia.
Namun, ini bukanlah akhir, melainkan awal dari "era baru" di mana AI dan manusia menjelajahi kehidupan bersama.
Dari perang sendiri hingga pertarungan otomatis multi-agent, AI secara bertahap menjadi "mitra penelitian" yang benar-benar memperluas batas kognitif.
Seberapa jauh AI dari meraih "Medali Fields" miliknya?
Referensi:
https://x.com/DmitryRybin1/status/2079904005652893709?s=20
https://x.com/Qiaoqiao2001/status/2080003441821163958
Artikel ini berasal dari akun WeChat "Sinzhiyuan", penulis: ASI Revelation, editor: Peach