OpenAI tvrdí, že model vyriešil starý problém diskrétnej geometrie
OpenAI opisuje dôkaz k Erdősovmu problému jednotkových vzdialeností ako míľnik pre AI v matematike. Dôležité je nielen tvrdenie o výsledku, ale aj to, ako bude komunita overovať autonómne nájdené dôkazy.