OpenAI GitHub paskelbė 722 matematinius rankraščius, suskirstytus į 372 rezultatų grupes
OpenAI GitHub paskelbė 722 matematinius rankraščius, suskirstytus į 372 susijusių rezultatų grupes.
Repozitorijoje taip pat pateikiamos daugelio, bet ne visų, šių rankraščių Lean formalizacijos. Nurodoma, kad rinkinyje esantys rezultatai yra skirtinguose patikros etapuose.
