Japan, Feb. 25 -- Mitsubishi Electric Corporation announced that it has developed "rapid formal verification technology for AI," targeting AI models known as decision tree ensembles.1 This technology aims to reduce the risk of AI malfunctions and help realize a society where AI can be used with confidence. Its development is a direct consequence of the development of Mitsubishi Electric's Maisart(R).To address the rapid advance of AI technology and its increasing use globally, the world's first comprehensive legal framework for AI, the "EU Artificial Intelligence Act," came into effect on August 1, 2024. Countries around the world are establishing similar laws and guidelines to address AI risks, requiring businesses that develop and provide...