- 1 ：プリプリ博士 ：2006/03/10(金) 13:42:36
- やあ〜
ここはプレプリを批評する場所らしいぞぉ〜
（ジャー ごぼごぼ…）
- 676 ：のろうゐるす ：2025/10/22(水) 16:31:22
- https://borisalexeev.com/pdf/erdos707.pdf
ヤバイ。LLMと証明支援系の合体まったなし！「既に知られていることを組み
合わせればできるようなこと」(*)なら、いよいよ機械にお願いすれば勝手に
証明してくれるようになる時代が見えてきたかも。近未来的に、証明支援系を
通らない証明は認められなくなるんじゃないか。ほうほう。(*)に当てはまら
ないものを何とかするには強化学習が必要になるんだろうが、それには更なる
ブレイクスルーが必要だ（といいな）。ふむう。そもそも(*)に当てはまらない
数学って何だろう？
- 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できない。ほうほう。
全部読む
最新50
1-100
メール受信
掲示板トップ
リロード
|
