4 ms·
Maybe a math oriented forum, might be a better place to post it. Do you think you could write up the proof in Lean?
by fjfaase 2y ago
Maybe a math oriented forum, might be a better place to post it.
Do you think you could write up the proof in Lean?
- stuartriffle 2y agoI 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].
- stuartriffle 2y agoAbsolutely 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.