Публикация от 4 августа 2026

💡 Astra от OpenAI решила 10 математических задач, над которыми бились десятилетиями OpenAI официально подтвердила существование Astra — нового семейства моделей для решения сверхсложных задач. Внутренняя версия ИИ уже справилась с десятью открытыми проблемами в математике и информатике, которые ученые не могли разгадать годами. ⚙️ Что умеет новая модель: • Решает задачи в области многомерной геометрии и криптографии • Построила первый пример несофической группы • Координирует работу множества ИИ-агентов • Формализует доказательства в системе Lean • Способна к длительным цепочкам научных рассуждений Разработчики уже пытались применить Astra к задачам тысячелетия, но пока безуспешно. Зато решение всех десяти задач обошлось компании всего в ~159 927 ₽ по тарифам модели Sol. Ожидается, что Astra станет частью линейки наряду с Sol, Terra и Luna, но её коммерческое название пока не раскрывают. 🔗 Источник ⚡️ — мощно, это новый уровень 🤔 — а когда выкатят для всех? Техноварик