3 ms·We'll have AGI before we have usable formal verification. Just let the AGI write the code.by JabavuAdams 6y agoWe'll have AGI before we have usable formal verification. Just let the AGI write the code.