My guess, based on this response alone, is that you're an academic, given the holier-than-thou pretention. I understand how lean works, having done enough pure maths in my statistics PhD, and now work for a frontier lab.
And yet, I don't see how any of it bolsters the point. I do see realms of Math PhDs posting, 'iT's sO OvEr' blog posts and lamenting time spent studying math. I'm sure they understand the proofs better than I ever will, and they seem quite rattled. Probably just not as smart as you.
If you understood how they were solved, you'd see that you're only bolstering the point you were responding to.
> If you understood how they were solved
My guess, based on this response alone, is that you're an academic, given the holier-than-thou pretention. I understand how lean works, having done enough pure maths in my statistics PhD, and now work for a frontier lab.
And yet, I don't see how any of it bolsters the point. I do see realms of Math PhDs posting, 'iT's sO OvEr' blog posts and lamenting time spent studying math. I'm sure they understand the proofs better than I ever will, and they seem quite rattled. Probably just not as smart as you.