やっぱりAIはあかんな。
じぶんで
ZEN大学の若山正人学長も説明している通り、Lean自体はAIではありません。しかし、「人間が書いた数学の論文」を「Leanのコード」に翻訳する作業（形式化）をサポートする目的で、補助的にAIの技術が使われることがあるため、ニュースなどで「AI」と言い回されることがあります。

と認めてるくせに

ネット上の「そんなインチキをAIが言うはずない」という主張は、「AIが宇宙際タイヒミュラー理論について勝手に嘘の証明をでっち上げている」という勘違いから来ている可能性が高いです。

という結論に結び付けるとか、論理が全然つながってない。はなしてる相手の気分をもちあげるための太鼓持ちにしかなってない。