OpenAI представила Astra: ИИ решил 10 сложнейших математических задач

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

Математические прорывы: задачи, которые стояли десятилетиями

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

Среди наиболее значимых достижений модели выделяются следующие:

• Несофические группы: построение доказательства их существования (вопрос оставался открытым с 1999 года после введения понятия Михаилом Громовым).
• Гипотеза жесткости Конна: опровержение предположения о возможности однозначного восстановления определенных групп по их алгебраической структуре.
• Гипотеза Эрхарта об объеме: определение максимального объема выпуклого тела с единственной внутренней точкой решетки в любой размерности.
• Задачи Эрдёша: решение трех проблем из известного каталога, включая определение нижней границы для многоцветных чисел Рамсея.
• Упаковка шаров: установление новых верхних границ плотности в высоких размерностях.

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

Методология и проверка: использование языка Lean

Одной из главных проблем при использовании ИИ в науке является верификация полученных результатов. OpenAI решила этот вопрос путем перевода каждого доказательства на язык Lean. Это специализированный язык программирования, который позволяет компьютеру автоматически проверять корректность каждого шага математического вывода. Все полученные сертификаты были опубликованы в открытом репозитории ten-proofs.

Тем не менее, процедура прозрачности ограничена: компания не раскрыла исходные промпты и полные трассы рассуждений, предоставив лишь сгенерированный моделью пересказ процесса. Это затрудняет независимую проверку воспроизводимости результатов в данный момент.

Стоимость и авторство: новая этика в науке

Согласно оценкам компании, вычислительные затраты на поиск всех десяти решений составили около 2000 долларов (при использовании тарифов API модели Sol). Это подчеркивает высокую экономическую эффективность ИИ в решении сверхсложных задач, на которые у человеческого сообщества уходили годы.

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

Перспективы развития и статус модели Astra

Несмотря на успех, эксперты призывают к осторожности. Математик Томас Блум отметил масштабность работы, однако Ноам Браун напомнил, что модель еще не достигла решения «задач тысячелетия» (проблем Института Клэя). По мнению специалистов, модель Astra не «вытесняет» математиков, а опирается на массив знаний, накопленный человечеством.

На данный момент модель Astra еще не выпущена для широкого пользования. Ожидается, что перед публичным релизом она должна пройти процедуру государственной проверки в США. Истинный успех технологии будет оцениваться научным сообществом: если текущие результаты станут базой для новых публикаций в ближайшие полгода, это станет подтверждением того, что Astra признана полноценным научным инструментом.

Вывод: Успех Astra демонстрирует способность ИИ справляться с глубокими теоретическими задачами, решение которых человечество не могло осуществить десятилетиями, переводя дискуссию о роли ИИ в науке из гипотетической плоскости в практическую.