Mitsubishi Electric 开发适用于 AI 的快速形式验证技术
发布时间：2025年2月26日
来源：szf
快速阅读: 《美国商业资讯（新闻稿）》消息，东京——三菱电机公司（东证交易所代码：6503）宣布，基于其Maisart®技术，成功研发了针对集成决策树AI模型的“快速形式验证技术”，以降低AI故障风险，推动社会对AI的安全应用。
东京——(商业Wire消息)——三菱电机公司（东证交易所代码: 6503）今日宣布，该公司已开发出针对集成决策树的AI模型的“快速形式验证技术”。该技术旨在减少AI出现故障的风险，并帮助实现一个可以放心使用AI的社会。这一开发成果直接得益于三菱电机Maisart®技术的进步。
(以上内容均由Ai生成)
