LANAプロジェクトの次の報告は、今年の7月17日に記者会見の形式で中間報告として発表される予定です。この報告では、IUT理論の検証に関するその時点での理解の詳細が整理され公表されます。理解できた点だけでなく、未解明な論点をどのように言語化し位置づけているかについての検証結果も提示される予定です。
#ZEN大学 #ZEN数学センター #LANAプロジェクト #IUT理論 #宇宙際タイヒミュラー理論 #望月新一 #Lean #定理証明支援系 #形式化 #遠アーベル幾何学 #数論幾何学 #数学 #AI #自動証明 #加藤文春 #ヨハンコメリン #アダムトパーズ #キランケドラヤ #星裕一郎 #数理解析研究所 #形式言語 #証明検証 #計算機検証 #現代数学 #中間報告
感想
まだ感想はありません。最初の1件を書きましょう！
スクロール