OpenAI впервые официально подтвердила существование Astra — нового семейства ИИ-моделей...
OpenAI впервые официально подтвердила существование Astra — нового семейства ИИ-моделей, названного «следующим крупным». Внутренняя версия Astra решила десять открытых задач в математике и теоретической информатике, над которыми исследователи безуспешно бились как минимум десять лет, а некоторые — значительно дольше. Решения охватывают многомерную геометрию, теорию кодирования, теорию групп, квантовую сложность, криптографию на решётках и экстремальную комбинаторику. Самый заметный результат — первый пример несофической группы, объект, существование которого обсуждалось годами, — может приблизить разгадку фундаментальной проблемы теории групп. Все доказательства формализовали в системе Lean, получив машинно проверяемые выводы без ручных ошибок. Совокупные вычислительные затраты оценили примерно в $2000 по текущим тарифам API модели Sol. Математик Томас Блум из Манчестерского университета назвал это «большой новостью», но не считает, что ИИ вскоре заменит учёных. Разработчик технологии рассуждений Astra Ноам Браун уточнил: ни одна из задач тысячелетия (за каждую Институт Клэя платит $1 млн) пока не решена, но компания продолжит эксперименты. Гендиректор Сэм Альтман уже представил Astra представителям правительства США, подчеркнув её способность координировать множество ИИ-агентов при решении научных и инженерных задач. Astra войдёт в линейку вместе с моделями Sol, Terra и Luna; коммерческое название пока неизвестно. Позднее OpenAI обещает выпустить подробный технический отчёт.