undefined | Better HN

0 pointsDavidzheng7mo ago0 comments

I disagree. I think it's a sequence of a huge number of modular moderately hard tasks each much easier than a hard IMO question.

0 comments

markusde7mo ago

IMO problems are stated in and solved by math a high schooler could understand. Getting the definitions right (one of the harder parts of mechanizing proofs IME) is a different beast altogether.

j / k navigate · click thread line to collapse

0 pointsDavidzheng7mo ago0 comments

I disagree. I think it's a sequence of a huge number of modular moderately hard tasks each much easier than a hard IMO question.

0 comments

markusde7mo ago

IMO problems are stated in and solved by math a high schooler could understand. Getting the definitions right (one of the harder parts of mechanizing proofs IME) is a different beast altogether.

j / k navigate · click thread line to collapse