26/07/26 23:37:50.76 jgtmOrU+.net
>>534 補足
１）AI「ヤコビアン予想」反例 まあ、これはこれ
URLﾘﾝｸ(rio2016.5ch.io)
AI「Claude Fable 5」が87年来の難問「ヤコビアン予想」を覆す反例を生成したとAnthropic研究者が報告
URLﾘﾝｸ(gigazine.net)
２）将来的には いまの囲碁や将棋AIみたく 人間のプロ棋士より上位互換になるかもだが
2026年現在の数学においては、総合的にはプロ数学者が上だろう
しかし、人間＋最新AIなら 並みのプロ数学者を超えるかもね
３）LANAプロジェクトのLean形式化で言えば
IUTがLean形式化をパスしなかった原因は いろいろ考えられるだろうが
可能性としては IUTの”3.11→3.12”ギャップがあることも考えられる
ここらは、議論を進めないと 分らないことだね
なので、話をオープンにして
早く進めた方が良いねと