>実際数おりの問3クラスを解ける俺からすると、人工的な問題という感覚がある。
人工的だろうとなんだろうと難しければ難しいほどいいけどな。
むしろ人工的な方が難しいのが多いだろう。コンピュータ将棋と同じで。
これからは人間相手の大人しい将棋（数学）は徐々に消えていくんじゃないか？
>あと問3レベルより大学数学の3年以降の数学の定理の証明の方が圧倒的にむずい
おまえにとってはな。俺にはどちらも大差ないけど。
ただ、よい定理と難しい定理は別物だな