数学の難問「ＡＢＣ予想」巡る望月新一教授の証明、検証チーム「不明瞭な点がある」と中間報告 : 読売新聞
https://www.yomiuri.co.jp/science/20260717-GYT1T00330/
これオレンジ的には、こんなもん本人がLeanで書き下せないんじゃ仮説でしかないだろくだらない＞＜
という感想を持ってるんだけど、（つづく）
フォロー
（つづき）
その上でGoogle AI検索に疑問をぶつけて「そもそもこうなんだから有限個なんじゃないの！？＞＜」って言ったら「それをやろうとしたのがIUTなんです！」と言われて「そうなんだ＞＜；」ってなった＞＜（？）
