Mitsubishi Electric разработала технологию быстрой формальной верификации ИИ

Mitsubishi Electric Corporation (Токио: 6503) сообщила о разработке «технологии быстрого формального верифицирования для искусственного интеллекта», нацеленной на модели ИИ, известные как ансамбли деревьев решений. Эта технология стремится уменьшить риск сбоев в работе ИИ и способствовать созданию общества, где искусственный интеллект можно использовать с уверенностью. Ее разработка является прямым следствием эволюции технологии Maisart® от Mitsubishi Electric.

Быстрое формальное верифицирование помогает в проведении тщательных проверок моделей ИИ, что способствует более безопасному и надежному использованию этих технологий в различных отраслях. Mitsubishi Electric активно интегрирует свои разработки в ключевых направлениях, включая автоматизацию и электронику, что открывает новые горизонты для внедрения надежного ИИ.