画像ファイル名：1784816500963.png-(103349 B)
無念Name
としあき26/07/23(木)23:21:40No.1423337135+
13:01頃消えます
Claudeが数学の難問「ヤコビアン予想」を否定的に解決
このスレは古いので、もうすぐ消えます。
| … | 1無念Nameとしあき26/07/23(木)23:27:37No.1423338431+4色問題みたいな証明じゃなくてよかったね |
| … | 2無念Nameとしあき26/07/23(木)23:28:06No.1423338533そうだねx12変数の方が未解決なんだ |
| … | 3無念Nameとしあき26/07/23(木)23:31:41No.1423339215そうだねx1比較的分かりやすいやつで良かった
問題や証明が難し過ぎると見てもポカーンとなるだけになっちゃうからな |
| … | 4無念Nameとしあき26/07/23(木)23:32:05No.1423339298+今までちょこちょこ解かれてたエルデシュ問題とかいう
一山いくらの問題集みたいなのと比べて格段にでかい成果
大手柄である |
| … | 5無念Nameとしあき26/07/23(木)23:33:48No.1423339651そうだねx19
1784817228690.png-(91022 B)
なんもわからん |
| … | 6無念Nameとしあき26/07/23(木)23:44:43No.1423341624そうだねx2時間かかるから放置されてただけの数学の未解決問題がいっぱいある |
| … | 7無念Name全角26/07/23(木)23:52:00No.1423342893+>なんもわからん
あくまでイメージだが
フェルマの最終予想で喩えると x^3 + y^3 = z^3 を満たす自然数 x, y, z が
なんかコンピュータの総当りでついにみつかっちゃった世界線みたいな話だな |
| … | 8無念Nameとしあき26/07/23(木)23:54:18No.1423343276+作り方に根拠があるようで
もっと複雑な例ならいくらでも作れるらしい |
| … | 9無念Nameとしあき26/07/23(木)23:57:07No.1423343749そうだねx4未解決問題次から次に解かれてるらしいな
シンギュラリティ始まってんじゃねこれ |
| … | 10無念Nameとしあき26/07/23(木)23:58:08No.1423343883+次数も係数も小さいからちょっとしたヒューリスティックでも見つけられそうだと思ってしまった
予想が偽という話はあったらしいし当然探してたんだろうけど |
| … | 11無念Nameとしあき26/07/24(金)00:00:03No.1423344210+こうなると2変数の方も例外あるんじゃないかと思ってしまうが現時点でそういう報告がないということは少なくとも小さい次数の範囲には無さそうな感じか |
| … | 12無念Nameとしあき26/07/24(金)00:07:29No.1423345452+深部AIじゃなくてClaudeでも未解決問題が解決されるとかやっぱりAIヤバいな… |
| … | 13無念Nameとしあき26/07/24(金)00:17:35No.1423347047+>あくまでイメージだが
>フェルマの最終予想で喩えると x^3 + y^3 = z^3 を満たす自然数 x, y, z が
>なんかコンピュータの総当りでついにみつかっちゃった世界線みたいな話だな
全数検索の帰納法で解決したようなもんか |
| … | 14無念Nameとしあき26/07/24(金)00:21:53No.1423347694+人間が積み上げたデータから生まれたAIが
人間がまだ解けてなかった問題への答えにたどり着けるってなんか不思議な感じ |
| … | 15無念Nameとしあき26/07/24(金)00:22:59No.1423347884+なんかの方程式でほぼすべての数で式を満たさないのに唯一ある数だけで満たしてしまうってのがあった気がする
無限にある数の中でその数字だけ式を満たしてしまう以上その公式は成立しないっていう不条理 |
| … | 16無念Nameとしあき26/07/24(金)00:26:26No.1423348388+>人間が積み上げたデータから生まれたAIが
>人間がまだ解けてなかった問題への答えにたどり着けるってなんか不思議な感じ
24時間365日休みなく人間が不可能な速さで学習し続けるからな |
| … | 17無念Nameとしあき26/07/24(金)00:26:26No.1423348391+こういうのミリしらだが・・
逆に難問を作らせるとかはどう？AIには簡単？ |
| … | 18無念Nameとしあき26/07/24(金)00:28:04No.1423348615+まぁAIってこういうの得意そうだよね
だからって人間より優れてると思うなよ |
| … | 19無念Nameとしあき26/07/24(金)00:29:33No.1423348811そうだねx2数学問題解いた結果がこの先の科学の発展に寄与していくわけだろ
すごいな |
| … | 20無念Nameとしあき26/07/24(金)00:29:38No.1423348819そうだねx2>だからって人間より優れてると思うなよ
唐突にどうした |
| … | 21無念Nameとしあき26/07/24(金)00:30:35No.1423348957+>未解決問題次から次に解かれてるらしいな
>シンギュラリティ始まってんじゃねこれ
後で「やっぱ違ったわ」って取り下げられる例もある |
| … | 22無念Nameとしあき26/07/24(金)00:30:46No.1423348986+>唐突にどうした
ヤコビアン予想に挑戦して解決できなかったとしあきなのかもしれない |
| … | 23無念Nameとしあき26/07/24(金)00:32:40No.1423349278そうだねx2>数学問題解いた結果がこの先の科学の発展に寄与していくわけだろ
>すごいな
残念だけど人間側がそれを検証できないんだ
つまりAIだけが先に進んでいって人間は取り残されてる
少なくとも最先端の数学や宇宙理論ではそこまで来ている |
| … | 24無念Nameとしあき26/07/24(金)00:32:43No.1423349287そうだねx1>24時間365日休みなく人間が不可能な速さで学習し続けるからな
人間の学習と根本的に違うので数学分野だけとっても解決できる問題種の方がまだ少ない
LLMが未解決問題を解決した事例はスポットライトが当たってなかっただけってものもある |
| … | 25無念Nameとしあき26/07/24(金)00:33:14No.1423349355+>唐突にどうした
未来のジョン・コナーだ |
| … | 26無念Nameとしあき26/07/24(金)00:33:23No.1423349379そうだねx1>後で「やっぱ違ったわ」って取り下げられる例もある
それは人間がやっても一緒では |
| … | 27無念Nameとしあき26/07/24(金)00:34:05No.1423349489そうだねx1なんかAIに対して異常なコンプレックスもってるやつがいて面白い |
| … | 28無念Nameとしあき26/07/24(金)00:34:30No.1423349549+AIって究極の発達障害みたいなもんだしね |
| … | 29無念Nameとしあき26/07/24(金)00:36:10No.1423349828+>AIって究極の発達障害みたいなもんだしね
なにいってんだマジで |
| … | 30無念Nameとしあき26/07/24(金)00:37:05No.1423349982そうだねx1>>後で「やっぱ違ったわ」って取り下げられる例もある
>それは人間がやっても一緒では
AIが解決した！ってキャッチーだから未検証でも報道されやすいんだ
スレ画は検証済みだけど元レスのシンギュラリティ云々はまだまだ先だよってこと |
| … | 31無念Nameとしあき26/07/24(金)00:37:34No.1423350063+他の問題での話だけど解決の鍵となったのはAIが無理だと言う度に人間が励まし続ける事だったというのがあるな
AI時代の人間の役割というのは非合理を情念で突き進んでいく事なのかもな
99％失敗するだろうけど1％にAIだけじゃ辿り着けない所がある |
| … | 32無念Nameとしあき26/07/24(金)00:38:52No.1423350262+>時間かかるから放置されてただけの数学の未解決問題がいっぱいある
それがAIで解決するんならええやん
キャベツを刻むのに包丁で千切りしてたのをミキサーでガガガー!って粉々にするようなもんだが |
| … | 33無念Nameとしあき26/07/24(金)00:40:11No.1423350478そうだねx1>スレ画は検証済みだけど元レスのシンギュラリティ云々はまだまだ先だよってこと
そもそもシンギュラリティに「一切のミスを生まない」みたいな意味ないぞ |
| … | 34無念Nameとしあき26/07/24(金)00:40:57No.1423350587+>キャベツを刻むのに包丁で千切りしてたのをミキサーでガガガー!って粉々にするようなもんだが
そこに浪漫があるのか？ |
| … | 35無念Name全角26/07/24(金)00:42:42No.1423350864そうだねx1>次数も係数も小さいからちょっとしたヒューリスティックでも見つけられそうだと思ってしまった
>予想が偽という話はあったらしいし当然探してたんだろうけど
実際Levent Alpögeって人は予想に否定的な立場の数学者だったんだろうなとは思う
多分この予想と相性の悪そうな多項式の分類は、これまでの研究で既に自作していて
それを指針に探索させたんだろうな
似たような研究をしている人は他にもいたんだろうけどこの人の分類が
たまたまビンゴだったんじゃないかと |
| … | 36無念Nameとしあき26/07/24(金)00:44:51No.1423351174+>>キャベツを刻むのに包丁で千切りしてたのをミキサーでガガガー!って粉々にするようなもんだが
>そこに浪漫があるのか？
厳密に言うと、「食ってもうまくない、わざわざ食うヤツは物好きだから捨てたり残してたキャベツの芯をミキサーでガガガー」が近いか
人の嫌がる分野をAIにやらせるのは悪くないだろ |
| … | 37無念Nameとしあき26/07/24(金)00:56:21No.1423352928+>こうなると2変数の方も例外あるんじゃないかと思ってしまうが現時点でそういう報告がないということは少なくとも小さい次数の範囲には無さそうな感じか
125次以下だと反例がないそうだ |
| … | 38無念Nameとしあき26/07/24(金)01:04:58No.1423353870そうだねx1>時間かかるから放置されてただけの数学の未解決問題がいっぱいある
出来ない事をAIにやらせても微妙
出来る事をAIに投げても微妙
出来るけどやってる暇がないから放置してた事をAIにやらせると良い感じって聞いたな
コーディングでもアイデア止まりのプロジェクトを形にするには良いという評判だし |
| … | 39無念Nameとしあき26/07/24(金)01:24:49No.1423355859+あとはカオス現象起こしてる生のデータから
カオスの影響を取っ払えるようになれば自然現象にも使える
もちろんこれも人間だけなら未来永劫無理 |
| … | 40無念Nameとしあき26/07/24(金)04:26:24No.1423366103+ヤコビアン流星打法！ |
| … | 41無念Nameとしあき26/07/24(金)04:59:01No.1423367303+>比較的分かりやすいやつで良かった
>問題や証明が難し過ぎると見てもポカーンとなるだけになっちゃうからな
数学の最先端問題となると世界最高峰の数学者が数年～十数年がかりで証明した！とされる論文の内容が日本語でも英語でも何回過ぎて査読担当の数学者でさえ全貌を理解するのに５年でも足りなくて、この論文自体が数学界の新たな鉱山になるっていう堂々巡りの問題に突入している |
| … | 42無念Nameとしあき26/07/24(金)11:12:21No.1423399989+30年分からなかったDinitz-Garg-Goemans予想もAIに反証された
もう数学者は介護に転職かな |
| … | 43無念Nameとしあき26/07/24(金)11:20:59No.1423400959+ヤコビアン予想は解けたことを人間が理解できたからまだいいけど
これからはAIが人間に理解できない予想を立てて解明していくからな
量子コンピュータで動く頃にはどこでもドアやタイムマシンを作ってんじゃないか |
| … | 44無念Nameとしあき26/07/24(金)12:20:11No.1423408789+予想はウソだとわかったので数学者はもう証明に無駄な労力割かなくてもいいよねってことか |
| … | 45無念Nameとしあき26/07/24(金)12:22:58No.1423409259+こういう成果出てても未だに「AIはネットから検索した答えを引っ張ってくるだけ」
ってしたり顔でデマを言うとしあきが後を絶たない |
| … | 46無念Nameとしあき26/07/24(金)12:33:45No.1423411250+>予想はウソだとわかったので数学者はもう証明に無駄な労力割かなくてもいいよねってことか
まあ反例がみつかったものを必死こいて証明する必要はないからな
とはいえこれまで反例がみつからないほど「だいたい正しかった」のも確か
そこには何か数学的に重要な構造は隠れてそう |
| … | 47無念Nameとしあき26/07/24(金)12:34:29No.1423411393+人間が理解できない証明が出てきたら計算資源投入して分かり易い証明出してもらうか
クソ複雑でもLeanで形式的証明がついてれば良しにするとかになるのかな |
| … | 48無念Nameとしあき26/07/24(金)12:45:35No.1423413670+>>予想はウソだとわかったので数学者はもう証明に無駄な労力割かなくてもいいよねってことか
>まあ反例がみつかったものを必死こいて証明する必要はないからな
正しいと信じて今まで証明に挑んでた数学者可哀想… |
Claudeが数学の難問「ヤコビアン予想」を否定的に解決