今日の献立

624：のろうゐるす：2023/12/22(金) 13:32:48: https://arxiv.org/abs/2312.13917
充分大きい n に対して Aut(F_n) が(T)を持つことの人間証明。
Kaplansky's unit conjectureのときもそうだったが、計算機で
式を見つけてくるのであまり人間っぽくない。そういう時代か。
なお定理のステートメントが逆になっておる。

新着レスの表示

※書き込む際の注意事項はこちら

※画像アップローダーはこちら

（画像を表示できるのは「画像リンクのサムネイル表示」がオンの掲示板に限ります）

掲示板管理者へ連絡無料レンタル掲示板