News for hackers. Stuff that matters.
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.)

There are no comments on this comment yet.