Модель OpenAI Astra решила 10 крупных открытых задач в математике и теоретической информатике

В Reddit-сообществе обсуждается заявление о том, что модель Astra от OpenAI решила 10 крупных открытых задач. Утверждение касается прорывов в математике, квантовой сложности и теоретической информатике. Требуется проверка фактов, так как информация пока не подтверждена официальными источниками.