Model rozumujący OpenAI znalazł kontrprzykład do hipotezy z geometrii dyskretnej, nad którą matematycy głowili się od 1946 roku. AI skompilowało istniejące podejścia z algebraicznej teorii liczb i dokonało tego, co ludzkiemu zespołowi zajęłoby dekady. Wynik zweryfikowali czołowi matematycy.