Tekoäly ratkaisee 20 vuotta vanhan avoimen ongelman 30 minuutissa; varmennus kestää viisi päivää

Dimitris Papailiopoulos, Microsoft Researchin tutkija, käytti GPT-5.6:ta ja Claude Fable 5:tä sulkeakseen vuodesta 2001 avoimena olleen kysymyksen: voidaanko MIMO-havaitsemisongelma ratkaista nopealla polynomisella algoritmilla aina, kun se on tilastollisesti mahdollista. Mallit väittivät itsenäisesti, ettei kuilua ole, ja tuottivat todistukset eri algoritmeille. Papailiopoulos valitsi Claude Fable -mallin algoritmin – karkean lineaarisen estimaatin pyöristyksellä, jota seuraa ahne bittien kääntely – ja pyysi GPT:tä korjaamaan sen todistuksen, joka oli 'enimmäkseen väärä mutta pelastettavissa'. Hän käytti sitten viisi päivää iteroiden kummankin mallin kanssa yksinkertaistaakseen argumentin todennettavaan muotoon hyläten kaikki vaiheet, joita ei voinut seurata, vaikka se sallisikin huonommat vakiot. Lopullinen todistus on alkeellinen ja perustuu 2010-luvun tunnettuihin tekniikoihin. Tulosta ei kuitenkaan ole vielä vertaisarvioitu, eikä idealisoitu kanavamalli tarkoita, että se parantaisi oikeita reitittimiä. Papailiopoulos ehdottaa myös, että mallit tiivistävät kollektiivisen inhimillisen intuition ja että monet hylätyt ongelmat odottavat vastaavia ratkaisuja.