Прорывы в математике продолжаются. За $2000 в цене токенов (правда от другой модели, Sol) внутренняя версия OpenAI'ной следующей модели Astra нашла новые или улучшенные результаты по 10 математическим проблемам. Далее с участием модели люди подготовили статьи и модель подготовила ко всем решениям код на Lean. Также добавили описание процесса размышления модели. Блог: https://openai.com/index/ten-advances-in-mathematics/ Статья: https://cdn.openai.com/pdf/ten-proofs-oai.pdf Ризонинг: https://cdn.openai.com/pdf/reasoning-walkthroughs.pdf