OpenAI Astra решила 10-летние математические загадки и изменила науку

OpenAI Astra перевернула мир математики

1 августа OpenAI представила модель Astra, которая решила десять открытых математических и теоретико-информатических задач, оставшихся нерешёнными более десяти лет. Все доказательства, проверяемые на языке Lean 4, опубликованы на GitHub. Этот прорыв демонстрирует, что искусственный интеллект способен существенно продвинуть научные исследования.

Разгадка 27-летней загадки и другие достижения

Astra впервые доказала существование несофических групп — ключевой вопрос, открытый с 1999 года благодаря Михаилу Громову. Модель также опровергла гипотезу о жёсткости фон Неймана Коннеса, доказала гипотезу Эрхарта о объёмах и решила три знаменитые задачи Пола Эрдёша, включая 183-ю проблему.

Новые границы в теории и квантовых играх

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

Вычислительные ресурсы и научная точность

Руководитель математических исследований OpenAI Себастьян Бюбек назвал результаты «прекрасными» и отметил, что каждое доказательство сопровождается сертификатом Lean, подтверждающим его корректность. Для получения всех результатов потребовалось около 2000 долларов США вычислительных мощностей. Сертификаты Lean обеспечивают независимую проверку и повышают доверие научного сообщества.

Реакция экспертов и научного сообщества

Томас Блум, руководитель сайта erdosproblems, охарактеризовал эти достижения как «важнейшие новости», превзошедшие даже опровержение гипотезы Эрдёша о расстояниях. OpenAI позиционирует Astra как «следующую крупную модель» и планирует предоставить бесплатный доступ к ней 100 000 академическим исследователям к 2027 году.

Искусственный интеллект и будущее математики

В мае OpenAI уже опровергла 80-летнюю гипотезу Эрдёша, а Astra показала, насколько далеко ИИ может продвинуться в решении самых сложных математических задач. Этот успех вызывает как восхищение, так и новые вопросы в научном мире. Роль искусственного интеллекта в исследованиях будет только расти, дополняя человеческие способности.

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