>> ひとつの計算間違いや、条件の適用漏れが致命傷になる数学の証明において、ハルシネーション（幻覚）と呼ばれるエラーは最大の障害であった。99パーセントの正しい推論があっても、途中の1パーセントの破綻が全体の論理構造を無価値にしてしまう。直感的なアイデアの生成と厳密な検証の両立は、機械にとって最も高いハードルとして認識されていた。人間の数学者は、問題を見た瞬間に背後に隠れた対称性を直感し、その直感に従って数式を変形していく。当時のAIは文字通りに数式を処理しようとして袋小路に迷い込むことが多かった。