- 1 ：プリプリ博士 ：2006/03/10(金) 13:42:36
- やあ〜
ここはプレプリを批評する場所らしいぞぉ〜
（ジャー ごぼごぼ…）
- 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
- いずれにせよ、専門家が時間を掛けて精査しないと正否が分からんようなものを
機械が自動で生み出せるようになったことの影響はすぐに出てくるんでしょう。
全部読む
最新50
1-100
メール受信
掲示板トップ
リロード
|
