OpenAI опубликовала в публичном GitHub-репозитории 722 математических результата, полученных внутренней топ-моделью компании. Многие доказательства формализованы на языке Lean — системе, где каждая логическая цепочка проверяется компьютером.
722 теоремы от ИИ: OpenAI выложила математические результаты своей внутренней топ-модели в открытый доступ
Это краткое изложение. Полный текст материала доступен на сайте источника.