There have been several recent announcements about formal verification of software and hardware, both using AI and for AI systems: Harmonic announced last week…