これ面白いな
https://rio2016.5ch.net/test/read.cgi/math/1749926306/657
Inter-universal geometry とABC 予想58
2025/10/22(水) 00:08:26.07ID:jwjOTwUz
>>47の境界情報宇宙論(IUT量子情報理論)の基礎である二者相互規定がLEAN4通ったから記念書き込み
https://ideone.com/WMpA9b

これ通るってことは、やっぱりIUTは合ってると思う

https://live.lean-lang.org/
で試してどうぞ