>>10
数学オリンピックの問題は計算問題じゃない
平均的な人間がコンピュータを使っただけでは解けない

解法や証明のアルゴリズムを考え出す必要がある