Hacker News new | past | comments | ask | show | jobs | submit login

Really? I've always had the impression that "elementary" proofs of hard problems are highly valued.



A proof of a long-open conjecture that uses only elementary techniques is typically long and convoluted.

Think of the problem as requiring spending a certain amount of complexity to solve. If you don't spend it on developing a new way of thinking then you spend it on long and tedious calculations that nobody can keep in working memory.

It's similar to how you can write an AI model in Pytorch or you can write down the logic gates that execute on the GPU. The logic gate representation uses only elementary techniques. But nobody wants to read or check it by hand.




Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: