Inter-universal geometryとABC予想(シン応援スレ) 92 (190ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
26: 06/13(土)09:08:29.27 ID:TTzQJf42(26/46) AAS
つづき
外部ﾘﾝｸ:zen.ac.jp
プレスリリース ZEN大学 2026/03/31
IUT（宇宙際タイヒミューラー）理論のコンピューターによる検証を目指すZEN数学センターの新プロジェクト「LANA」を発表
―世界3大学による国際共同研究として始動―
x.com/ math_jin/
4/9のAIと形式化の研究集会における望月新一氏の講演動画
#IUTABC
Shinichi Mochizuki: On the Formalization of IUT: a preliminary progress report
youtube.com
省30
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.015s