Top Tweets for #IUTABC
#IUTABC
https://t.co/Zl9Lnlq6w4
#IUTABC
https://t.co/qGmFabJM0j
3.11→3.12問題。
「こっち側に来てくれないと話が進まない。」
よく関係者が言っていた言葉。
「こっち側」(批判派にとっては「あっち側」)とは?
E.Lepageは「そっち側」へ行くことを初めて受け入れた疑念派。
彼は『理解者』となった。
「こっち側」にくれば、
『理解者』となる。
#IUTABC
4/9のAIと形式化の研究集会における望月新一氏の講演動画
#IUTABC
Shinichi Mochizuki: On the Formalization of IUT: a preliminary progress report
https://t.co/eYt856UvER
e-mail To: Jakob Stix
cc: Scholze & Faltings
From: Shinichi Mochizuki
Subject: Invitation to reopen dialogue concerning IUT
Date: 2022.12.30
#IUTABC

Lean4 を用いた Gödel の 不完全性定理の形式化
斎藤彰悟(東北大学) https://t.co/G2u2RNnfiX
#IUTABC


ON THE FORMALIZATION OF IUT: A PRELIMINARY
PROGRESS REPORT [JOINT WORK IN PROGRESS
WITH Y. HOSHI, G. YAMASHITA, Y. YANG, . . . ]
Shinichi Mochizuki (RIMS, Kyoto University)
April 2026
#IUTABC
https://t.co/3OoiDXeMz9
![math_jin's tweet photo. ON THE FORMALIZATION OF IUT: A PRELIMINARY
PROGRESS REPORT [JOINT WORK IN PROGRESS
WITH Y. HOSHI, G. YAMASHITA, Y. YANG, . . . ]
Shinichi Mochizuki (RIMS, Kyoto University)
April 2026
#IUTABC
https://t.co/3OoiDXeMz9 https://t.co/z2nQWoKFfo](https://pbs.twimg.com/media/HFYk4sma8AYHuf7.jpg)
望月新一の安否確認情報
2026年04月08日 00:00現在: 元気にやっています。
所在地: 京都府
Safety Confirmation Information for Shinichi Mochizuki
As of 08 April 2026, 00:00: I'm doing fine.
Location: Kyoto Prefecture, Japan
https://t.co/kKLNFvlN98
#IUTABC
望月新一の過去と現在の研究更新 #IUTABC
・研究集会「Workshop on AI and Theorem Provers in Mathematics」での講演のスライドを公開
PDF→https://t.co/3OoiDXeMz9
https://t.co/3qzqLjh8mt

望月新一の最新情報更新
2026年04月08日
・(過去と現在の研究)研究集会「Workshop on AI and Theorem Provers in Mathematics」での講演のスライドを公開。
#IUTABC
https://t.co/hpBpduCOMX
[ 数の宇宙 A ]
↓ theta-link
[ 幾何の宇宙 B ]
↓ log-shell morphism
[ 圏の宇宙 C ]
↓ anabelian 変換
[ 数論構造に還元 D ]
#IUTABC
LANAプロジェクトチーム
と
望月新一氏側(IUT理論)
のギャップ、考え方の違い、解決すべき点
▼
「Leanの専門家から見ると、不定元のような集合論的な論理式(=つまり、一階述語理論としてのZFC)を必要とするspecies/mutationsは、これまでのLeanの常識と相容れない方向性のものであり…」#IUTABC
必要とするspecies/mutationsは、これまでのLeanの常識と相容れない方向性のものであり、species/mutationsを導入する代わりに、寧ろtype/dependent functorのみで対応できた方が技術的に楽で嬉しいということになります。
#IUTABC
まさに望月ブログのこの部分が、現在、望月氏とプロジェクトチームとの間で、ギャップかそうでないかの議論として行われていると思われる。
「一方で、species/mutationの、Leanによる形式化の可能性について調べ始めた途端、全く想定外の展開に見舞われてしまいました。まず、…」→つづく #IUTABC
望月の理論はF1を遠アーベル幾何学風に捉えられないかというアイデア
etale-crystallineの構造からF1のホッジ理論のようなこと
ができないかという理論と取れる
ただetale-crystallineではそんなものがないからRの位相群で代替するとF1の遠アーベル幾何学を直接構築するアプローチではなかった #IUTABC
LEANが「一階述語理論としてのZFC」を扱えないのが悪いってこと
https://t.co/AJQ53XHtaq
来週の講演は「一階述語理論としてのZFC」を形式化すればよい
(でも自分たちはやらん)みたいな内容になると推測
#IUTABC
数体のabcはそもそも足し算と掛け算は分離しないと不等式が出ないタイプの問題なんで、IUTでも絶対ガロア群やlogを組み合わせて使ったりしてそれを攻略しようとした
それでレイヤーを巧妙に分けて掛け算の強い不変量が出たかというとやはり難しいのではないか、ということみたい #IUTABC
etale-crystallineのスキーム論にはそんなものはないから
フロベニオイドとアナベリオイドに両立する構造として位相群を使う話だった
これは圏論的に可換化するとナンセンスになるという指摘がロバーツから出ていたわけだけど、ナンセンスになるというよりとにかく不等式にならない #IUTABC
Trends for you
Most Popular Users

Elon Musk 
@elonmusk
240.2M followers

Barack Obama 
@barackobama
119.3M followers

Donald J. Trump 
@realdonaldtrump
111.6M followers

Cristiano Ronaldo 
@cristiano
109.5M followers

Narendra Modi 
@narendramodi
107M followers

Rihanna 
@rihanna
97.4M followers

NASA 
@nasa
92.1M followers

Justin Bieber 
@justinbieber
90.7M followers

KATY PERRY 
@katyperry
87.1M followers

Taylor Swift 
@taylorswift13
80.9M followers

Lady Gaga 
@ladygaga
72.5M followers

Kim Kardashian 
@kimkardashian
69.5M followers

Virat Kohli 
@imvkohli
69M followers

YouTube 
@youtube
68.6M followers

Bill Gates 
@billgates
63.6M followers

The Ellen Show
@theellenshow
62.5M followers

CNN 
@cnn
61.9M followers

Neymar Jr 
@neymarjr
61.6M followers

X 
@x
60.9M followers

Selena Gomez 
@selenagomez
60.2M followers







