🖥 Goedel-Prover — нейросеть, придвигающая формальные доказательства к автоматике

📌 Goedel-Prover — это открытая LLM-модель, предназначенная для автоматического вывода полных формальных доказательств в среде Lean 4. Благодаря сочетанию обучения формализации задач и итеративного режима обучения, она достигает выдающихся результатов на математических бенчмарках.

📌 Модель работает по схеме «statement formalizer + prover iterations». Сначала естественноязыковые математические задачи переводятся в формальный язык Lean 4, затем серия проверов дообучаются друг на друга — каждый следующий решает те те задачи, которые не удалось предыдущему. На benchmark miniF2F Goedel-Prover достигает 57.6% Pass@32, опережая предыдущие модели (DeepSeek-Prover-V1.5) на ~7.6%.

ℹ️ Интересный поворот — в августе 2025 вышла версия Goedel-Prover-V2, с новыми методами: scaffolded data synthesis, verifier-guided self-correction, объединение чекпоинтов (model averaging). В ней используются стратегии самокоррекции: модель сначала генерирует кандидата, затем проверяет его через компилятор Lean и вносит правки. В публичном доступе есть модель Goedel-Prover-V2-32B на Hugging Face.

🔗 Попробовать: Goedel-Prover

👨‍💻 Blackbox AI — ИИ-ассистент, который пишет код по описанию

📌 Blackbox AI — инструмент для программистов, который умеет превращать текстовые запросы в готовые фрагменты кода. Он поддерживает автодополнение, подсказывает правки и ошибки, а также может искать в вашем проекте и писать “напрямую” в контекст.

📌 AI-ассистент анализирует текущий кодовой контекст: он смотрит, какие библиотеки вы используете, как структурированы функции, и предлагает решения, согласованные с вашим стилем. Он не просто “угадывает”, а действуют на основе того, что уже есть в проекте.

ℹ️ Но, конечно, у него есть нюансы: иногда предложения не учитывают мелкие детали, и их нужно проверять вручную. Тем не менее, большинство пользователей отмечают, что Blackbox сильно ускоряет работу над рутинными задачами — настройка маршрутов, автогенерация классов, исправление ошибок.

🔗 Попробовать: Blackbox AI

📱 Flyvi — онлайн-редактор контента с ИИ для соцсетей и маркетинга

📌 Flyvi — это онлайн-платформа, которая объединяет в одном месте всё, что нужно для создания брендированного контента. Здесь можно генерировать изображения, писать тексты с помощью ИИ, использовать шаблоны для постов, сторис и рекламы, а также планировать публикации прямо из браузера.

📌 В отличие от обычных генераторов картинок, Flyvi построен вокруг полного контент-цикла. Сервис связывает текст и визуал: сначала вы задаёте идею или просите ИИ написать текст поста, а затем система сама предлагает промпт для генерации подходящего изображения. Это превращает процесс в единый, бесшовный конвейер — от идеи до готового контента.

ℹ️ Платформа также поддерживает бренд-идентичность: можно загрузить логотипы, шрифты и фирменные цвета, чтобы все публикации выглядели в одном стиле. Добавьте сюда удаление фона, редактирование изображений, библиотеку стоков и планировщик — и получается полноценная AI-среда для маркетологов и SMM-специалистов.

🔗 Попробовать: Flyvi

🍿 Remini — мобильное приложение для апскейла и оживления лиц

📌 Remini позиционируется как инструмент, позволяющий улучшать качество фотографий одним нажатием: приложение распознаёт лица, устраняет размытия, шум и артефакты, и восстанавливает изображения до HD-качества.

📌 Поддержка iOS и Android, а также веб-версия позволяют пользователям загружать старые фотографии, фотографии с плохим освещением или портреты и получать более чёткие изображения буквально за секунды.

ℹ️ Приложение доступно бесплатно с лимитами на количество обработок, премиум-версия открывает расширенные функции.

🔗 Попробовать: Remini

🍿 LivePortrait AI — мгновенная анимация статичных фото

📌 LivePortrait AI превращает обычное фото в реалистичное видео за считанные секунды. Всё, что нужно — загрузить изображение с лицом, и инструмент создаст ролик с движущейся головой и выражением лица.

📌 Особое внимание уделено глазам, лицу и движению головы: лицо остаётся узнаваемым, мимика и движения выглядят правдоподобно.

ℹ️ Бесплатная онлайн-версия позволяет опробовать анимацию сразу, премиум-режим открывает HD-качество и расширенные настройки. Подходит для соцсетей, создания коротких видео и визуального контента без сложного монтажа.

🔗 Попробовать: LivePortrait AI

🖥 Pika Labs — инструмент, оживляющий фото и превращающий их в короткие видео

📌 Pika Labs — веб-сервис, позволяющий превращать статичные изображения или текстовые описания в динамичные видеоролики.

📌 Функции включают превращение фото в анимацию (камера, движение, мелкие эффекты), генерацию видео по тексту, а также комбинацию изображений и эффектов: Pan, Zoom, движения, VFX-эффекты, художественный стиль, фильтры.

ℹ️ Инструмент удобно использовать для сторис, коротких роликов для соцсетей, а также для создания визуальных концептов, превью, тизеров без монтажа, композиции и навыков редактирования.

🔗 Попробовать: Pika Labs

🌐 Pomelli от Google — бесплатный маркетинговый ИИ-инструмент для вашего стартапа

📌 Компания Google Labs и DeepMind запустили Pomelli — новую платформу, ориентированную на малый и средний бизнес (SMB). Инструмент анализирует веб-сайт компании, извлекает элементы бренда (тональность, цветовая палитра, шрифты) и создаёт рекомендации для рекламных кампаний.

📌 Работа с Pomelli проходит в три шага: ввод URL-адреса сайта → формирование “Business DNA” бренда → генерация креативов (тексты, изображения) и маркетинговых постов. При необходимости можно ввести собственный промпт и адаптировать идеи под задачу.

ℹ️ Сервис запущен в публичной бета-версии на территории США, Канады, Австралии и Новой Зеландии — на английском языке. Бесплатно доступен из раздела Google Labs.

🔗 Попробовать: Pomelli

🌐 Orchids AI: конец эпохи «сине-фиолетовых клонов» 🌐

✨ AI-сайты давно обвиняют в том, что они все как под копирку: одинаковые блоки, одинаковая типографика и тот самый пресловутый сине-фиолетовый градиент. Новый инструмент Orchids AI пытается сломать этот тренд и показать, что автоматическая генерация может быть не только быстрой, но и разнообразной. В тестах сервис предложил свежие палитры, динамичные анимации и нестандартные решения, которые выделяют его на фоне привычных AI-конструкторов.

📌 Главная фишка Orchids — клонирование сайтов в один клик. Пользователь вводит ссылку на понравившийся ресурс, и AI собирает его структуру, контент и базовый код в новый проект. Получается не идеальная копия, но удобная отправная точка для доработки. Вторая интересная особенность — система честного списания: если AI допустил ошибку и ушёл в исправления, кредиты пользователя не тратятся. Такой подход заметно выделяет Orchids среди конкурентов.

🚀 Работа с сервисом проста: описывается промпт → генерируется код и превью → готовый сайт можно сразу опубликовать или доработать. Для скачивания проекта как zip потребуется Pro-подписка, но даже в базовой версии Orchids выглядит как инструмент, который может изменить правила игры в AI-дизайне. Это решение для тех, кто хочет быстрый результат, но без ощущения, что сайт уже видели сотни раз.

🔗 Попробовать: Orchids AI

🔥 Higgsfield AI

📌 Сервис Higgsfield AI представил функцию Draw-to-Video, которая позволяет превращать любое изображение в полноценное видео — буквально за пару кликов.

📌 Вы берёте любую картинку, рисуете стрелку, жест, надпись — и алгоритм сам догадывается, что вы хотите. Да, настолько умный.

💳 На момент публикации сервис доступен в бета-режиме, и пользоваться им можно бесплатно — но это вопрос времени. Подобные технологии не бывают долго бесплатными. Особенно когда они настолько опережают конкурентов.

🔗 Подробнее: Higgsfield AI

🎥 Agent Opus — первый AI-агент, создающий вирусные ролики на основе трендов соцсетей

⚡️ Agent Opus — это новая платформа, которая преобразует идеи любого формата — текст, скрипты или ссылки — в отточенные видеоролики для социальных сетей. Модель анализирует актуальные монтажные тренды, визуальную стилистику и ритм на основе данных из сетевой активности и создателей контента, что позволяет быстро собирать динамичные, эмоционально заряженные видео с закадровым текстом и тщательно продуманными визуальными переходами.

📌 Система работает без привязки к ручной нарезке роликов: достаточно записаться в вейтлист на официальной странице Agent Opus. Агент автоматически подбирает мемные фрагменты, создает монтаж с "СДВГ-динамикой", добавляет закадровую озвучку и генерирует целостный визуальный продукт, отвечающий требованиям вирусного видео.

🔗 Для доступа к сервису открыта регистрация в раннем доступе — подать заявку на использование можно по ссылке: opus.pro/agent

🐈 Le Chat от Mistral AI — мощный многозадачный помощник из Франции

📌 Le Chat — многофункциональный AI-чат от французского стартапа Mistral AI, основанного в 2023 году инженерами из DeepMind и Meta. Несмотря на запрет деятельности компании в России, Le Chat остаётся доступен здесь через веб и мобильные приложения.

📌 Бот включает агенты для анализа данных, обучения, работы с документами и кодом, способен загружать файлы, строить визуализации, генерировать изображения и управлять задачами через Canvas-режим. Le Chat поддерживает безопасную работу, быстрый ввод (до 1000 слов/сек) и интегрирован в экосистему Microsoft Azure и Google Cloud.

🔗 Попробовать: Le Chat

🌐 Framer AI: автопилот для создания сайтов с помощью текстовых подсказок

📌 Framer представляет набор AI-инструментов для веб-дизайна, которые облегчают путь от идеи до запуска сайта. Среди новинок — Wireframer для быстрой генерации макета по текстовому запросу, Workshop для создания компонентов в стиле вашего дизайна и Vector для настройки векторной графики и иконок. Добавили также Advanced Analytics — метрики и A/B-тестирование в один клик. И всё это сразу доступно без ограничений.

📌 Framer теперь превращает текст в лендинг за секунды — достаточно описать, что нужно, и AI подберёт палитру, иконки, типографику, даже сгенерирует копирайт. Кроме того, можно применять AI-плагины: перевод сайта одним кликом, перепись текста, генерация изображений — и всё на базе GPT, Anthropic и Gemini.

📌 Framer AI идеально подойдёт стартаперам, дизайнерам и тем, кто хочет сделать сайт быстро и красиво без кодинга. Благодаря plug-and-play AI-плагинам создавать мультиязычные сайты, оптимизировать контент и обновлять дизайн стало действительно удобнее и быстрее.

🔗 Попробовать: Framer AI

✍️ Rytr — ваш AI-ассистент для текстов

📌 Rytr — это AI-инструмент для автоматического написания текстов: от блогов и маркетинговых постов до email-рассылок и описаний товаров. Он помогает сэкономить время и находить креативную подачу, действуя как персональный копирайтер.

📌 Он предлагает более 40 сценариев использования — от генерации CTA и SEO-заголовков до постов в соцсетях и описаний продуктов. Есть встроенные функции для редактирования текста, проверки грамматики, антиплагиата и даже простого визуального редактора.

🤪 Rytr поддерживает работу на 30+ языках, включая русский, и предлагает 20+ тонов письма для кастомизации стиля. В бесплатном тарифе доступно 10 000 символов в месяц, дальше — безлимитный и полный доступ к языкам и шаблонам от $9/месяц.

🔗 Попробовать: Rytr

🤖 Agentic AI — когда ИИ начинает действовать сам

📌 Agentic AI — это следующий шаг развития искусственного интеллекта, где система перестаёт быть просто инструментом и становится активным агентом: она ставит цели, принимает решения и реализует задачи без постоянного участия человека.

📌 В основе работы Agentic AI лежит несколько ключевых компонентов: большие языковые модели (LLM) для понимания и генерации, доступ к внешним инструментам (интернет-ресурсы, скрипты, API) и память с планированием — таким образом система разбивает цель на шаги и последовательно их выполняет.

ℹ️ Для бизнеса это не просто автоматизация — это возможность внедрить ИИ-системы, которые могут самостоятельно анализировать рынок, проектировать решения, тестировать варианты и действовать в масштабе. Agentic AI становится партнёром, а не просто помощником.

🔗 Попробовать: Agentic AI

🤖 Rowboat — ваш ИИ-коллега, который убирает рутину и ускоряет работу

📌 Rowboat строит граф знаний из вашей работы и помогает не теряться в задачах. Он подключается к Gmail, календарю, Google Drive и заметкам с встреч, собирая все важное: задачи, решения, протоколы, файлы.

📌 Перед встречей достаточно спросить «что по проекту с Сашей», и Rowboat выдаст выжимку прошлых обсуждений и текущих задач. Голосовые заметки тоже легко превращаются в структурированные записи.

ℹ️ Вся информация хранится в Markdown — просто открывать, редактировать и использовать как персональный справочник для работы.

🔗 Попробовать: Rowboat

📄 Превращаем любой PDF в безопасный файл — Dangerzone

📌 Нашли инструмент, который защитит ваш компьютер от вредоносных документов. Он работает с PDF, таблицами, картинками и другими форматами, распаковывает файлы в изолированном пространстве и проверяет их на вирусы.

📌 Даже если внутри окажется опасный код, вашему ПК ничего не угрожает. На выходе вы получаете полностью безопасный файл, который можно спокойно открывать и изучать.

ℹ️ Идеально для писем от сомнительных отправителей и подозрительных вложений.

🔗 Попробовать: Dangerzone

🖥 Запускаем десятки ИИ-агентов параллельно — Maestro

📌 Maestro — это приложение, которое превращает нейросети в полноценную команду: можно запустить сразу несколько агентов, и каждый будет делать свою часть проекта параллельно.

📌 Фишка в том, что Maestro дружит с Git: умеет работать с репозиториями, правильно коммитить изменения и даже создавать отдельные Git worktrees под каждого агента, чтобы они не ломали друг другу код.

ℹ️ Есть playbooks и Auto-Run — задаёте шаги один раз, и дальше всё выполняется автоматически. Плюс групповой чат, модератор-агент, просмотр изменений, история логов, CLI и удалённый доступ с телефона. И всё это бесплатно, на Windows/macOS/Linux.

🔗 Попробовать: Maestro

🐱 Локальный ИИ-парсер — ScraperAI

📌 ScraperAI — это инструмент, который превращает парсинг сайтов в диалог с нейросетью: подключаете любую локальную/опенсорсную модель, даёте ссылку на страницу — и он сам вытаскивает нужные данные по вашему запросу.

📌 Под капотом есть важные штуки для веба: поддержка Selenium (если сайт динамический), минимизация HTML (чтобы модель не захлёбывалась мусором) и гибкие настройки, которые помогают маскировать парсер и снижать шанс блокировок.

ℹ️ Идеально подходит, когда нужно быстро собрать таблицу, каталог, карточки товаров, посты или любые структурированные данные — без ручного написания XPath/селекторов под каждый сайт.

🔗 Попробовать: ScraperAI

🖥 860+ скиллов для ВСЕХ ИИ-агентов — Antigravity Awesome Skills

📌 На GitHub появился репозиторий с 860+ готовыми скиллами, которые можно подключать к ИИ-агентам и выдавать им новые умения по команде. Поддерживаются Claude Code, OpenCode, Gemini, Codex, Antigravity, Copilot, Cursor и другие.

📌 Скиллы закрывают почти всё: кодинг, автоматизацию, поиск инфы, анализ, работу с проектами, генерацию структуры, ревью, документацию и кучу мелких задач, которые обычно жрут время.

ℹ️ Работает максимально просто: один раз ставите набор, а дальше в чате вызываете нужный навык через @ — и агент сразу выполняет задачу по готовому шаблону, без лишнего промптинга.

🔗 Попробовать: Antigravity Awesome Skills

🖥 Claude Sonnet 4.6 — кодит лучше, агентит увереннее, цена та же

📌 Anthropic обновили свою самую массовую модель Claude Sonnet до версии 4.6. Теперь она стоит по умолчанию даже на бесплатном тарифе: кодинг, планирование агентов, работа с интерфейсами, длинный контекст и дизайн стали работать на новом уровне.

📌 Главная фича — контекст до 1 млн токенов. Можно закинуть в один запрос целую кодовую базу, кучу документов или контрактов, и модель нормально рассуждает на этом объёме. Кроме того, Sonnet 4.6 сильнее в “computer use”: клики, ввод данных, работа в софте без спец‑API и устойчивость к prompt injection в браузере.

ℹ️ Цена не изменилась: от $3/$15 за 1M токенов. Модель доступна на всех тарифах Claude, через API и облачные сервисы, а бесплатный план теперь тоже обновлён до Sonnet 4.6 с поддержкой file creation, connectors, skills и compaction.

🔗 Попробовать: Claude Sonnet 4.6