- 1 ：プリプリ博士 ：2006/03/10(金) 13:42:36
- やあ〜
ここはプレプリを批評する場所らしいぞぉ〜
（ジャー ごぼごぼ…）
- 677 ：のろうゐるす ：2025/10/28(火) 02:19:08
- https://arxiv.org/abs/2510.15924
人々が一斉にlatexを使うようになったのは、紙とペンを使って論文を書くより
ずっと便利になったからであって、latexを使うようになって数学研究のあり方
そのものも多少は変わった。同じことがいつかはAIで起きるだろうというお話。
ほう。俺もそう思う。もし巨大資本が突っ込まれれば、LLM+証明支援系の合体で、
相性のいい分野（俺のやっている分野とか）ではすぐにそうなっておかしくない。
- 678 ：ぷべるる ：2025/10/28(火) 16:27:53
- 概念とアイデア入れたら勝手に証明書いてくれるのかな？☺️
今後はテクニックコンペよりどこに面白いものがあるのかを
探すのが主流になるんだろうね☺️まあこっちの方が本来の「研究」じゃろ😌
- 679 ：のろうゐるす ：2025/10/31(金) 11:13:46
- arXiv:2510.26073
Wiegold problem陥落！ 離散群 G に対して、G をnormal subgroupとして
生成するために必要な元の最小個数を n(G) とすると、当たり前のことだが
n(G) \geq n(G^ab)であって可換化 G^abの生成階数は簡単に計算できる。
では、n(G^ab) < n(G) < ∞となる G が存在するか？
特に有限生成、G^ab = 1で n(G) > 1 となる G が存在するかという問題。
単なる生成階数を問う作用素環論のgenerator問題（単純C*環、因子環）
とはちょっと違うけど、同様に無敵のオーラを纏っていて攻略のされない
問題なんだと思ってた。
- 680 ：ぷべるる ：2025/12/03(水) 13:43:11
- どうでもいい人がナンセンスに間違ったプレプリントを出しちゃったっていうよくある話だと思うけど
なんで名の有る人がわざわざ出版したんやろ？☺️
https://www.uni-muenster.de/FB10/mjm/vol_18/mjm_vol_18_10.pdf
- 681 ：のろうゐるす ：2025/12/03(水) 17:31:05
- 他の論文も併せて投稿から出版までの時間を見るとbacklogがゼロみたいだな。
編集者が各所に論文を出してくれってせがんでるんじゃないか？ほう。
- 682 ：ぷべるる ：2025/12/03(水) 20:44:32
- キリヒバーグ号はどうなったんやろね
😌
🙏
- 683 ：のろうゐるす ：2025/12/09(火) 17:08:24
- ほうほう。replacement 6回目以降はアナウンスされないことを知った。
- 684 ：ぷべるる ：2025/12/09(火) 18:12:14
- 目指せ、最高記録😊
- 685 ：のろうゐるす ：2025/12/13(土) 15:26:22
- >>683 定義で \forall n と \exists n を間違えるというかなり素人臭いミスを
しているのだが、6回目以降のreplacementは週に一回までというルールのため
replaceできない。ほうほう。
- 686 ：のろうゐるす ：2025/12/18(木) 17:41:30
- arXiv:2512.15494
ふむう。ついにこんなところまで"ChatGPT was used..."って書いてあるけど、
英語の添削にでも使ったのかのう。
全部読む
最新50
1-100
メール受信
掲示板トップ
リロード
|
