Yapay Zeka 20 Yıllık Açık Problemi 30 Dakikada Çözdü; Doğrulama 5 Gün Sürdü

Microsoft Research bilim insanı Dimitris Papailiopoulos, 2001'den beri açık olan bir soruyu kapatmak için GPT-5.6 ve Claude Fable 5'i kullandı: MIMO algılama probleminin, istatistiksel olarak mümkün olduğu her yerde hızlı bir polinom algoritması ile çözülüp çözülemeyeceği. Modeller bağımsız olarak bir boşluk olmadığını iddia etti ve farklı algoritmalar için kanıtlar sağladı. Papailiopoulos, Claude Fable'ın algoritmasını seçti (yuvarlama ve ardından açgözlü bit çevirme ile kaba bir doğrusal tahmin) ve GPT'den kanıtını düzeltmesini istedi; bu kanıt 'çoğunlukla yanlış ama kurtarılabilir' idi. Daha sonra, doğrulanabilir bir forma basitleştirmek için her iki modelle beş gün boyunca yinelemeli olarak çalıştı; daha kötü sabitlere izin vermesine rağmen takip edemediği adımları reddetti. Nihai kanıt, 2010'lardan bilinen tekniklere dayanan temel bir kanıttır. Ancak sonuç henüz hakem değerlendirmesinden geçmemiştir ve idealize edilmiş kanal modeli, gerçek yönlendiricileri iyileştirmeyeceği anlamına gelir. Papailiopoulos ayrıca modellerin kolektif insan sezgisini damıttığını ve birçok terk edilmiş problemin benzer çözümler beklediğini öne sürüyor.