OpenAI открыла репозиторий с 722 математическими рукописями, объединёнными в 372 группы связанных результатов. Их подготовила внутренняя, пока не выпущенная модель; опубликованы тексты, вспомогательные материалы и формальные доказательства в системе Lean для части работ.
Каталог не равен 722 независимо подтверждённым открытиям: внутри групп есть альтернативные доказательства, следствия и сопутствующие работы. Компания прямо допускает ошибки в результатах, ещё не прошедших формализацию. Опубликованный массив даёт исследователям возможность проверять конкретные утверждения, а окончательную оценку его математической ценности ещё предстоит установить.
«Некоторые неформализованные результаты могут содержать проблемы»
Предупреждение OpenAI в репозитории, перевод.
Каталог рукописей и доказательств OpenAI
#новости #ИИ #наука
@digitaltimeslv
Original in Telegram: https://t.me/digitaltimeslv/10874