>>990

>　よって、人間の証明を、人が
>再チェックして、確認することになるだろう

だったら、状況はいまとあまり変わらないんじゃない？
Coqに食わせるのが簡単にできるなら、人のチェックと 平行してやればいいけど