Terence Tao | What's new 日本語 フォロー 数学者がLean Theorem Proverについて知っておくべきこと:信頼性とAIに関する問題 [これはトーマス・ヘイルズ氏によるゲスト投稿です。このブログ記事は当初、異なるファイル形式で書かれ、AIによって変換されました。— T.] 数学者は、数学のどのような点を評価しているかについて意見を述べてきました。私にとって重要なのは、数学の一貫性と、科学および文明を支える上での比類なき信頼性です。[…] What mathematicians should know about the Lean Theorem Prover: questions of reliability and AI terrytao.wordpress.com Terence Tao | What's new 日本語 RSS thenote.app