Comment by ballmerpoint
1 day ago
I am also not disputing the correctness of the Lean proof. I even emphasized this in my comment: “correct but irrelevant”.
Oh, well. I suppose I should avoid getting involved in these AI threads, but now it’s about half the forum.
If you're responding to the parent post, as most of us are, the Lean proof is not irrelevant.