OpenAI сообщает о десяти созданных ИИ прорывах в математике и теоретической информатике
OpenAI заявляет, что её модель Astra сгенерировала десять прорывов в давно стоявших математических и теоретико-информатических задачах, с формализацией в Lean для проверки.

