OpenAI публикует большую коллекцию математических прорывов от не выпущенной AI-модели

Image: The Verge · Source

OpenAI опубликовала 722 рукописи с решениями сотен давних открытых математических задач, созданных не выпущенной внутренней AI-моделью. Результаты размещены на GitHub и способствуют прогрессу в области AI, одновременно вызывая вопросы этики исследований и академических норм.

OpenAI раскрыла крупную коллекцию математических результатов, сгенерированных не выпущенной внутренней моделью искусственного интеллекта, включающую 722 рукописи, сгруппированные в 372 семейства связанных работ. Этот обширный релиз, по сообщению, решает сотни долгосрочных открытых вопросов в различных областях математики, продолжая недавнюю тенденцию прорывов при поддержке AI в этой сфере. Материалы доступны в публичном репозитории на GitHub, включающем формальные доказательства, краткие рассуждения и вспомогательные артефакты.

По данным OpenAI, подавляющее большинство результатов получено с использованием единой процедуры, при которой внутренняя модель применялась к примерно 4000 задачам, а среднее время вычислений эквивалентно трём часам работы ChatGPT Pro на один результат. Отдельные выводы были собраны, строго организованы и проверены перед публикацией. Некоторые сложные случаи, например доказательства, связанные с нулевыми регионами функции дзета Римана и гипотезой Ходжа для CM-абелевых многообразий, требовали исключений из стандартного процесса и человеческого редактирования для ясности.

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

Это раскрытие следует рекомендациям Консультативной группы по математике и искусственному интеллекту, которая призывала лаборатории AI оперативно делиться математическими открытиями через установленные академические каналы, предоставляя прозрачные сведения, такие как названия моделей, входные данные и вычислительные затраты. Группа также предупреждала об опасности использования таких результатов исключительно в маркетинговых целях ввиду возможного вреда математическому сообществу.

Общее влияние этих результатов, сгенерированных AI, ещё формируется, поскольку математики по всему миру изучают и проверяют находки. Эти материалы способствуют быстрорастущему корпусу исследований в математике, выполненных AI, присоединяясь к усилиям лабораторий, таких как Anthropic, которые также решали сложнейшие задачи, включая вопросы Миллениум-приза. Ускоряющаяся активность AI в фундаментальной математике вызывает дискуссии об этике исследований, академическом признании и роли человеческих математиков, чья предыдущая работа лежит в основе достижений AI.

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