Что интересного произошло в мире ИИ за последние дни — 🔴 OpenAI включили «Код красный»
Сэм Альтман внутри компании объявил red code из-за конкурентов. После релиза Gemini 3 и пары удачных моделей на рынке OpenAI решили притормозить монетизацию и доп.фичи (реклама, ChatGPT Pulse, shopping) и перекинуть ресурсы на сам продукт: персонализацию, imagegen и максимизацию скора на lmarena.
Иронично, что три года назад «код красный» объявляла уже Google — как раз после появления ChatGPT.
— 🌀 Две новые модели для генерации видео за час
Runway выкатили Gen-4.5: подтянули физику, качество и следование инструкциям — в рейтинге Artificial Analysis модель вышла в топ. Поддерживает разные стили и референсы (картинки/видео), но доступа пока нет, раскатывают постепенно.
Параллельно китайцы привезли Kling o1 — больше про редактирование: можно убирать объекты, менять цвета и стиль. И её уже можно щупать бесплатно и пока безлимитно: app.klingai.com. — ⚡️ DeepSeek продолжает пушить агентов
Выпустили DeepSeek-V3.2 и DeepSeek-V3.2-Speciale. Обе подаются как модели именно для агентных сценариев, а Speciale — с упором на долгий сложный reasoning и планирование. Одна модель уже доступна в чате, вторая — только через API.
По метрикам на уровне GPT-5 / Gemini 3.0. И, как водится у DeepSeek, всё в опенсорсе — лежит на Hugging Face.
— ♾️ ИИ-математик Aristotle и задача Эрдёша
Aristotle — система от стартапа Harmonic, которая пишет формальные доказательства в Lean. (Lean — это спец. язык программирования + софт, в котором математики и разработчики записывают строго формальные доказательства теорем.) Недавно команда объявила, что модель решила задачу Эрдёша №124 за 6 часов без участия человека. Звучит как прорыв, но нюанс: решена упрощённая версия задачи, в оригинальной формулировке проблема до сих пор открыта.
Вывод такой: модели уже умеют докручивать математику уровня условного аспиранта/олимпиадника, но до гипотезы Римана всё ещё как пешком до Китая. На фоне истории родился даже новый термин — vibe-proving: как vibe-coding, только для математиков.
