[sitkack]

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]

My reply was meant for another tangent. No idea how it ended up on this thread. Whoops