AI Menyelesaikan Masalah Terbuka Berusia 20 Tahun dalam 30 Menit; Verifikasi Butuh 5 Hari

Dimitris Papailiopoulos, seorang ilmuwan Microsoft Research, menggunakan GPT-5.6 dan Claude Fable 5 untuk menutup pertanyaan yang terbuka sejak 2001: apakah masalah deteksi MIMO dapat diselesaikan dengan algoritma polinomial cepat di mana pun hal tersebut secara statistik mungkin. Kedua model secara independen mengklaim bahwa tidak ada celah dan memberikan bukti untuk algoritma yang berbeda. Papailiopoulos memilih algoritma Claude Fable—estimasi linier kasar dengan pembulatan diikuti oleh pembalikan bit serakah—dan meminta GPT untuk memperbaiki buktinya, yang 'sebagian besar salah tetapi bisa diselamatkan.' Dia kemudian menghabiskan lima hari berulang kali dengan kedua model untuk menyederhanakan argumen menjadi bentuk yang dapat diverifikasi, menolak langkah apa pun yang tidak bisa dia ikuti meskipun memungkinkan konstanta yang lebih buruk. Bukti akhirnya bersifat elementer, dibangun di atas teknik-teknik yang dikenal dari tahun 2010-an. Namun, hasilnya belum ditinjau sejawat (peer-reviewed), dan model saluran yang ideal berarti ini tidak akan meningkatkan router asli. Papailiopoulos juga menyarankan bahwa model-model ini menyuling intuisi manusia kolektif, dan bahwa banyak masalah yang ditinggalkan menunggu solusi serupa.