KV.by

OpenAI объявила о запуске новой функции Library для ChatGPT — облачное хранилище личных файлов и изображений прямо внутри платформы. Library доступна подписчикам Plus, Pro и Business по всему миру, за исключением некоторых стран.

Несколько дней назад на платформе OpenRouter появилась мощная ИИ-модель, и, как стало известно, она принадлежит китайской компании Xiaomi. Ранее в сети ходили слухи, что за её появлением стоит стартап DeepSeek, который без лишней огласки тестирует свою новую языковую модель.

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

Эти компактные версии ориентированы на быстрое решение базовых задач, включая координацию субагентов ИИ. GPT-5.4 mini — главный шаг вперёд по сравнению с оригинальной GPT-5 mini: она генерирует более качественный код, умнее рассуждает и эффективнее управляет внешними инструментами, при этом работает более чем вдвое быстрее.

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

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