Inter-universal geometryとABC予想(シン応援スレ) 92

Inter-universal geometryとABC予想(シン応援スレ) 92 (208ﾚｽ)
上下前次 1-新

29: 06/13(土)09:10 ID:TTzQJf42(29/46) AAS
つづき
追加ホイヨ
外部ﾘﾝｸ:ivanfesenko.org
News – Ivan Fesenko
・IUT and Lean: S. Mochizuki’s talk at a workshop on AI and math theorem provers on April 10

外部ﾘﾝｸ:aitpm.github.io
Workshop on AI and Theorem Provers in Mathematics
AITPM

Recordings
外部ﾘﾝｸ:www.youtube.com
省7