54 ms·Now ask the the AI to write a formal verification program to prove it :)by Onavo 1y agoNow ask the the AI to write a formal verification program to prove it :)