OpenAI опубликовала результаты frontier-модели по открытым задачам математики и выложила код

OpenAI объявила о публикации новых результатов по открытым проблемам в математике, полученных с помощью внутренней frontier-модели. Компания не раскрывает название модели, но подчёркивает, что это её самый передовой инструмент для работы с математикой.

Вместе с результатами OpenAI делится формализациями доказательств на языке Lean — это позволяет автоматически проверить корректность каждого шага. Весь код и детали исследования выложены в открытый репозиторий на GitHub, чтобы сообщество могло воспроизвести и развить результаты.

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