https://rio2016.5ch.io/test/read.cgi/math/1774529018/128
Interuniversal geometry とABC 予想60
128１３２人目の素数さん
垢版 | 大砲
2026/04/14(火) 23:22:01.96ID:BnKBX3hW
https://note.com/reidaakyo/n/nc7e4307ccdd2
なんかLANAの内部事情知ってる風だけど本物かね？
とりあえず3.11までは完全に正しいらしい。
(引用終り)

追加参考
https://note.com/reidaakyo
れいだー卿

https://note.com/reidaakyo/n/nb6d4ffdf881e
ミニIUT理論（宇宙際タイヒミュラー理論）シミュレーションで理解する「壊れる数学」と「復元の条件」

https://note.com/reidaakyo/n/nbd4d10d0a617
第4回：定理証明支援編「数学者が『コード』を書く日――Leanは真理の守護者か？」