OpenAI раскрывает Astra — модель ИИ, решившую десять математических задач, над которыми математики бились десятилетиями

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