OpenAI представила 722 математические работы, созданные новой моделью

Компания OpenAI опубликовала обширную коллекцию из 722 математических работ, разработанных её новой моделью. Данный сборник охватывает ключевые доказательства ранее нерешённых задач, а также их логические следствия, дополнительные выводы и альтернативные подходы к доказательству.Для повышения верифицируемости многие из этих доказательств доступны в формате Lean, что позволяет осуществлять их автоматизированную проверку. Важно отметить, что некоторые из представленных работ всё ещё могут содержать неточности.Согласно расчётам OpenAI, для генерации каждого результата требовался объём вычислительных ресурсов, эквивалентный трём часам работы версии ChatGPT Pro.Ожидается скорый релиз самой модели, однако конкретные сроки её запуска пока не уточняются.[Источник](https://openai.com/index/sharing-ai-progress-in-mathematics/)