AIによるLeanなどの定理証明器を使った証明。信頼できるのか…と思う人がいるか…

jrf> AIによるLeanなどの定理証明器を使った証明。信頼できるのか…と思う人がいるかもしれないけど、余程のことがない限り信頼できる。できる操作が厳しく限らてていて、間違った証明が入り込まないように機械的にされている。ハッキング的な操作は人間が見てもすぐにチェックできる。ただ、その証明が人間に読みやすいフレンドリーなものかと言われると、そこはかなり違って、定理証明器の伴走が必要だし、そこはAIの補助が現代だと必要だと思う。