04.09.2026
openai.com
Текст: Mustafin Magazine
GPT-6 Astra от OpenAI доказала 10 сложных математических теорем
Модель самостоятельно сформировала ход рассуждений
OpenAI анонсировала новую флагманскую модель GPT-6 Astra, обозначив ее первой системой "эпохи общего искусственного интеллекта" (AGI), передает Mustafin Magazine.
Доступ к новому алгоритму открывается в ближайшие дни для пользователей платных тарифных планов и сторонних разработчиков через API. Представители компании сообщили, что в процессе предварительного тестирования внутренний вариант Astra смог самостоятельно решить 10 давних открытых задач в области фундаментальной математики и теоретической информатики.
В число полученных результатов вошли построение конструкции несофической группы, опровержение гипотезы Конна о жесткости, улучшение границ максимального размера двоичных кодов и новые расчеты по упаковке сфер в пространствах высокой размерности.
Модель самостоятельно сформировала ход рассуждений и формализовала каждое доказательство в виде официального сертификата Lean.
Суммарная стоимость вычислительных токенов для поиска этих решений составила около $2 000 (₸1 млн).
Разработчики подчеркнули, что Astra демонстрирует высокую автономность при управлении компьютером и написании программного кода. Из-за существенного роста технических возможностей OpenAI внедряет новые протоколы безопасности для контроля за работой алгоритма.
