ちなみにこれは「余程のこと」が起こった例。orz…

jrf> ちなみにこれは「余程のこと」が起こった例。orz

《AI支援で作られた「コラッツ予想の反証」は無効、Leanのカーネルバグを突いていたことが判明 - GIGAZINE》  
https://gigazine.net/news/20260803-collatz-lean-kernel-bug/