OpenAI опубликовала 700 препринтов математических доказательств

Компания OpenAI выложила в открытый доступ 700 научных препринтов, содержащих математические доказательства и контрпримеры. Репозиторий опубликован на платформе GitHub и включает в себя работы по сложным направлениям теоретической математики.

Среди опубликованных материалов представлены работы по решению гипотез и анализу сложных математических объектов. В частности, исследователи могут ознакомиться с контрпримером к гипотезе об энтропии (Entropy Conjecture), а также с новыми оценками для сингулярного множества стационарных интегральных вариофолдов.

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

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