Не выпущенная модель Astra от OpenAI решает 10 сложных математических задач

По сообщению TechFlow, 1 августа, согласно новым данным, эта ещё не выпущенная модель (вероятно, GPT-6) решила 10 многолетних открытых задач в области математики, квантовой сложности и теоретической информатики, включая первую явно сконструированную не sofic-группу и опровергнув гипотезу жёсткости Коннеса. Ключевые рассуждения были сгенерированы Astra и формализованы в Lean, что позволило создать 249-страничную рукопись и сертификат, верифицируемый машиной. Затраты на токены для одного успешного решения по ставкам Sol API составили всего около 2000 долларов.