Mathematical manuscripts and supporting proof artifacts produced by OpenAI

Проект предоставляет математические рукописи и сопровождающие доказательства, созданные OpenAI, что облегчает исследователям быстрый доступ к проверенным матери