OpenAI выпустила 722 математические работы, написанные ИИ

Там, где начинаются настоящие исследовательские задачи, бенчмарки для ИИ обычно пасуют. OpenAI, похоже, решила проверить это на деле: компания открыла доступ к 722 математическим работам, которые состряпала ещё не выпущенная внутренняя модель.

Вместо привычного тестирования разработчики подкинули агенту около 4000 открытых исследовательских задач. Получившиеся материалы свели в 372 семейства по направлениям математики, а на один результат модель тратила в среднем около трёх часов.

Часть работ цепляет уровнем задач. Среди них есть результат для гипотезы Ходжа применительно к CM-абелевым многообразиям — частного случая одной из семи задач тысячелетия.

Есть и продвижение по гипотезе Римана. Авторы расширили область, свободную от нетривиальных нулей дзета-функции Римана, до Re(s) > 11/12. Проще говоря, теперь доказано, что такие нули сидят в полосе 1/12 < Re(s) < 11/12.

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

Наконец, модель добралась до Unique Games Conjecture — проблемы, связанной с пределами приближённых вычислений. Выдержит это доказательство проверку — и последствия ударят сразу по большому классу NP-трудных задач.

Выходит любопытная смена правил: ИИ уже предлагают не угадывать правильный ответ в тесте, а самостоятельно искать новые математические результаты. Науке это может сулить резкое ускорение работы с открытыми проблемами, а ИИ-рынку — переход от оценки моделей к проверке того, что они способны открыть.