【ReHacQ生配信】AIで数学を証明!?IUT理論は正しいのか【高橋弘樹vs川上量生vs野村泰紀vs加藤文元】
Q. 望月教授の理論はAIで解明されるか？
👑 この動画でわかる３つのこと
望月教授のIUT理論が未だに検証されない理由がわかる
AIとLean言語が数学研究を劇的に変える可能性がわかる
天才理論の検証を阻む「等しさ」の概念の難しさがわかる
タイムスタンプ（目次）
みんなの意見50件 · AI要約
😊いいね・学びがあった· 33件
野村先生の分かりやすい解説や、天才たちの貴重な対談を楽しめたという声が多く、番組の座組やキャスティングを称賛するコメントも目立ちました。
- 野村先生の説明はわかりやすくて助かります。ありがとうございます
- 野村先生が居て良かった。解説上手！！わかりやすい！！
- 野村さんのゼロゼロゼロゼロゼロゼロゼロゼロゼロが聴けて、よく眠れます。
😠反対・疑問· 4件
ホワイトボードのペンインク切れや、照明による読みにくさの改善を求める声が複数ありました。また、内容が理解できないという意見も一部見られました。
- なんで、毎回ホワイトボードのペンインクが無いのか、、、
- ホワイトボードのペンのインクが切れないように気をつけて欲しい ホワイトボードの字が照明で光って読みにくいのを改善して欲しい
- スタッフ、インクの無いペンはなんとかしとけよ
🧭中立・新しい視点· 12件
内容の難しさから理解はできないものの楽しめた、という意見や、ABC予想の証明の難しさ、数学の不思議さについて言及するコメントがありました。
- 望月先生の話を広く知らせるのが文元先生で、文元先生の話をいっそうわかりやすくするのが野村先生っぽい。
- 簡潔にまとめると、望月教授は、定理3.11による多放射的表現が、系3.12に必要な数値的不等式を生むという構想を提示している。しかし、その抽象的対応から具体的な実数の包含関係を導く橋が、通常の数学的証明として十分に明文化されていない。
- 1:26:26 高橋さんの｢同じことを、もう一回言ってもらっていいですか｣ めっちゃ共感した 笑
出演者
加
加藤文元
数学者
加藤 文元 は、日本の数学者。ZEN大学知能情報社会学部教授、東京工業大学名誉教授、学校法人角川ドワンゴ学園理事、株式会社SCIENTA・NOVA代表取締役。博士（理学）。専門分野は代数幾何学・数論幾何学。
川上量生
実業家
川上 量生 は、日本のシステムエンジニア、実業家、アニメーションプロデューサー、映画プロデューサー。株式会社KADOKAWA取締役、株式会社バーチャルキャスト取締役、POPOPO株式会社取締役、株式会社スタジオジブリ所属、株式会社ドワンゴ顧… → Wikipediaで続きを読む
高橋弘樹
テレビプロデューサー
高橋 弘樹 は、日本の映像ディレクター、テレビプロデューサー、実業家、YouTuber。経済動画メディア「ReHacQ」を運営する株式会社tonari代表取締役社長。元テレビ東京制作局ディレクター、プロデューサーを経て、現在は経済動画メディ… → Wikipediaで続きを読む
