Re:Who Can Understand the Proof? A Window on Formalized Math...
by QuesnayJr on Friday January 10, 2025 @11:37AM
(#42657188)
I think there is something to this idea. There have been cases where person A was working on proving a result but struggled, then person B announced a proof of the result, and then person A was inspired to finish their proof. (Sadly, I don't remember the specifics.)
[ Parent
| on HN ]
There are no comments on this comment yet.