Что произошло
OpenAI сделала необычный шаг — опубликовала на GitHub целую коллекцию математических исследований, полностью созданных искусственным интеллектом. Репозиторий содержит 722 работы, сгруппированные в 372 тематических семейства. Среди них есть как фундаментальные результаты в теории чисел, так и прикладные работы по математической физике.
Детали
- Объём: 722 манускрипта, каждый прошёл внутренний отбор по значимости
- Вычисления: в среднем 3 часа работы ChatGPT Pro на одно открытие
- Охват: от доказательств в теории чисел (например, иррациональности π) до сложных задач квантовой механики
- Проверка: часть результатов уже формализована в системе Lean (инструмент для проверки математических доказательств), остальные проходят верификацию
«Некоторые неформализованные результаты могут содержать ошибки. Мы будем оперативно исправлять такие случаи» — предупреждают разработчики.
Почему это важно
- Прорыв в автоматизации науки: ИИ теперь способен не только решать задачи, но и находить новые закономерности
- Ускорение исследований: 3 часа на открытие — это в разы быстрее человеческих возможностей
- Прозрачность: OpenAI сознательно делает процесс генерации математических знаний открытым
- Практическое применение: многие из этих результатов могут найти применение в криптографии, машинном обучении и квантовых вычислениях
Модель получала около 4000 математических проблем разной сложности. Лучшие результаты агрегировались в «семейства» связанных работ. Некоторые доказательства затем формализуются в Lean для проверки корректности.
Что дальше
OpenAI планирует продолжать пополнять коллекцию и привлекать математическое сообщество к проверке результатов. Особенно интересно будет посмотреть, как эти инструменты:
- Интегрируются в академическую среду
- Помогают решать прикладные задачи
- Развивают саму область искусственного интеллекта
Фактически, мы наблюдаем рождение нового инструмента научного познания — и это только начало.
Источники
- Оригинал: github.com — © github.com
