2 ms·
There's a lot of code that compiles but isn't correct.
by xmprt 2y ago
There's a lot of code that compiles but isn't correct.
- literalAardvark 2y agoBecause we're using languages with flexibility but no correctness, but the vast performance advantage AI programming has over us could be used to manage the formal proofs for a verified toolchain. We're not quite there yet, but while regular programming is quite tough for AI due to how fuzzy it is, formal proofs are something AI is already very good at.