OpenAI har publisert et GitHub-arkiv med matematiske manuskripter og tilhørende bevismateriale generert av selskapets AI-modeller. Materialet er gjort fritt tilgjengelig for forskere.

Kilde: https://github.com/openai/math