Will help realize a society where AI can be used with greater confidence
TOKYO–(BUSINESS WIRE): Mitsubishi Electric Corporation (TOKYO: 6503) announced today that it has developed “rapid formal verification technology for AI,” targeting AI models known as decision tree ensembles. 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®.
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 AI to manage these risks appropriately. The reliability of AI is particularly crucial in systems where safety is critical, such as autonomous control systems, power and social infrastructure systems, and cybersecurity systems, due to the significant damage that can be caused by errors.
Typically, AI reliability is evaluated using a finite set of test data not used in the model’s training, assessing metrics such as accuracy. However, AI behavior is highly complex and even if the test results are 100% accurate, the risk of errors with untested data cannot be eliminated. To address this issue, a formal verification method has been proposed, which involves setting the expected behavior of AI in advance and rigorously verifying that it operates as expected without omissions. However, formal verification has been limited due to the enormous time required to verify large AI models and the difficulty in determining the priority of addressing the risk of malfunctions.
Also read: Viksit Workforce for a Viksit Bharat
Do Follow: The Mainstream formerly known as CIO News LinkedIn Account | The Mainstream formerly known as CIO News Facebook | The Mainstream formerly known as CIO News Youtube | The Mainstream formerly known as CIO News Twitter
About us:
The Mainstream formerly known as CIO News is a premier platform dedicated to delivering latest news, updates, and insights from the tech industry. With its strong foundation of intellectual property and thought leadership, the platform is well-positioned to stay ahead of the curve and lead conversations about how technology shapes our world. From its early days as CIO News to its rebranding as The Mainstream on November 28, 2024, it has been expanding its global reach, targeting key markets in the Middle East & Africa, ASEAN, the USA, and the UK. The Mainstream is a vision to put technology at the center of every conversation, inspiring professionals and organizations to embrace the future of tech.
