そう言えばConservative 予想最近どうなったのだろう？これが解けると芋蔓式に数論の色んな問題が解決すると言う事でAyoubさんがチャレンジしてた 葉層構造とか微分Galois理論とか色んな分野の事を使う

underconstructionで以前見た時かなり頁数あったからね と言う様に幾何的ラングランズ予想とかもだけど、大きな予想が解けたと言って論文出るが云百頁ある　みたいなパターン多くて でそう言うのを追いかけてるとずっと勉強してる人になる

望月哲史(Satoshi Mochizuki) Youtubeにこんな動画もあがっていますが、Ayoubさんが証明を完了したということなのでしょうか？ m.youtube.com/watch?v=5bhpq0…

Galois群やetale基本群でなくて、Motivic Galois群を使ってDiophantus方程式論にアプローチを考える、と言う試みの方が個人的にはとっつき易い

VoevodskyはMilnor予想を初めまだその時は仮想的な存在だった代数的コボルディズムの理論を使って証明が書かれた その後、代数的コボルディズム使わない証明を発表した その後 MorelさんとLevineさんが代数的コボルディズムの正当化をしてYagita先生がVoevodskyの証明正当化した

Adams予想の第三の群論的な証明が出た時、Quillenがそんな簡単な事で証明出来る筈がない、とかなら信じなかったらしい… 特異点解消の証明が簡易化されたりするのも如何思われてるのだろう

肉がうますぎる……肉 of the year 受賞です #ありがとうしょうちゃん

あと、日本学術会議関連で利権と言われても、昨年委員としていただいた手当額を提言を書くのに費やした時間（分科会や打ち合わせ、執筆や依頼に必要だった時間）で割ると1時間あたりおそらく300円を割ってくるので、あれを利権と言われても…と困惑する気持ちがあります。

「有名な難問や予想の初等的な証明」が成功した例 → セルバーグとエルデシュによる素数定理の(ζ関数や関数論を使わない)初等的証明(セルバーグのフィールズ賞受賞理由の1つ)

『こころ』を久しぶりに見たらKがコンパクト集合にしか見えなくて読みづらい

何でエルデシュはフィールズ賞取れなかったんだろうと思ったけどセルバーグとのいざこざみたいなのはあったらしい

定理証明支援系と接続されたｴｰｱｲに、その辺は検証はお願いしたいところではある 証明は奴隷のｼｺﾞﾄなので(ｸｿﾃﾞｶ思想)、そこらへんはｴｰｱｲに投げましょう　人間は奴隷のｼｺﾞﾄをすべきではない(ｸｿﾃﾞｶ思想2)

斬鉄剣かエクスカリバーがほしい 🔑>> 剣なら何でも一本無料で貰えます、みたいな機会がもしあったらドラゴン殺しが欲しいよな

実際、Angus Macintyreという数学者もフェルマーの最終定理はペアノ算術で証明できると考えているっぽいし (その場合、死ぬほど複雑な帰納法を回しまくるだろうし、複雑さやそもそも長さ的にも人間に読める物になる気はしないが、それでも「初等的」ではある) mathoverflow.net/questions/2930…

絶妙に初等的では無い(via ウェアリング問題的な文脈だとcircle methodなり指数和の議論で複素函数論が生えてくるので)が、モジュラリティ云々とは別にもう少し加法数論チックな見通しでフェルマー大定理の証明が出来ないかはずっと気になってるところ

MMIって無限降下法に着想を得てる所があるので、Diophantus方程式に応用したいな、という夢はあって、それでさっきの(Motivic) π_1-proof for Siegel thm. に興味を持ったりしてる

Faltings, The motivic logarithm for curvesではKim氏のSiegelの定理のπ_1-証明のモチヴィック解釈を与えようとしてmotivic logを定義するんだけど本当は名前motivic polylogにしたかったけど既にあるから仕方なく