>>1474956
ACL2の優勝賞金は250万ドル(3.6億円)。準優勝は100万ドル(1.4億円)。金銭的なメリットは無いと思うな。