News for hackers. Stuff that matters.

A comment on Rupert's Property. Parent comment

Re:Rupert's Property by mananaysiempre on Friday August 29, 2025 @10:10AM (#45064378)
That sounds like the current proof is too brute-force—too badly understood by humans—for humans to be able to explain it to Lean?
[ Parent | on HN ]

There are no comments on this comment yet.