数学の難問で
証明された事のチェック自体に大きなリソースが割かれるケースは
例外中の例外
そういうチェックは数学の発展とは無関係な作業

証明されたかどうかのチェック自体に大きなリソースが
十分に割かれる保証のある例外中の例外の実例は
・ポアンカレ予想(済)
・フェルマー予想(済)
・リーマン予想
くらいだけ。百歩譲っても他にはミレニアム懸賞問題くらいだけ