Inter-universal geometryとABC予想(シン応援スレ) 92 (386ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
377(1): 07/20(月)20:07 ID:a0+1odGL(6/7) AAS
>>375-376
つまらん
それよか 下記
ID:13yLpBZq さん >>242-245 & ID:dythpcIC さん>>339
(同一人物だが)
”Claude Opus4.8とFable5使ってIUTを1から地道に検証するプロジェクトを個人的にこの一ヶ月やってみたがFable5の言い分は以下だった
IUT理解者に対する要請部分のみを書く”
と ”LEANの公開”
いまどきのAI使った 世間のアマ数学者個人の仕事が
すごいねと思ったよ
省38
378: 07/20(月)20:19 ID:a0+1odGL(7/7) AAS
>>377 追加
>が、これも しばしばあるが、
>”自明”されたことが 結局後世に キチンと数学的に証明されることは多い
実例を挙げておくと
ポアンカレ予想の証明において、ペレルマンは 体積崩壊定理を 証明せずに用いた
それを証明したのが 塩谷・山口氏です
(google検索)
ポアンカレ予想証明 塩谷・山口 定理
AI による概要
ポアンカレ予想の証明において、日本の数学者である塩谷隆氏（東北大学教授）と山口孝男氏（京都大学名誉教授）の共同研究による「体積崩壊理論（崩壊定理）」は決定的な役割を果たしました。これは、多様体が潰れていく極限構造を明らかにした幾何学の定理です
省14
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.024s