そのコンピュータのプログラムだかAIだかが正しい証明はどうやってするんだ?