今は人間だけでなくコンピュータ（AI)も参加して証明が正しいか検証するのね。
理想的な共同ワーク。