OpenAI представила внутреннюю версию следующей модели Astra, а вместе с ней — и название нового крупного семейства. Система уже успела отличиться в необычно сложной для ИИ области: она решила десять открытых задач в математике и теоретической информатике.
Это не одна узкая тема, а сразу шесть направлений, где в список вошли: высокоразмерная геометрия, теория кодирования, теория групп, квантовая сложность вычислений, криптография на решетках и экстремальная комбинаторика. Среди результатов OpenAI отдельно выделяет первую в истории явную конструкцию несофической группы. Все десять доказательств верифицированы в системе Lean 4. Это важно не меньше самих ответов: Astra не просто выдала решения, а формализовала их так, чтобы их можно было проверить машинно. В OpenAI подчёркивают, что именно такой подход делает результаты пригодными для независимой проверки.
Нейросети становятся все совершеннее
На GitHub опубликованы 249-страничный скрипт и машиночитаемые сертификаты для каждого результата. Так история выглядит не просто демонстрацией возможностей модели, а полноценным исследовательским пакетом, который можно изучать и разбирать по частям.
По оценке OpenAI, на поиск всех решений ушло около $2000 (примерно 159 000 рублей) по тарифам API. Для такого набора задач сумма выглядит неожиданно умеренной, если учитывать масштаб результата и объём формализации.
OpenAI также не собирается останавливаться на достигнутом: компания планирует продолжать эксперименты с задачами из премии тысячелетия и обещает опубликовать подробную техническую документацию по Astra. Ранее OpenAI выпустила GPT-5.6 Sol, Terra и Luna, после одобрения властей США.
Что сильнее впечатляет: десять решённых задач или то, что Astra ещё и формализовала их для независимой проверки?
НовостиАнонсыOpenAIЖелезо и технологииискусственный интеллект
Источник: vgtimes.ru