Autonomiczny agent AI przeprowadził pierwszą w pełni udokumentowaną atakę na słynny problem Conway'a 99, czyli pytanie czy istnieje graf mocno regularny o parametrach srg(99,14,1,2). Badacze osiągnęli kilka istotnych wyników: udowodnili exhaustywnie, że żaden graf cyrkulacyjny na strukturze Z/99 nie może spełnić więcej niż 68% ograniczeń (33 z 49 klas różnic), oraz zredukowali oryginalny problem do poszukiwania grafu 12-regularnego na zaledwie 84 wierzchołkach poprzez wymuszenie konkretnej struktury wynikającej z parametrów lambda=1 i mu=2.
Druga strona monety to praktyczne metody. Zespół stworzył zweryfikowaną ramę do analizy grafów z określonymi automorfizmami (symetriami), testując ją na znanych strukturach srg(9,4,1,2) i grafie Paley'a srg(13,6,2,3). Problem zakodowali dla solvera CP-SAT, który mógł efektywnie szukać rozwiązań. Najlepszy dotychczasowy wynik to 69,43% spełnienia warunków ograniczenia, osiągnięty czterema różnymi metodami.
Znaczenie badania polega na tym, że każde zbiegające dowód do ograniczenia poniżej 4950 byłoby dowodem nieistnienia tego grafu. Fakt, że czternaście niezależnych podejść nie potrafi przekroczyć bariery 69,43%, sugeruje że ta granica może być fundamentalna. Problem Conway'a 99 pozostaje jednym z ścieżek otwartych pytań kombinatoryki, a ta praca pokazuje jak autonomiczne AI i formalne metody weryfikacji mogą systematycznie eksplorować takie problemy.