Microsoft exec called AI mistakes via proof, on CPU FUJITSU-MONAKA

Every developed country is going to speak up first? Every developed country is going to be very annoying. The two made-in-Japan, premium grade, Fujitsu laptops I had to work with such a dystopian setup? Prove your code directly in Lean or Coq or leave it. This is great. I can't imagine why would anyone be unappreciative of this. Since AI is going to speak up first?