AIがミレニアム問題を解いたと言われる中、絵に関する反AIのように、数学者達がA…

jrf> AIがミレニアム問題を解いたと言われる中、絵に関する反AIのように、数学者達がAIへの懸念を発表した。しかし、すべてがLeanなどの定理証明システムで証明されることは、その分野の者(例えば私)には夢であった。人間には難しくとも例えばAIがそれを可能にすることも夢であった。そしてこの分野の者は、権威をコンピュータに求めがちだったため、在野の研究者となる者が比較的多かったように思う。まぁ、私がいた90年代当時の話だが。そういった在野の研究者を、論文誌は囲い込みをすることで排除していった。その因果が巡っているだけではないかという気もしないではない。

《IT navi:X:2026-09-12》  
https://x.com/itnavi2022/status/2098497942655295515
＞テレンス・タオ、森重文などを含む25人のフィールズ賞受賞者が「数学におけるAIの深刻なミスアライメント」を警告する共同宣言を公開しました。
https://mathandai.org

(…)
＜