3 ms·
No, that quality drops so low across the board due to flaws in AI coding that they only way to address all these flaws is to have mechanically checked proofs th
by sitkack 4mo ago
No, that quality drops so low across the board due to flaws in AI coding that they only way to address all these flaws is to have mechanically checked proofs that the code actually works.
- dghlsakjg 4mo agoMy reply was meant for another tangent. No idea how it ended up on this thread. Whoops