Comment

Comment by 12345ieee

> I struggle to see the beauty in a gargantuan lean proof constructed by 100 different people

Why does it need to be beautiful? Once you proved it it's true and you can use its consequences in math, sciences and engineerings.

parent 12345ieee 4 months ago

Discussion

Live from the official Hacker News API

A modern reader for Hacker News · SvelteKit + Skeleton