おそらく、もっとクリック誘い的なタイトルをつけるべきだったかもしれません。例えば: AIの幻覚を解決しました!* * 科学的MLの狭い文脈において** ** 形式検証、自動定理証明、応用圏論を多用する