＂数学の証明は、単に疑問に答えるだけでなく、なぜ答えがそうなるかという洞察を与えなければならない。ブラックボックスに質問を入れると反対側から答えが出てくるというのでは、知識は増えても理解できたとはいえないのだ。＂(P458) コンピュータを用いた所謂『シリコンによる証明』に関する言及。生成AIの時代、数学に限らずあらゆる分野でいえることだと感じた。