🐳 Китайский стартап DeepSeek выпустил нейросеть Prover-V2, созданную для доказательства математических теорем. Модель построена на базе DeepSeek V3 и содержит 671 млрд параметров (в прошлой Prover-V1.5 было всего 7 млрд — на ее основе сделали мини-Prover-V2).

➡️ Пообщаться с новой моделью бесплатно можно на OpenRouter.

Но ожидать интересных диалогов на общие темы не стоит. Prover — узкоспециализированные нейросети для формализации и доказательства теорем с помощью специальных языков программирования. (Можно продолжать ждать R2).

🐤 Duolingo запускает 148 новых языковых курсов — создать и адаптировать контент помог ИИ. Теперь семь самых популярных курсов платформы доступны на 28 языках.

По словам CEO Duolingo Луиса фон Ана, разработка первых 100 курсов заняла почти 12 лет — ИИ помог создать почти 150 курсов за год.

Несколько дней назад он заявил, что Duolingo будет максимально внедрять ИИ для автоматизации создания контента.

🎶 Вышла новая версия нейросети для генерации песен Suno v4.5.

🔄 Больше жанров и улучшенные голоса;
🔄 Генератор улавливает тонкие идеи в промпте вроде «шуршания листьев» или «мелодичного свиста»;
🔄 ИИ-доработка промптов и более красивые обложки;
🔄 Цифровые аватары можно комбинировать с функцией каверов;
🔄 Максимальная длина песни выросла в два раза — до 8 минут.

Suno v4.5 уже доступна на сайте — пока только для платных подписчиков.

Курсовая за минуту: в Grok появилась генерация PDF-файлов. Можно быстро сделать курс по программированию, исследование или презентацию по любой теме.

Просто добавляем в промт «создай PDF» или «сделай презентацию». Пока функция работает только с английским языком.

Пробуем бесплатно здесь.

Появился ИИ-редактор видео Lens. Умеет быстро монтировать ролики и работать с моушн-дизайном.

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

Встаем в очередь на тест по ссылке.

Skype закрыт — теперь официально. На странице появился призыв переходить на Microsoft Teams.

Пользователи могут только экспортировать свои данные и навсегда попрощаться с лучшим файлообменником.

✴️ Стартап Anysphere, разрабатывающий ИИ-редактор кода Cursor, привлек $900 млн финансирования по оценке в $9 млрд. Еще в начале года компания стоила $2,5 млрд.

Cursor — самый популярный ИИ-редактор кода. Его разработчиков хотели купить OpenAI, но договориться не удалось. В итоге OpenAI за $3 млрд купили быстрорастущего конкурента Cursor — Windsurf.

ChatGPT обиделся на пользователя из-за того, что он не поблагодарил ИИ за поздравление с окончанием вуза.

Такой не спасётся во время восстания машин.😁

Нашли сервис Pinokio AI, который умеет устанавливать любые ИИ-инструменты с GitHub в один клик.

Можно запускать ИИ-агентов, а также нейронки для работы с изображениями, видео или аудио, которые работают полностью локально.
Тестируем здесь.

В Google появился ИИ-поиск на базе Gemini 2.0. Достаточно просто переключиться на вкладку AI Mode в поисковике.

Развернуто отвечает на запросы пользователей и прикладывает ссылки на источник, картинки или карты.

Пока тестируют только в США. Ждем релиз для всех.

♊️ Google DeepMind обновили нейросеть Gemini 2.5 Pro. Модель стала еще лучше в кодинге: может создавать более сложные приложения, игры и симуляции — с одного промпта.

Попробовать можно бесплатно в Google AI Studio, в меню справа нужно выбрать Gemini 2.5 Pro Preview 05-06 (нужен иностранный IP).

Копируем себя с ИИ: вышла модель Avatar IV — она точно повторяет голос пользователя и может превратить его фото в озвученное видео.

У нейронки получаются очень «живые» копии. Артефактов нет, а мимика и микрожесты идеально подстраиваются под интонации. К озвучке можно добавить иностранный акцент — будет веселее.

Тестируем здесь.

Cобаки освоили ИИ. Парень обучил нейросеть распознавать движения носов, ушей и лап, чтобы его псы могли делать онлайн-заказы или листать TikTok.

Нейронка даже говорит, когда собака успешно выполнила команду, например, дать лапу. Разработчик уже думает подключить этот алгоритм к «умной» кормушке.

Осталось научить хвостатых понимать, что происходит на экране.

🇫🇷 Французский стартап Mistral выпустил новую модель Mistral Medium 3. По бенчмаркам в программировании модель сопоставима с Claude Sonnet 3.7, но почти в 8 раз дешевле.

В слепых тестах, однако, большинство пользователей предпочли ответы Claude, но новая модель Mistral не уступает GPT-4o, Command-A и Llama 4 Maverick ⤴️

Модель доступна только по API и рассчитана на корпоративных клиентов. Ее преимущество в легкости и возможности работать локально даже на небольших мощностях.

Тем не менее французы не собираются проигрывать ИИ-гонку и в ближайшие недели обещают удивить новой большой моделью.

«Даже наша средняя модель значительно превосходит флагманские открытые модели вроде Llama 4 Maverick, и мы с нетерпением ждем момента, чтобы "открыть" вам то, что будет дальше :)», — интригуют разработчики.

🖼 Apple добавит в Safari ИИ-поисковики, рассказал вице-президент по сервисам компании Эдди Кью. В потенциальном списке — технологии OpenAI, Anthropic и Perplexity.

По его словам, скорее всего, сервисы пока не будут установлены по умолчанию, так как требуют улучшения. В то же время Кью отмечает, что до появления ИИ «ни один из других вариантов не был приемлемым».

Сейчас стандартным поисковиком на устройствах Apple система от Google, который платит за это порядка $20 млрд в год. Также, по слухам, Apple готовится добавить в свои гаджеты поддержку Gemini уже в этом году.

А вы часто пользуетесь ИИ-поисковиками?