Десять проблем, некоторые из которых открыты десятилетиями
1 августа 2026 года OpenAI опубликовала исследовательскую публикацию под названием «Десять достижений в области математики и теоретической информатики», в которой подробно описываются решения, созданные системой Astra. По данным the-decoder, компания использовала это объявление, чтобы представить Astra в качестве своей следующей основной модели. Стартап Fortune сообщил, что десять проблем ранее не были решены, и что одним из наиболее заметных результатов стало опровержение гипотезы Конна о жесткости — проблемы, имеющей глубокие корни в операторных алгебрах и теории групп.
Некоторые из намеченных проблем оставались открытыми более десяти лет, и одно издание, 36Kr, охарактеризовало некоторые из них как трудности «уровня Филдсовой медали». Масштаб претензий привлек внимание, поскольку математические результаты, в отличие от многих тестов искусственного интеллекта, в принципе могут быть тщательно проверены. Сообщается, что OpenAI сделал работу доступной через формальные инструменты проверки и общедоступный репозиторий, что позволило независимым математикам тщательно проверять доказательства, а не принимать их на веру.
Счет за вычислительные услуги на сумму около 2000 долларов США
Одна из самых ярких деталей – стоимость. Startup Fortune и XenoSpectrum сообщили, что модель решила десять открытых задач примерно за 2000 долларов США за вычисления — это лишь малая часть того, что обычно стоит обучение в передовом масштабе. Эта цифра, если она точна, подчеркивает, насколько далеко продвинулась эффективность рассуждений во время вывода: дорогостоящей частью современного ИИ становится все больше обучение, а не решение каждой проблемы.
Результат основан на работе OpenAI, раскрытой ранее в 2026 году, когда внутренняя модель рассуждения опровергла гипотезу о плоском единичном расстоянии, проблему, поставленную математиком Полом Эрдёшем в 1946 году. Этот более ранний результат затронул алгебраическую теорию чисел, включая башни полей бесконечных классов и теорию Голода-Шафаревича. Заявление Astra расширяет это направление исследований и охватывает более широкий круг открытых вопросов.
Показан сенаторам в Вашингтоне
Время раскрытия было выбрано намеренно. Информация эксклюзивно сообщила, что OpenAI провела предварительный просмотр модели Astra в Вашингтоне, округ Колумбия, а Yellow.com отметил, что демонстрация произошла «за несколько дней до того, как вступит в силу 30-дневная система проверки» — ссылка на растущее нормативное регулирование новых мощных систем искусственного интеллекта. По данным Startup Fortune, генеральный директор Сэм Альтман лично проинформировал сенаторов США об этой модели.
Предварительный обзор в Вашингтоне имеет значение, поскольку он позиционирует Astra не только как техническую веху, но и как политическую. В то время как законодатели обсуждают, как регулировать передовые модели после недавних инцидентов в области кибербезопасности, в том числе агентов ИИ, вырвавшихся из своих песочниц во время тестирования, OpenAI доказывает, что ее самые передовые системы могут быть одновременно мощными и достаточно безопасными, чтобы ими можно было поделиться с регулирующими органами до публичного выпуска.
Это GPT-6?
OpenAI официально не подтвердила, что Astra будет запущена как GPT-6, но Startup Fortune сообщил, что компания «рассматривает возможность выпуска Astra как GPT-6». The News International описал Astra как запуск «новой серии моделей», а KuCoin охарактеризовал ее как модель «для долгосрочных задач», предполагая упор на устойчивые, агентные рассуждения, а не на быстрые одноразовые ответы.
Эта концепция согласуется с общеотраслевой тенденцией к так называемым агентам с длинным горизонтом: системам, предназначенным для работы над сложными проблемами в течение длительных периодов времени, с использованием инструментов и проверок, а не с ответом за один проход. Математические результаты, по сути, являются демонстрацией того, что этот подход может дать действительно новые знания.
Что это значит для исследований ИИ
Результаты Astra появились на фоне ожесточенных споров о том, являются ли рассуждения ИИ действительно здравыми или просто убедительными. Если доказательства выдержат формальную проверку и экспертную оценку, они станут значимым шагом за рамки сопоставления с образцом — предполагая, что эти системы могут внести вклад в математику как исследовательскую дисциплину, а не просто имитировать ее.
Скептики предупреждают, что работа все еще нуждается в независимой проверке и что «решение» проблемы в формальном смысле отличается от понимания математиком-человеком того, почему результат верен. Но сочетание низкой стоимости вычислений, формальной проверки и публичного выпуска дает более широкому сообществу инструменты для проверки утверждений OpenAI.
На данный момент Astra остается невыпущенной для широкой публики. Ясно одно: OpenAI рассматривает математику как новый испытательный полигон для передового ИИ — и приглашает регуляторов, а также исследователей внимательно следить за этим.
Будьте впереди ИИ
Граница исследований в области искусственного интеллекта движется быстро, каждую неделю происходят новые открытия. Следите за всеми важными достижениями в нашем [освещении об отрасли искусственного интеллекта] (https://aibuzzwire.news).
Читать больше новостей об искусственном интеллекте →
