>>534 補足

１）AI「ヤコビアン予想」反例 まあ、これはこれ
https://rio2016.5ch.io/test/read.cgi/math/1784575110/12
AI「Claude Fable 5」が87年来の難問「ヤコビアン予想」を覆す反例を生成したとAnthropic研究者が報告
https://gigazine.net/news/20260721-claude-fable-5-jacobian-conjecture/

２）将来的には いまの囲碁や将棋AIみたく 人間のプロ棋士より上位互換になるかもだが
　2026年現在の数学においては、総合的にはプロ数学者が上だろう
　しかし、人間＋最新AIなら 並みのプロ数学者を超えるかもね

３）LANAプロジェクトのLean形式化で言えば
　IUTがLean形式化をパスしなかった原因は いろいろ考えられるだろうが
　可能性としては IUTの”3.11→3.12”ギャップがあることも考えられる
　ここらは、議論を進めないと 分らないことだね

なので、話をオープンにして
早く進めた方が良いねと