チューリッヒの研究者、ヨハネス・シュミット氏の言葉を引用します。「数学の問題はAIによって『一掃』されるような状況に向かっているかもしれないが、人間が関与しなくなるため、実際にはこの分野は進歩しないだろう。人間は検証を行わない、理解していない、あるいは将来のブレークスルーが何であるかを知らないからだ」