📈 DeepSeek прокачали доказательства до уровня 671 млрд параметров

Исследовательская команда DeepSeek представила новую версию нейросети Prover-V2, заточенную под формализацию и доказательство математических теорем. Модель построена на архитектуре DeepSeek V3 и содержит 671 млрд параметров — по сравнению с всего 7 млрд в Prover-V1.5, это квантовый скачок.

🧠 Prover-V2 — это не болтливый ассистент. Он не будет спорить о смысле жизни, зато умеет переводить математику в машинный формат и пошагово доказывать сложнейшие утверждения. Модель работает через языки программирования для теорем типа Lean и других.

✅ Для лёгких экспериментов доступна мини-версия — она основана на том же движке, но урезана по параметрам.

Попробовать можно бесплатно OpenRouter.

💡Пока остаётся только ждать R2 — модель, которая может объединить мощь математики и общечеловеческий интеллект.

🤖 ИИ теперь монтирует за вас — встречайте Lens

Новый видеоредактор Lens официально доступен для тестирования.

Это не просто тулза, а умный монтажёр на ИИ, который сам:

✅ удаляет лишние фрагменты
✅ делает плавные переходы
✅ вставляет титры и субтитры
✅ занимается цветокоррекцией

📖 Под капотом — технологии моушн-дизайна и генеративного ИИ, которые ускоряют сборку видео в разы. Всё происходит в браузере — интерфейс минималистичный, как у Descript или Runway.

Присоединиться к тесту можно здесь.

Подходит для создателей коротких видео, презентаций, рилсов и TikTok-контента.

💡Новая реальность: дипфейк в реальном времени без багов и артефактов

Нейросеть Deep Live Cam умеет менять лицо в прямом эфире и делает это настолько реалистично, что вы не отличите подмену от настоящего человека.

✅ Маска не сползает при поворотах головы
✅ Не сбивается от перекрытий, света и мимики
✅ Картинка — как в фильмах, но в обычной вебке

Алгоритм подстраивается к движениям и освещению, благодаря чему подменённое лицо выглядит естественно даже при активной мимике.

🔥Готово к запуску — открытый код доступен на GitHub

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

📸 Китай перепрошивает небо: 10,5 тыс. дронов в одном шоу

Когда смотришь на такое, хочется сказать: у кого-то фейерверки, а у Китая – программируемое небо. В Шэньчжэне компания DAMODA устроила шоу – в воздух одновременно поднялись 10 518 дронов.

Они выстраивались в трехмерных драконов и планеты, менялись на лету, рисовали гигантские QR-коды – да, их можно было сканировать прямо с неба – и надписи на китайском и английском. Получился живой 3D-экран, только вместо пикселей – сотни летающих беспилотников.

❗️ Это новый мировой рекорд по количеству дронов в воздухе одновременно. Предыдущий (10 197 штук) тоже был китайским и тоже от DAMODA – в сентябре 2024-го.

Факт: все эти 10,5 тысяч дронов управлялись с одного компьютера. Не шоу, а демонстрация мощи – технической, организационной и смысловой.

🔥 Если кто-то еще думает, что Китай просто копирует – покажите им это небо.

🧠 Ученые вырастили человеческий мини-мозг из стволовых клеток и научили его управлять роботом

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

Ученые называют это прорывом:

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

Но есть и этические вопросы. Например: где грань между биотканью и сознанием? Потому что если цереброид начнет осознавать, что он — это он, вопрос станет не научным, а философским.

💲 ИИ с доступом к вашей карте: Visa готовит революцию в покупках

Компания хочет, чтобы ИИ-помощники научились тратить за вас деньги — буквально. Ассистенты смогут по команде покупать свитер, продукты или билет на самолет, не отвлекая вас на банальную рутину.

«Мы считаем, что это может быть действительно важно. Трансформация, по масштабу сопоставимая с появлением электронной коммерции», — говорит Джек Форестелл, директор по продуктам и стратегии.

Чтобы реализовать идею, Visa объединяется с главными игроками рынка ИИ:

➕ Anthropic
➕ OpenAI
➕ Microsoft
➕ Perplexity
➕ Mistral

Цель — научить ботов не просто искать товары, а оформлять и оплачивать заказы от вашего имени.

Финтех-перспектива очевидна: если все пойдет по плану, ИИ станет не просто личным помощником, а финансовым аватаром — всегда онлайн, всегда с доступом к вашей карте. Удобно? Безусловно. Безопасно? Пока большой вопрос.

🔎 Windows 11 научится замечать подглядывающих

Microsoft тестирует новую функцию «Обнаружение наблюдателя» — благодаря ей Windows 11 сможет распознавать, если кто-то тайком за вами следит.

Что умеет система:

➕ затемнять экран, чтобы постороннему было сложнее что-то разглядеть;
➕ оповещать владельца о нарушении приватности;
➕ сохранять данные о времени и длительности «шпионского» взгляда;

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

Сроки релиза не раскрываются. Но идея — словно из антиутопического будущего: Windows превращается в сторожа вашей цифровой приватности.

📖 Grok научился генерировать PDF-документы

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

Как попробовать?

✅ Зайдите на сайт Grok;
✅ Напишите запрос с припиской «в формате PDF»;
✅ Дождитесь завершения;
✅ Нажмите «Загрузить в файл» в левом верхнем углу строки ввода.

Работает уже сейчас в браузере, без подписки. Когда доберётся до мобильной версии — пока не ясно.

Пользователи уже печатают через Grok счета, студенческие работы, инструкции и презентации. Маск хочет, чтобы Grok был не просто болтливым ИИ, а реально рабочим инструментом. И у него получается.

🤖 Amazon представила первого робота-грузчика Vulcan с «тактильным» интеллектом

Новый складской робот уже тестируется в Германии и США, он способен обрабатывать до 80% товаров, не уступая человеку в ловкости. Главное отличие — рука с тактильными сенсорами, которая может чувствовать хрупкие предметы и подстраивать силу захвата.

Что умеет Vulcan?

➕ сортировать до 300 товаров в час;
➕ аккуратно доставать предметы даже из тесных контейнеров;
➕ оптимизировать размещение вещей в коробках за 0,1 секунды.

Робот уже втрое ускорил обработку товаров на складах в Гамбурге и Спокане. ИИ Vulcan построен на платформе Covariant, которая непрерывно обучается, анализируя миллионы касаний.

Amazon не собирается увольнять людей: Vulcan — часть стратегии 75%-ной автоматизации, где машины берут на себя рутину, а люди — решают нестандартные задачи. Уже появились новые вакансии по обслуживанию и обучению роботов.

В будущем аналогичные сенсоры появятся и у других роботов Amazon — это может вернуть мелкосборочные производства, где пока правит ручной труд 👍

🆕 Google DeepMind и Стэнфорд показали Mobile Aloha — робота-гуманоида, который жарит креветки, убирает и вызывает лифт

Его вес составляет 75 кг, а цена — $32 000. Это в разы дешевле аналогов: двуручные роботы сегодня стоят $200 000+. Плюс весь проект — open source: можно скачать инструкции, собрать самому и даже напечатать детали на 3D-принтере.

Управляется дистанционно: оператор контролирует передвижение и руки робота в реальном времени. Задачи, которые он уже умеет выполнять:

➕ пылесосить;
➕ стирать;
➕ заряжаться сам;
➕ поливать растения;
➕ загружать и разгружать посудомойку.

Конкуренты нервничают: Tesla Optimus стоит дешевле ($20 000), но пока и близко не показывает такой универсальности.

Минусы тоже есть — робот пока не всегда идеально справляется с жаркой креветок и яичницей. Команда честно признаёт: нужно больше тренировок.

❗️ Вывод: это не просто робот-домработник. Это прототип эпохи, где гуманоиды станут частью повседневной жизни. Причём не за космические деньги.

🤖 Пекин примет первые всемирные игры человекоподобных роботов

Соревнования состоятся с 15 по 17 августа на знаковых спортивных объектах: «Птичье гнездо» и «Ледяная лента», которые принимали Олимпийские игры 2008 и 2022 годов.

В играх примут участие роботы, соревнующиеся в 11 видах спорта, среди которых легкая атлетика (бег на 100 м, 400 м, 1500 м, эстафета 4x100 м, бег с препятствиями, прыжки в длину и высоту), а также гимнастика и футбол (матчи в форматах 2х2, 3х3, 5х5).

❗️ Основное внимание будет уделено координации движений, спортивным способностям и работе в команде среди гуманоидных роботов.

Эти игры обещают стать поворотным моментом в развитии робототехники и могут зарекомендовать себя как новая Олимпиада.

⏰ Роботы в ресторане: ABB Robotics ускоряет процесс сборки бургеров до 27 секунд!

Компания внедряет передовые технологии в ресторанный бизнес, делая приготовление бургеров быстрее и эффективнее.

Как это работает?

➕ Мясная котлета помещается на булочку.
➕ Робот считывает QR-код и автоматически добавляет соус, салат, сыр, маринованные огурцы и лук.
➕ Затем другой робот завершает сборку, добавляя финальные штрихи.

Важно: роботы выполняют только часть работы — измельчение мяса и сборка начинки, а готовые бургеры передаются сотрудникам для финального этапа.

Опрос среди работников индустрии показал, что 89% менеджеров и 73% сотрудников готовы к внедрению робототехники, чтобы автоматизировать задачи.

Элизабет Труонг, глава компании-разработчика, прогнозирует, что через 5 лет роботизированные решения будут повсеместно использоваться в ресторанах и превратятся из новинки в стандарт 👍

❓ GlobalGPT — удобная библиотека ИИ или сомнительный посредник?

Платформа громко заявила о себе, предложив доступ к более чем 100 ИИ-инструментам (ChatGPT-4o, Claude 3.5, Midjourney V6, DALL-E 3 и др.) — в одном окне, по одной подписке. Но не всё так гладко, как кажется на первый взгляд.

Что хвалят:

➕ Всё в одном: удобно тестировать разные модели без переключений и танцев с подписками.
➕ Интерфейс: даже новичкам легко разобраться.
➕ Выгодно: одна подписка — и доступ ко всем топовым AI-инструментам.

Что вызывает вопросы:

⛔️ Подписка-ловушка: на Reddit жалуются, что деньги списываются даже после отмены пробного периода. Возврат — квест с плохим финалом.
⛔️ Старые модели и кривой вывод: качество часто ниже, чем у оригинальных сервисов. Возможно, используются урезанные API или устаревшие версии.
⛔️ Безымянные владельцы: кто за этим стоит, где компания зарегистрирована, как обрабатываются данные — тишина.
⛔️ Сомнительная безопасность: отсутствие подробной политики конфиденциальности настораживает.
⛔️ Навязчивый спам: после регистрации пользователи жалуются на поток агрессивной рекламы на почту.

GlobalGPT может быть удобным входом в мир ИИ, но доверять ему чувствительные данные и платежки — рискованно. На фоне громких обещаний слишком много тревожных звоночков.