Leanのムラゴンブログ

このタグの読者になる 0

ZEN大学超難解「IUT理論」をコンピュータを使って検証初公開から10余年経過も正誤結論でず

IUT（宇宙際タイヒミューラー）理論のコンピューターによる検証を目指すZEN数学センターの新プロジェクト「LANA」を発表 | 学校法人日本財団ドワンゴ学園のプレスリリース（冒頭部分）＋＋＋＋＋＋＋＋オンライン大学、ZEN大学のZEN数学センター（ZMC）は31日、望月新一・京都大学数理解析研... 続きをみる
深浦サブロー時代遅れの新聞読みブログ 2026/04/01 17:25
# Lean
- 【AIが数学の未解決問題を解く】数学者の相棒になるAI
- 用語解説「プロセス」とはなにか
# うつ
# 柏原市