OpenAI выложила 722 математические работы невыпущенной модели
OpenAI открыла репозиторий с 722 математическими рукописями, которые подготовила её внутренняя, пока не выпущенная модель. Работы собраны в 372 семейства: в каждом — связанные результаты, дополнительные доказательства или следствия.
Модели дали около 4000 задач; на большинство уходило в среднем три часа вычислений в режиме размышления. Среди заявленного — доказательства гипотезы Ходжа для CM-абелевых многообразий, результата об области без нулей дзета-функции Римана при Re(s) > 7/8, изоморфизма факторов свободных групп и гипотезы Хота. Часть работ формализована на Lean, но OpenAI предупреждает: без формализации возможны ошибки, так что это не подтверждение решений.
OpenAI открыла репозиторий с 722 математическими рукописями, которые подготовила её внутренняя, пока не выпущенная модель. Работы собраны в 372 семейства: в каждом — связанные результаты, дополнительные доказательства или следствия.
Модели дали около 4000 задач; на большинство уходило в среднем три часа вычислений в режиме размышления. Среди заявленного — доказательства гипотезы Ходжа для CM-абелевых многообразий, результата об области без нулей дзета-функции Римана при Re(s) > 7/8, изоморфизма факторов свободных групп и гипотезы Хота. Часть работ формализована на Lean, но OpenAI предупреждает: без формализации возможны ошибки, так что это не подтверждение решений.