今日の献立 - 1141965756 - したらば掲示板

1：プリプリ博士：2006/03/10(金) 13:42:36: やあ～
ここはプレプリを批評する場所らしいぞぉ～
（ジャー　ごぼごぼ…）
637：ぷべるる：2024/05/17(金) 13:04:45: 手書き読ませるとかじゃなくて、(それはもうあるらしい)
この証明書いてねって言ったらテフで帰ってくるらしいよ😚
あとたいへんなのは記号の整合性、重複有無だけど、
これくらいは頑張ればできるんとちゃうかな？🙂
638：のろうゐるす：2024/05/17(金) 13:29:28: そりゃ、入試問題でも教科書にある証明でも、似たようなデータが大量にある
場合はAIが適当/上手に組み合わせてそれらしいものを作れるけど、ある程度
マイナーなものになったら、頓珍漢な答えを自信満々に出してくるだけだよ。
生成AI単独でできる数学なんてすごい限定的。強化学習AIができればまた話は
変わるんだろうが、数学のような目的関数のはっきりしないものをやるには
ブレイクスルーがあといくつも必要だね。
639：ぷべるる：2024/05/17(金) 22:08:53: 一見そこはかとなく数学に見えるナニカといえばこの人の論文を思い出す😌
arXiv:1510.06215
前のもひどかったけど、
主定理の証明が破綻していることを報告もせずダンマリ通すって研究不正じゃないの？😊
まあある意味すごい才能だと思う、おぼちゃん的な😚
640：のろうゐるす：2024/05/28(火) 15:52:57: また量子情報、アルゴリズム系の人たちから不意打ちで殴られたっぽい。
https://arxiv.org/abs/2405.16026
641：ぷべるる：2024/05/29(水) 23:21:24: >>640 そうなの？なんで？🙂
642：のろうゐるす：2024/05/30(木) 11:40:34: 単なる縄張り意識でそれ以上の含みはない。俺の注意の外にある
他分野の研究者が俺の研究領域（？）でいい結果を出したので
やられた感があるというだけ。
643：ぷべるる：2024/06/04(火) 13:21:19: arxiv:2406.00304
このようなcanonicalでuniversalでほぼ半世紀前の言語で書かれる現象が
誰の視界にも入らず埋蔵されていたとは、浪漫あるよね😊

arxiv:2406.01546
たまたま似たテーマの論文が同日に😌
上の結果も亜群使えばnon-simpleに拡張できると思うよ😚
644：のろうゐるす：2024/06/11(火) 11:39:38: 何か出ちゃった。
https://arxiv.org/abs/2405.10770
645：ぷべるる：2024/06/11(火) 14:42:55: さっすが～😮　😉💫
646：のろうゐるす：2024/07/29(月) 10:05:13: >>611
不変部分空間問題問題が各方面で宣伝されておるようだ。
https://votcam.wordpress.com/
647：のろうゐるす：2024/09/02(月) 12:07:28: https://arxiv.org/abs/2408.16994
なんかHaagerup&Schultzでそこそこ解決済みなんじゃないか？
https://arxiv.org/abs/math/0611256
648：のろうゐるす：2024/12/19(木) 12:31:43: https://arxiv.org/abs/2412.13751
大作が来た。
649：のろうゐるす：2024/12/24(火) 12:52:37: 数セミで、自分はKWH先生を論文で引用したことなどこれまで一度もないと
言い放った、その舌の根も乾かぬうちに引用論文を書いたでござる。ほう。
650：のろうゐるす：2025/01/23(木) 12:19:58: https://arxiv.org/abs/2501.13088
2-擬跡は跡。ふむう。
651：のろうゐるす：2025/01/23(木) 13:47:06: 全く何もやってなかった。ほう。
652：ぷべるる：2025/01/23(木) 15:38:45: ち～ん🙏😌
653：のろうゐるす：2025/02/26(水) 21:59:12: 3次元掛谷予想解けたってよ。
https://arxiv.org/abs/2502.17655
https://terrytao.wordpress.com/2025/02/25/the-three-dimensional-kakeya-conjecture-after-wang-and-zahl/
654：ぷべるる：2025/02/28(金) 00:31:52: ほうほう、二人ともトップジャーナルの常連だし、信憑性ありそうやね☺️
北京でキンペーからフィールズ賞？😧🏅
655：のろうゐるす：2025/02/28(金) 08:47:07: ２，３か月前から田尾その他の専門家の間でプレプリが出回っていて
既に最終的な成否はともかく実質は充分ということらしいよ。ほう。
現時点で成否が確定してりゃ来年のフィールズ賞狙えるけど、東京まで
待つとなると著者の片方が年齢制限で脱落するんじゃないか。ふむう。
656：のろうゐるす：2025/08/01(金) 22:57:12: 柏原アーベル賞で留守チック激おこ。
https://arxiv.org/abs/2507.20816
657：ぷべるる：2025/08/01(金) 23:42:13: ふむ、HPにあるのはガタクホ先生に教えてもらったけど、
arXivにもぶちまけたんだね☺️
ズーミン60でのろ評お披露目だね🙂
658：のろうゐるす：2025/08/03(日) 01:06:59: ほう。俺が留守の主張を表面的に追いかけた限りでは、貢献度の割り振りに
関する不満があるだけで（正当なものかどうかを判断する見識は俺にない）、
留守が主張するような不正・不実は見当たらんかった。

もちろん俺は時系列も把握していないのだが、ネット上で確認できる初出は
[K90]が89年で、[L90]は90年01月のJAMS投稿だ。留守が"concurrently"に
書かれたと主張してることから判断するに、世に出回ったのは[K90]の方が
先なのであろうな。
https://www.kurims.kyoto-u.ac.jp/preprint/preprint_y1989.html
https://www.ams.org/journals/jams/1990-03-02/S0894-0347-1990-1035415-6/
結晶基底論文[K91]では留守論文が各所で"cf."として引用されている。つまり
貢献度の割り振りは読者が判断しろというスタイルであるな。留守はそれを
自分の業績を元にしたと書けと要求しているのだが、その是非を判断する見識
は俺にない。一方でこの度の弾劾論文は一読するとKが留守をまるで引用して
いないと読めるようにも書かれていて不誠実な印象を受けた。ちゃんちゃん。
659：のろうゐるす：2025/08/11(月) 16:55:10: https://arxiv.org/abs/2508.05834
ほう。II_1因子環のユニタリ群の可縮性についてオーベルで講演したら、
簡単に完全解決しちまった。俺はwasserstein距離に思い至らなかった。
以前誰かに言われてたんだけどな。
俺もオーベルで触れた流行りもんの無私に手を出して論文を書いたけど、
締め切りを逃したんで出るのは明日になる。
660：ぷべるる：2025/08/11(月) 19:15:18: 瞬殺、すごいね☺️
こんな道具が一般論に役立つのね😌
661：のろうゐるす：2025/08/28(木) 18:02:52: アレ？単純純粋無限なら無私って簡単に分かるよね？ふむう。
662：のろうゐるす：2025/09/01(月) 12:46:28: アレ？単純単跡核型Z安定なら無私って簡単に分かるよね？ふむう。
Z安定を純粋にしたいが俺では無理だな。Cuを勉強する気にならん。
663：のろうゐるす：2025/09/01(月) 15:57:19: なんとかピム砂C*環を自分で使ったのはたぶん初めてだ。
しかし[BO]って本はえらい役に立つな。ほう。
664：ぷべるる：2025/09/01(月) 16:23:16: 続編まだ？☺️
665：のろうゐるす：2025/09/02(火) 10:46:17: >>664
両結果を含んだ改定版は投稿済みだけど、今日はlabor dayでarxiv更新なし
666：のろうゐるす：2025/10/02(木) 16:58:31: >>659 解決から2か月もしないうちにmath annに掲載されとった。速い。
ちなみに3ページ目の集合であるか否かについての議論は、たまにある
無害だけど無意味なものだな。任意の一自由変数述語 P(r) について
inf{ r in R : P(r) }はwell-defだ。P(r)の実現の仕方が集合と
なっておらずとも、{ r in R : P(r) }は分出公理により集合である。
667：のろうゐるす：2025/10/02(木) 21:07:03: https://arxiv.org/abs/2510.00617
virtual Haken予想の別証明か。難しいことをいろいろ使わないでできたと
いうことなんだが、本物じゃろうか。イントロでvirtuallyを繰り返してる
のが心配じゃわい。ほう。

https://arxiv.org/abs/2510.00081
exponent 3のBurnside群が局所有限であることの別証明か。難しいことを
いろいろ使わないでできたということなんだが、問題を提出したBurnsideの
原論文(1902)に簡単な証明が書いてあると思うぞ。ほう。
668：のろうゐるす：2025/10/09(木) 15:07:38: 適当な物理の論文で数学よりのものをとってきて、AIにお願いして数学形式
（定義・定理・証明）にしてもらうことで、数学の論文っぽいものが量産
できることに人類は気がついてしまったらしい。ほう。
669：ぷべるる：2025/10/09(木) 15:24:56: 投稿料と査読謝金取らないともう存続できないだろうね☺️
内容ない論文を身内に回るまで片っ端からトップクラスに投げつけてくるようなのもいるし😌
あとは投稿アカウントを学会みたく紹介制にすれば
得体の知れない人たちの得体の知れない論文もどきは少しは弾けるのかな？😏
670：のろうゐるす：2025/10/11(土) 16:31:29: アレ？非円筒状双曲的なら無私って簡単に分かるよね？また改訂しないと。
671：ぷべるる：2025/10/11(土) 23:08:35: ところでSelflessってどんなニュアンスの用語？😯
辞書的意味だとあんまりそれっぽくない気がするけど🙄

ノーベル賞取るには長生きが大事だもんね☺️🦀💰
>トランプ氏、心臓年齢は実年齢マイナス14歳　健康状態に医師が太鼓判
672：のろうゐるす：2025/10/12(日) 05:39:14: 驢馬人の論文に書いてある。超ベキにfree from selfのコピーがあるから無私。
673：ぷべるる：2025/10/16(木) 18:03:16: ダジャレなのね☺️
それにしてもシンプルな考察(+自由積の諸々)
でゴロゴロ強い結果が出てくるとは😚
vNのときはどれも自明な性質だから盲点だったのかな？☺️
674：のろうゐるす：2025/10/21(火) 18:04:42: 家事団論文についてナンセンスな論文がのっとるね。>>650-651 もそうだったけど、
素人はどこに問題の急所があるのか、これまでの試みをはじいてきたバリアが何で
あるのかを理解してないから、新しいものが何もなくとも、どんどん複雑にする
ことで自分自身をごまかして証明できたと勘違いできてしまう。

これにAI勢が加わるようになったらタイヘンだな。いくつかの分野では既に
タイヘンになってるけど、作用素環論はマイナー分野でよかったわい。
675：ぷべるる：2025/10/21(火) 19:58:17: プロ(ってことになぜだかなってる人たち)にもたくさんいるよね☺️
> どんどん複雑にすることで自分自身をごまかして証明できたと勘違いできてしまう。
例: arxiv:2003.03469 arxiv:1505.07793
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できない。ほうほう。
686：のろうゐるす：2025/12/18(木) 17:41:30: arXiv:2512.15494
ふむう。ついにこんなところまで"ChatGPT was used..."って書いてあるけど、
英語の添削にでも使ったのかのう。