OpenAI опубликовала сотни математических работ, созданных ИИ

OpenAI опубликовала 722 математических рукописи, сгенерированных нераскрытой передовой языковой моделью. Значительная часть результатов содержит доказательства в формате Lean, а на генерацию одного результата в среднем ушло около трех часов вычислений.