News for hackers. Stuff that matters.

A comment on Egoless Mathematics in the AI Era. Parent comment

Re:Egoless Mathematics in the AI Era by nradov on Tuesday November 03, 2026 @01:11AM (#50348653)
If the human can simplify the Lean proof then there's no need to get everyone to agree that it's correct.
[ Parent | on HN ]

There are no comments on this comment yet.