I asked about it on Math StackExchange twice, both posts were deleted within minutes as off-topic.

I formalized the proofs and came back, but I'm apparently banned for a week because I had two posts deleted.

I am fully aware that what I present is impossible, but here we are. It should be easy to contradict the argument, it's very simple. I can write it on a napkin. I'm pulling my hair out here [what's left of it].

Absolutely not, but ChatGPT generated some Lean, I posted it in a comment. I'm not set up to run that, downloading stuff now. I guess we'll see.

[edit] I have deleted the half-ass ChatGPT generated Lean because it doesn't compile yet and that's lame. Working on it.