EPISODE · Apr 2, 2026 · 18 MIN
現代数学最大のミステリー「IUT理論」の壁に挑む。定理3.11と系3.12の間に何があるのか？
from 数学の翻訳家 · host math_translator
LANAプロジェクトの次の報告は、今年の7月17日に記者会見の形式で中間報告として発表される予定です。この報告では、IUT理論の検証に関するその時点での理解の詳細が整理され公表されます。理解できた点だけでなく、未解明な論点をどのように言語化し位置づけているかについての検証結果も提示される予定です。#ZEN大学 #ZEN数学センター #LANAプロジェクト #IUT理論 #宇宙際タイヒミュラー理論 #望月新一 #Lean #定理証明支援系 #形式化 #遠アーベル幾何学 #数論幾何学 #数学 #AI #自動証明 #加藤文春 #ヨハンコメリン #アダムトパーズ #キランケドラヤ #星裕一郎 #数理解析研究所 #形式言語 #証明検証 #計算機検証 #現代数学 #中間報告
Embed this episode
Ready to play
現代数学最大のミステリー「IUT理論」の壁に挑む。定理3.11と系3.12の間に何があるのか？
0:00
18:04
1×
No transcript for this episode yet
Similar Episodes
No similar episodes found.
Similar Podcasts
No similar podcasts found.
Frequently Asked Questions
How long is this episode of 数学の翻訳家?
This episode is 18 minutes long.
When was this 数学の翻訳家 episode published?
This episode was published on April 2, 2026.
Can I download this 数学の翻訳家 episode?
Yes. Use the download control on the episode player to save the publisher-provided media file.
URL copied to clipboard!