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

1：プリプリ博士：2006/03/10(金) 13:42:36: やあ～
ここはプレプリを批評する場所らしいぞぉ～
（ジャー　ごぼごぼ…）
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..."って書いてあるけど、
英語の添削にでも使ったのかのう。
687：ぷべるる：2026/01/02(金) 17:48:03: あけおめ～☺️㊗️🎍

>>683 結構面白かった☺️よくこんなの思いつくなァ☺️
定理13の証明2段落目はFiに1の四乗根かけたやつら付け加えれば
ヴォイクレスクとかいらないんじゃない？🙂‍↔️
688：のろうゐるす：2026/01/05(月) 09:45:34: ふむう。Z安定性を使わない証明に一歩近づいた？
689：ぷべるる：2026/01/06(火) 18:38:04: AIが書いたのかな？☺️
arxiv:2601.01733
690：のろうゐるす：2026/01/07(水) 00:51:01: だからアレを使うと今野埋め込み問題を解けるんですよ。
https://jbbs.shitaraba.net/bbs/read.cgi/study/7140/1473054478/169
691：ぷべるる：2026/02/02(月) 13:36:28: arXiv:2601.22941
arXiv:2601.23029

なんか知らんけど面白そう☺️
692：のろうゐるす：2026/02/03(火) 15:45:05: 和佐饅構成は20年以上前から存在してて、簡単に任意のコンパクト群の任意の
H^3を実現できるんだけど、諸般の事情で歴史に埋もれてたんだよ。ほうほう。
693：みーしゃ：2026/02/03(火) 16:46:40: イイじゃないの♪
694：のろうゐるす：2026/02/05(木) 15:21:27: A Letter to Professor Bernhard Riemann
https://arxiv.org/abs/2602.04022
まあ俺には関係ないか。
695：みーしゃ：2026/02/05(木) 16:01:23: 「Dixmierに感謝します」
696：ぷべるる：2026/02/05(木) 21:25:09: なんか進展はあったの？🙂
去年上海でゲ～もRHの話してたけど、う～んって感じ☺️
697：のろうゐるす：2026/02/06(金) 23:30:54: https://arxiv.org/abs/2602.05192
https://1stproof.org/
AIへの挑戦状。俺の未公表の無意味な定理もAIへのexerciseとして出せるんじゃろか。
698：のろうゐるす：2026/02/12(木) 12:30:31: 13日の締め切りまであと少しだが未だ報告はないようだ。ほう。もしこのレベルの
ものがAIで解決できるとなると、AI業界の研究数学は終わりという主張にずいぶん
説得力が増しちゃうな。選択と集中で切られちゃう。数学研究者としてもこんな
"Lemma"は成り立つんだろうかと思ったらとりあえずAIに投げるということになる。
699：のろうゐるす：2026/02/12(木) 15:44:47: しかしAIに解かせてその正誤をAIで検証しましたみたいな答案が次々に送られて
来るのだから、「採点」する方もタイヘンだな。AIに採点してもらうわけにも
イカンだろうし。
700：のろうゐるす：2026/02/13(金) 17:29:58: AIに解かせてAIでleanによる形式化まで行ったと主張する人も幾人かいるようだが
そもそも形式化されたものが元の問題の答えになってなかったりもするようだ。
701：のろうゐるす：2026/02/14(土) 17:09:57: ほうほう。open AIは専門家による検証待ちだが少なくとも６つ解いたってよ。
702：のろうゐるす：2026/02/15(日) 10:17:03: >>701 精査中だが幾つかの答えにはそれなりのhallucinationが含まれている模様。
それを認識できない素人が使うのは無理にしても、専門家が協力すれば使えるって
いう評価になるのかもなー。俺は機械が職業数学者にとって代わるにはまだ大きな
ブレイクスルーが必要だと思ってるけど（それこそAGIが実現されるくらいの）、
機械は出来るようになったことについては指数的に発達するから、数学研究に
おいても幾つかの面では早晩人間を凌駕するんじゃないか。ふむう。
703：ぷべるる：2026/02/15(日) 11:33:31: ふむ、現状AIはそれっぽく見えるものの多数決だから
当分は無理そうよね☺️
プロとされている人たちの有名ジャーナルに載ってる論文にも
出鱈目はたくさんあるのに、どれをどうやって信頼するのか😌
引用数や肩書きだけじゃこれは見抜けないからね☺️
(例:>>675)
AIの言語能力はすでに凄まじくて
構成とか文法チェックはすぐに業者が淘汰されそうだけどne☺️
704：のろうゐるす：2026/02/15(日) 15:28:42: いずれにせよ、専門家が時間を掛けて精査しないと正否が分からんようなものを
機械が自動で生み出せるようになったことの影響はすぐに出てくるんでしょう。
705：のろうゐるす：2026/02/26(木) 07:57:23: https://arxiv.org/abs/2602.21201
10問中6問解いたそうな（うち1問はaccepted with minor revision？）。
706：みーしゃ：2026/02/26(木) 09:23:07: 数学とか人文とか人間勉強しなくていいやってなっちゃう世界が近いんでは．
もうAI同士の将棋についていけないように，数学者もついていけない．
数学はAIが教えるし，人間はもう学ばなくていいやの世界に移行．
これは大変革だ．機械なら長寿命で宇宙を冒険できる．

それにしても1980年代を生きた我々からすると，技術の進歩がすごすぎますよね．
DQ4のAIクリフトはザキ一択．
AIブライはヒャダイン覚えた後，割とすぐマヒャドを覚えて
ヒャダインを唱えてくれなかった．苦い思い出だ．
707：のろうゐるす：2026/05/15(金) 12:46:16: https://arxiv.org/abs/2605.15006
火出損問題で残ってたのは同型問題と単元生成問題とユニタリ直交基底問題の
３つだったと思うがユニタリ直交基底問題が1ページ証明で解決しちまったぞ。
（新規の内容は2^{m-1}(2k-1)とp6だけ。）なんかすごいAI臭い。こうやって
未解決問題が刈られてゆくのだな。途方もなくやばい。
708：ぷべるる：2026/05/15(金) 15:31:40: ふむ、誰も読んでない論文ちゃんと読んだらいいことあった☺️みたいなことはなくなるんだろうね☺️

> ミュトスは違います。このAIが世界中の専門家を震撼させたのは、「16年間誰も気づかなかったソフトウェアの欠陥」「27年間OpenBSDという基盤ソフトに潜んでいたゼロデイ脆弱性」を、人間の指示なしに自力で見つけ出してしまった
数学の何万倍もの目が入ってるソフトでもこういうことが続々と起こるんだから
専門的な結果のみんな知ってるとされてる有名人の定理もかなりの割合が潰れるんじゃないか☺️
709：のろうゐるす：2026/05/16(土) 09:44:26: 数学には人間の理解があってrobustにできてるから、証明に少々のギャップが
あっても潰れたりはしない。たいていの有名な定理には別証明だってある。
710：のろうゐるす：2026/06/04(木) 03:27:20: >>707
v2は余計なことがなくなってシンプルになったのはいいけど、"halluCitation"が
残っとるぞ。ほうほう。群vN環と群測度vN環のときはtrivialだし[Chi73]も
[Cho87]もまったく無関係ぞな。やはりAIなのかな。
711：ぷべるる：2026/06/04(木) 17:49:04: 10年前の論文の致命的エラーを指摘されて
苦し紛れで出した修正版も間違ってた挙句
そもそも方針自体が破綻してることまで暴かれた事例☺️
arxiv:1210.6066v3 (cf. 2011.10320v6)

人力でやってるからときどきこういうのが見つかる　で済んでるけど
AIが探索し始めたらゴロゴロ出てくるだろうね😋
712：ぷべるる：2026/06/23(火) 16:54:32: カディソン問題解けたって☺️すごいの？☺️👌
713：のろうゐるす：2026/06/24(水) 09:11:00: vN環論研究者なら誰もが挑戦したことのある超有名未解決問題で、実は簡単
だったのに人間に解けなかったことがスゴイ！（俺はAIだと信じている。）
直行基底問題だから誰でもグラムシュミットから始めるんだけど、みんな
やっいてることだし一目ダメだからって諦めてた。でもあと一押しだった。
https://jbbs.shitaraba.net/bbs/read.cgi/study/7140/1671068162/692
714：ぷべるる：2026/06/24(水) 12:42:53: こっちの方ね☺️ arXiv:2606.23636
715：のろうゐるす：2026/06/24(水) 13:56:29: III_1のことなんて俺に聞かれても分からんよ。相対流れは重要なんじゃないの。
716：ぷべるる：2026/06/24(水) 15:18:30: AIでもアナルズ載るのかな☺️
717：ぷべるる：2026/07/08(水) 17:01:14: 練習問題レベルでもAdvancesとか載っちゃうことあるのね☺️
arxiv:2603.21946
昔のろさんと一緒に解かなかったかしら☺️
エディターの見識ってのも大事だよね☺️
718：のろうゐるす：2026/07/09(木) 09:16:50: うむうむ。
719：のろうゐるす：2026/07/21(火) 12:23:40: 不変部分空間問題に新たな挑戦者。証明は数頁。AIには見えないかな。
https://arxiv.org/abs/2607.16373
ほうほう。これまではKaraev名義で出版して来たおじいちゃんのようだ。
720：のろうゐるす：2026/07/21(火) 12:33:55: https://arxiv.org/abs/2607.17078
なんか偉い人たちがすごい定理を証明してるけど、証明が「自明」どころの
話ではない（p15）。ちなみにtex fileを開けても特に変なところはなかった。
721：みーしゃ：2026/07/21(火) 13:27:40: ロンダルキア
722：のろうゐるす：2026/07/23(木) 11:46:37: >>708
行間が広くて自分には証明がフォロー出来ないという訴えはこれまで無視されがち
だったけど、ついにAIが十分に強力になったので、AIが証明をフォローできないと
いう訴えがだんだん神託のごとき説得力を持つようになって来た。というか既に、
出版された結果にAIが反例を見つけたという報告が続々上がってきておる。重大な
ものは知らん。
723：のろうゐるす：2026/07/23(木) 12:04:14: 「神託」には属人性がないがために、ギャップの存在を気軽に訴えられるという
大きいメリットがある。今後、「論文××の証明はAIがフォローできないから、
おそらく間違い」「反例がある」みたいな言説が流行ると思う。AIにより論文
生成が超加速していることと合わせて、今後の査読は正否をAIに判断させてから
人間が価値判断をするようにしたらよいかと思う。査読者を複数用意するのは
大変だけど、AIなら容易に複数使えるから安心だな。
724：のろうゐるす：2026/07/23(木) 12:41:36: 「書かれた証明をフォローする」ということに関してAIが人間を凌駕するのは
すぐにでも起こること、あるいはすでに起きたことであると思う。（これは
LLMの話で形式化とは無関係だ。）論文の証明には、論文出版当時の第一線の
専門家なら誰でも（といっても実は数人しかいない）弁えていることが省略
されていたりする。こうしたことに査読の時点、あるいはarxiv投稿の時点で、
AIから詳細を補うよう指示されるというのは皆にとって福音なんじゃないか。
AIがフォローできなかったら注釈が付く。コストを誰が負担するのかは知らん。
725：ぷべるる：2026/07/24(金) 12:19:10: 結構いろんな人が長年考えていた未解決問題が難しい道具なしで自明に解けたよ☺️✌️(忠実性の仮定付きで)
2605.21128v2
726：のろうゐるす：2026/07/24(金) 12:50:02: AIきゃ？
727：のろうゐるす：2026/07/28(火) 17:48:16: GPTに有名（？）未解決問題聞いたら解けた。二組同時に。繋がってる？
https://arxiv.org/abs/2607.23980
https://arxiv.org/abs/2607.24528
728：のろうゐるす：2026/08/10(月) 12:32:32: https://arxiv.org/abs/2608.05044
HRT予想はさすがに正しいんじゃないかと思ってたがGPTで反例。ちーん。
729：ぷべるる：2026/08/10(月) 12:47:15: しかしAIは誰も読んでない古い論文とか辞めちゃった人の博論にしか書いてないことまで
平気で引っ張ってくるみたいだけど、証明は自分でもチェックしたって言ってる人たちは引用文献も含めてちゃんとチェックしてるんかね☺️
ソフィック反例もキモとなってる文献はずっと出版されてないね、合ってるの？のろさん！😊
730：のろうゐるす：2026/08/10(月) 12:55:58: 証明チェックも人間より上だから。[KT]に修正可能な間違いならあったけど、
人間の論文なら通常のことで、それも全部コミで形式化されてる。open aiの
十問題解決に間違いを発見とか騒いでるのはシロウトばかりでしょ。
731：ぷべるる：2026/08/10(月) 13:19:02: へえ、リーン自動化？ってそこまで進んでるんだね☺️
arXivにuploadと共に証明の成否が併記される日が来るのは近そう？☺️
他人の手柄のために不毛な徒労を強いられるのはもう勘弁ね

しばらく使ってみたけどgeminiは数学させるのには今のところイマイチだね😔
数学用語とそのつながりは色々知ってるけど内容は全くわかっていない、某空間氏みたいなのと話しているような気分になるわ😌
GPT契約しようかな次はグロタン定数でよろ☺️