AI agent zúžil hľadanie Conwayovho 99-grafu, otvorený problém však nevyriešil
Autonómny výskumný agent vytvoril overiteľné hranice, štrukturálnu redukciu a nový rámec na prehľadávanie Conwayovho 99-grafu. Podrobnosti práce zároveň ukazujú výrazný ľudský dohľad, limity všeobecných riešičov a rozdiel medzi čiastkovým skóre a matematickým dôkazom.