数学者がLean Theorem Proverについて知って... ノート

数学者がLean Theorem Proverについて知っておくべきこと:信頼性とAIに関する問題

[これはトーマス・ヘイルズ氏によるゲスト投稿です。このブログ記事は当初、異なるファイル形式で書かれ、AIによって変換されました。— T.] 数学者は、数学のどのような点を評価しているかについて意見を述べてきました。私にとって重要なのは、数学の一貫性と、科学および文明を支える上での比類なき信頼性です。[…]