pro_ai_official

DeepSeek выпустила Prover V2, ИИ модель с открытым исходным кодом DeepSeek загрузил Prover V2 на хостинг Hugging Face. Модель, выпущенная под разрешительной лицензией MIT создана для решения проблемы проверки математических доказательств. У Prover V2 671 миллиард параметров, что делает его значительно больше, чем предшественники, Prover V1 и Prover V1.5, которые были выпущены в августе 2024 года. В документе, сопровождающем первую версию, объяснялось, что модель была обучена переводить задачи математических соревнований в формальную логику с использованием языка программирования Lean 4 — инструмента, широко используемого для доказательства теорем. Разработчики говорят, что Prover V2 сжимает математические знания в формат, который позволяет ему генерировать и проверять доказательства, потенциально помогая ученым. PRO AI ПОЛЕЗНЫЙ СОФТ НОВОСТИ

Проект World генерального директора OpenAI Сэма Альтмана по сканированию глаз и технологии проверки личности официально стартовал в США. Сферическое биометрическое устройство тратит около 30 секунд на сканирование лица и радужной оболочки глаза, затем создает и сохраняет уникальный IrisCode. Затем человек получает часть криптовалюты проекта, WLD и может использовать свой World ID в качестве входа на интегрированных платформах, которые в настоящее время включают Minecraft, Reddit, Telegram, Shopify и Discord. Компания открыла шесть точек в США, где люди могут записаться на сканирование глазного яблока: в Остине, Атланте, Лос-Анджелесе, Нэшвилле, Майами и Сан-Франциско. PRO AI ПОЛЕЗНЫЙ СОФТ НОВОСТИ

Илон Маск сообщил, что чат-бот Grok в ближайшем будущем получит обновление — Grok 3.5. Сейчас оно находится в стадии бета-тестирования. Одной из особенностей обновления станет способность Grok 3.5 давать ответы на технические вопросы. В частности, Маск отметил способность новой версии Grok разбираться в сложных научно-технических темах, таких как электрохимия и ракетные двигатели. PRO AI ПОЛЕЗНЫЙ СОФТ НОВОСТИ

Пользователи начали замечать, что обновление сделало GPT-4o чрезмерно любезным и услужливым На прошлой неделе компания OpenAI выпустила обновлённую версию 4o, которая обещает более эффективное сохранение памяти, решение задач, а также улучшение личностных качеств и интеллекта. Сэм Альтман написал, что 4o стал «раздражающим»,отметив, что в конечном итоге в каждой модели должно быть несколько вариантов личности. На протяжении недели будут выходить обновления, чтобы найти баланс. Ранее Сэм Альтман заявил, что вежливые обращения пользователей к ChatGPT, такие как «пожалуйста» и «спасибо», обходятся компании в «десятки миллионов долларов». Каждый дополнительный токен в запросе — это больше вычислений, электричества и износа оборудования. PRO AI ПОЛЕЗНЫЙ СОФТ НОВОСТИ

Alibaba представила новое семейство моделей Qwen3 Модели семейства Qwen3 в ряде тестов оказываются на уровне или даже быстрее и эффективнее DeepSeek, включая решение математических задач и написание программного кода. В марте Alibaba представила модели семейства Qwen 2.5, которые могут работать с текстом, изображениями, аудио и видео, ограничиваясь при этом ресурсами ноутбука или смартфона. Большинство моделей Qwen3 будут доступны для загрузки с платформы AI Hugging Face и GitHub. PRO AI ПОЛЕЗНЫЙ СОФТ НОВОСТИ

Huawei готовится к тестированию нового ИИ-чипа Huawei ожидает, что новый процессор Ascend 910D превзойдёт чип Nvidia H100, широко используемый для обучения ИИ. Ранее США ужесточили экспортные ограничения на поставки в Китай чипов Nvidia H20, что открыло дополнительные возможности для Huawei и других местных производителей, которые, несмотря на санкции, продолжают укреплять позиции Китая в полупроводниковой отрасли. В этом году Huawei планирует поставить более 800 000 чипов Ascend 910B и 910C государственным телекоммуникационным компаниям и частным разработчикам ИИ. PRO AI ПОЛЕЗНЫЙ СОФТ НОВОСТИ

Baidu представила обновлённые ИИ-модели Ernie 4.5 Turbo и Ernie X1 Turbo, снизив их стоимость на 80 и 50 % соответственно Обновлённые модели работают быстрее и стоят меньше по сравнению с предыдущими версиями, что позволяет разработчикам сосредоточиться на создании приложений. Кроме ИИ-моделей, компания представила платформу для ИИ-агентов под названием Xinxiang, предназначенную для автоматизации повседневных задач. Разработка призвана усилить конкуренцию с китайским сервисом Manus AI. PRO AI ПОЛЕЗНЫЙ СОФТ НОВОСТИ

Xiaomi построила автоматизированную фабрику в Чанпине, Пекин. Она работает 24/7 без рабочих, используя ИИ и робототехнику для сборки гаджетов. Фабрика функционирует в темноте — присутствует только обслуживающий персонал, и она способна производить до 10 миллионов смартфонов в год. ИИ в реальном времени отслеживает и корректирует производство. Также есть автоматизированная система, поддерживающая чистоту. Xiaomi вложила в проект около 330 миллионов долларов. PRO AI ПОЛЕЗНЫЙ СОФТ НОВОСТИ

Yandex B2B Tech открыла доступ к опенсорсным визуально-генеративным моделям VLM С их помощью компании смогут составлять описания товаров по фотографиям и быстро находить нужную информацию по документам. Модели доступны в Yandex Cloud AI Studio для пакетной обработки большого количества изображений. Всего для обработки данных доступны около 20 больших языковых LLM и VLM-моделей. Среди уже доступных моделей – Qwen2.5 и LLaMa 3.3, рассуждающие нейросети QwQ и DeepSeek R1. По мере появления новых опенсорсных моделей они почти сразу будут развернуты на платформе Yandex Cloud AI Studio. Вскоре клиентам также будет доступна VLM-модель Яндекса, которая уже используется в Алисе, Нейроэксперте, Поиске и других сервисах компании. PRO AI ПОЛЕЗНЫЙ СОФТ НОВОСТИ

Компания Adobe представила две новые модели создания изображений, интеграции со сторонними приложениями, новое рабочее пространство для совместной работы и анонсировала запуск мобильного приложения. Новые модели Firefly Image 4 и 4 Ultra повышают качество, реалистичность и скорость генерации, поддерживая разрешение до 2K. Веб-приложение Firefly теперь предлагает доступ к сторонним моделям, таким как GPT ImageGen от OpenAI, Imagen 3 и Veo 2 от Google, а также Flux 1.1 Pro от Black Forest Labs. Возможности Firefly по преобразованию текста в видео теперь доступны в бета-версии, наряду с официальным выпуском модели преобразования текста в векторное изображение. Adobe также запустила бета-версию Firefly Boards для совместной работы над mood-бордами с использованием ИИ и объявила о предстоящем выпуске нового мобильного приложения Firefly. PRO AI ПОЛЕЗНЫЙ СОФТ НОВОСТИ