Учёные ВМК МГУ предложили новый подход к формальной верификации нейросетевых моделей Представители факультета ВМК МГУ имени М.В. Ломоносова разработали и протестировали подход к формальной верификации... ...
Сбер представляет GigaChat 2.0 – одну из сильнейших нейросетевых моделей на русском языке (12+) (12+) По данным бенчмарка MERA для русского языка, модель Сбера GigaChat 2 MAX занимает первое место среди AI-моделей, а в международных бенчмарках о ...
Комплексная платформа автоматизации авиаотрасли «Панорама» включена в Единый реестр российских программ Собственная разработка компании Integro Technologies, платформа автоматизации наземного обеспечения рейсов и автоматизации... ...
В ГИС «Панорама» для Linux расширены средства контроля карт и пространственного анализа данных В КБ «Панорама» разработана ГИС «Панорама» версии 15.3.6 для ОС Astra Linux Special Edition, ОС «Альт Линукс», «Ред ОС» и Ubuntu (20.04... ...
Голосовой робот: эффективный инструмент для автоматизации звонков, контроля качества и создания диалогов с клиентами В условиях цифровизации бизнеса и растущей конкуренции компании стремятся оптимизировать внутренние процессы, минимизировать ручной труд и повысить у ...
Bell Integrator разработала платформу автоматизации создания программного обеспечения на базе искусственного интеллекта «Алькод» Компания Bell Integrator (ГК Softline) разработала новую платформу автоматизации создания программного обеспечения на базе... ...
Tencent выпустила ИИ-систему Hunyuan 3D 3.0 для создания фотореалистичных 3D-моделей Компания Tencent представила обновленную ИИ-систему Hunyuan 3D версии 3.0 для создания фотореалистичных 3D-моделей. ...
Роботы на кухне: Appetronix трансформирует фастфуд с помощью ИИ и автоматизации Компания Appetronix, специализирующаяся на роботизированных решениях для пищевой отрасли, объявила о разработке инновационной полностью автономной ку ...
