Comment by whateverboat

LLM's have generated "False" proofs in Lean, so that statement is not far off. Malicious or incompetent? Take your pick.