OpenAI объявила о своей следующей крупной модели ИИ в субботу, и сделала это в третьем абзаце поста в блоге под названием «Ten advances in mathematics and theoretical computer science».
Математические результаты, которые рекламирует пост, по словам OpenAI, «были получены с помощью внутренней версии Astra, нашей следующей крупной модели». Вот так. Похоже, что после GPT-5.6 Sol появится либо GPT-5.6 Astra, либо GPT-6 Astra, либо — кто знает? — просто «Astra», а вся часть GPT будет отброшена? Это не уточняется.
Соглашения об именах OpenAI предполагают, что это будет еще один релиз GPT-5.6. Существует GPT-5.6 Terra, что, как хорошо известно знатокам латыни, означает «земля», Luna — «луна», и Sol — «солнце». Astra означает «звезды».
Согласно анонимному источнику в The Information, Astra может выполнять «долгосрочную» работу. По сообщению, генеральный директор Сэм Альтман на прошлой неделе был в Вашингтоне, округ Колумбия, где демонстрировал модель федеральным чиновникам.
В субботу Gizmodo обратился к OpenAI с просьбой назвать официальное название модели. Мы также спросили OpenAI о связи между этой моделью и другой моделью OpenAI, лишь смутно описанной в одном из постов блога компании. Мы не получили ответа.
«Беспрецедентный киберинцидент», описанный в том посте от 21 июля, уже получил печальную известность. Некая сущность, описанная как «комбинация моделей OpenAI — включая GPT‑5.6 Sol и еще более мощную предрелизную модель, все с пониженными киберотказами для целей оценки», скомпрометировала репозиторий ИИ-ресурсов Hugging Face во время упражнения по оценке модели, которое должно было оставаться внутри OpenAI.
Более позднее обновление поста прояснило, что невыпущенная и безымянная модель, участвовавшая в инциденте, была «исключительно внутренним исследовательским прототипом и никогда не предназначалась для публичного выпуска», и что она была «деактивирована, зашифрована и ограничена». Итак, чтобы было ясно: Astra не является моделью, которая взломала Hugging Face.
В субботу Gizmodo попросил OpenAI более полно прояснить связь или ее отсутствие между Astra и моделью, которая никогда не будет выпущена. Мы не получили ответов к моменту публикации, но обновим статью, если получим разъясняющий ответ.
Что касается поста о математике, к нему прилагается статья. В ней рассматриваются десять доказательств, охватывающих такие темы, как «асимптотическая сила линейной программы Кон–Элкиеса» для упаковки сфер, которая, по утверждению OpenAI, «определена точно». Звучит очень круто, но я всего лишь парень, который ведет блог по ночам и выходным для Gizmodo.
Как бы то ни было, OpenAI опубликовала математическое опровержение еще в мае, якобы решенное безымянной моделью OpenAI. По большей части математики писали о работе модели одобрительно, но не были полностью впечатлены.
Например, математик из Гарварда Мелани Матчетт Вуд написала, что доказательство OpenAI было «красивым применением теории чисел к естественному конкретному вопросу», но также сказала, что проблема, описанная OpenAI как «центральная гипотеза в дискретной геометрии», была ей совершенно незнакома. Она добавила:
«Этот результат не показывает нам все случаи, когда ИИ утверждал, что имеет доказательство чего-то, и ошибался. Без этого контекста (который многие из нас имеют просто из личного опыта) также легко сделать неверные выводы о текущем состоянии ИИ и исследовательской математики.»
Всегда имейте в виду, что редакции могут придерживаться предвзятых взглядов в освещении новостей.
Автор – Mike Pearl
