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.