AI lost in 30 minuten een twintig jaar oud open probleem op; verificatie duurt vijf dagen

Dimitris Papailiopoulos, een wetenschapper bij Microsoft Research, gebruikte GPT-5.6 en Claude Fable 5 om een vraag te beantwoorden die sinds 2001 open stond: of het MIMO-detectieprobleem kan worden opgelost door een snel polynomiaal algoritme, waar dat statistisch ook maar mogelijk is. De modellen beweerden onafhankelijk van elkaar dat er geen kloof bestaat en leverden bewijzen voor verschillende algoritmen. Papailiopoulos koos voor het algoritme van Claude Fable—een grove lineaire schatting met afronding, gevolgd door hebzuchtige bitflips—en vroeg GPT om het bewijs te repareren, dat 'grotendeels fout maar nog te redden was'. Vervolgens bracht hij vijf dagen door met het itereren met beide modellen om het argument te vereenvoudigen tot een verifieerbare vorm, en verwierp hij elke stap die hij niet kon volgen, ondanks dat hij slechtere constanten toestond. Het uiteindelijke bewijs is elementair en bouwt voort op bekende technieken uit de jaren 2010. Het resultaat is echter nog niet collegiaal getoetst, en vanwege het geïdealiseerde kanaalmodel zal het geen verbetering opleveren voor echte routers. Papailiopoulos suggereert ook dat de modellen collectieve menselijke intuïtie distilleren en dat veel verlaten problemen wachten op soortgelijke oplossingen.