OpenAI zveřejňuje rozsáhlou sadu matematických výsledků vytvořených interním frontier modelem. Materiály jsou publikované v repozitáři na GitHubu s pravidly pro revize, citace a další doplňování formálních důkazů v jazyce Lean. Nová dávka má zahrnovat 722 manuskriptů seskupených do 372 rodin souvisejících výsledků a navazuje na předchozí oznámení o více než stovce dlouhodobě otevřených problémů. Součástí zveřejnění jsou také shrnutí modelového uvažování, odhady spotřebovaného výpočtu a statistiky pokusů. Průměrný výsledek odpovídal zhruba třem hodinám režimu ChatGPT Pro thinking. Klíčové teď bude nezávislé čtení, ověřování a opravy matematickou komunitou. Repozitář vznikl 6. října večer UTC a publikace navazuje na doporučení nezávislé matematické skupiny.
