[Перевод] OpenAI снова выводит из себя математиков

OpenAI выложила в открытый репозиторий сотни математических результатов, полученных с помощью внутренней модели. Но доступность файлов ещё не означает, что доказательства проверены и готовы к использованию. Математики требуют прозрачного описания методов, корректных ссылок на предшествующие работы и понятных правил авторства.

Что опубликовала OpenAI

В августе компания пригласила около 40 математиков обсудить, как ИИ может изменить исследования. По словам участников встречи, OpenAI рассказала о сотнях решённых моделью задач и попросила совета о публикации результатов. Математики предложили готовить научные статьи с объяснениями доказательств, а не ограничиваться блогами и сообщениями в соцсетях. Об этом сообщает WIRED.

На момент выхода статьи WIRED компания только планировала опубликовать результаты. Позже OpenAI разместила их на GitHub. Сейчас в репозитории указаны 719 рукописей, сгруппированных в 372 семейства результатов. OpenAI предупреждает, что материалы находятся на разных стадиях проверки, не все снабжены формализациями Lean, а в некоторых неформализованных доказательствах могут быть ошибки.