ふたばフォレスト

4色問題みたいな証明じゃなくてよかったね

2変数の方が未解決なんだ

比較的分かりやすいやつで良かった
問題や証明が難し過ぎると見てもポカーンとなるだけになっちゃうからな

今までちょこちょこ解かれてたエルデシュ問題とかいう
一山いくらの問題集みたいなのと比べて格段にでかい成果
大手柄である

なんもわからん

時間かかるから放置されてただけの数学の未解決問題がいっぱいある

>なんもわからん
あくまでイメージだが
フェルマの最終予想で喩えると x^3 + y^3 = z^3 を満たす自然数 x, y, z が
なんかコンピュータの総当りでついにみつかっちゃった世界線みたいな話だな

作り方に根拠があるようで
もっと複雑な例ならいくらでも作れるらしい

未解決問題次から次に解かれてるらしいな
シンギュラリティ始まってんじゃねこれ

次数も係数も小さいからちょっとしたヒューリスティックでも見つけられそうだと思ってしまった
予想が偽という話はあったらしいし当然探してたんだろうけど

こうなると2変数の方も例外あるんじゃないかと思ってしまうが現時点でそういう報告がないということは少なくとも小さい次数の範囲には無さそうな感じか

深部AIじゃなくてClaudeでも未解決問題が解決されるとかやっぱりAIヤバいな…

>あくまでイメージだが
>フェルマの最終予想で喩えると x^3 + y^3 = z^3 を満たす自然数 x, y, z が
>なんかコンピュータの総当りでついにみつかっちゃった世界線みたいな話だな
全数検索の帰納法で解決したようなもんか

人間が積み上げたデータから生まれたAIが
人間がまだ解けてなかった問題への答えにたどり着けるってなんか不思議な感じ

なんかの方程式でほぼすべての数で式を満たさないのに唯一ある数だけで満たしてしまうってのがあった気がする
無限にある数の中でその数字だけ式を満たしてしまう以上その公式は成立しないっていう不条理

>人間が積み上げたデータから生まれたAIが
>人間がまだ解けてなかった問題への答えにたどり着けるってなんか不思議な感じ
24時間365日休みなく人間が不可能な速さで学習し続けるからな

こういうのミリしらだが・・
逆に難問を作らせるとかはどう？AIには簡単？

まぁAIってこういうの得意そうだよね
だからって人間より優れてると思うなよ

数学問題解いた結果がこの先の科学の発展に寄与していくわけだろ
すごいな

>だからって人間より優れてると思うなよ
唐突にどうした

>未解決問題次から次に解かれてるらしいな
>シンギュラリティ始まってんじゃねこれ
後で「やっぱ違ったわ」って取り下げられる例もある

>唐突にどうした
ヤコビアン予想に挑戦して解決できなかったとしあきなのかもしれない

>数学問題解いた結果がこの先の科学の発展に寄与していくわけだろ
>すごいな
残念だけど人間側がそれを検証できないんだ
つまりAIだけが先に進んでいって人間は取り残されてる
少なくとも最先端の数学や宇宙理論ではそこまで来ている

>24時間365日休みなく人間が不可能な速さで学習し続けるからな
人間の学習と根本的に違うので数学分野だけとっても解決できる問題種の方がまだ少ない
LLMが未解決問題を解決した事例はスポットライトが当たってなかっただけってものもある

>唐突にどうした
未来のジョン・コナーだ

>後で「やっぱ違ったわ」って取り下げられる例もある
それは人間がやっても一緒では

なんかAIに対して異常なコンプレックスもってるやつがいて面白い

AIって究極の発達障害みたいなもんだしね

>AIって究極の発達障害みたいなもんだしね
なにいってんだマジで

>>後で「やっぱ違ったわ」って取り下げられる例もある
>それは人間がやっても一緒では
AIが解決した！ってキャッチーだから未検証でも報道されやすいんだ
スレ画は検証済みだけど元レスのシンギュラリティ云々はまだまだ先だよってこと

他の問題での話だけど解決の鍵となったのはAIが無理だと言う度に人間が励まし続ける事だったというのがあるな
AI時代の人間の役割というのは非合理を情念で突き進んでいく事なのかもな
99％失敗するだろうけど1％にAIだけじゃ辿り着けない所がある

>時間かかるから放置されてただけの数学の未解決問題がいっぱいある
それがAIで解決するんならええやん
キャベツを刻むのに包丁で千切りしてたのをミキサーでガガガー!って粉々にするようなもんだが

>スレ画は検証済みだけど元レスのシンギュラリティ云々はまだまだ先だよってこと
そもそもシンギュラリティに「一切のミスを生まない」みたいな意味ないぞ

>キャベツを刻むのに包丁で千切りしてたのをミキサーでガガガー!って粉々にするようなもんだが
そこに浪漫があるのか？

>次数も係数も小さいからちょっとしたヒューリスティックでも見つけられそうだと思ってしまった
>予想が偽という話はあったらしいし当然探してたんだろうけど
実際Levent Alpögeって人は予想に否定的な立場の数学者だったんだろうなとは思う
多分この予想と相性の悪そうな多項式の分類は、これまでの研究で既に自作していて
それを指針に探索させたんだろうな
似たような研究をしている人は他にもいたんだろうけどこの人の分類が
たまたまビンゴだったんじゃないかと

>>キャベツを刻むのに包丁で千切りしてたのをミキサーでガガガー!って粉々にするようなもんだが
>そこに浪漫があるのか？
厳密に言うと、「食ってもうまくない、わざわざ食うヤツは物好きだから捨てたり残してたキャベツの芯をミキサーでガガガー」が近いか
人の嫌がる分野をAIにやらせるのは悪くないだろ

>こうなると2変数の方も例外あるんじゃないかと思ってしまうが現時点でそういう報告がないということは少なくとも小さい次数の範囲には無さそうな感じか
125次以下だと反例がないそうだ

>時間かかるから放置されてただけの数学の未解決問題がいっぱいある
出来ない事をAIにやらせても微妙
出来る事をAIに投げても微妙
出来るけどやってる暇がないから放置してた事をAIにやらせると良い感じって聞いたな
コーディングでもアイデア止まりのプロジェクトを形にするには良いという評判だし

あとはカオス現象起こしてる生のデータから
カオスの影響を取っ払えるようになれば自然現象にも使える
もちろんこれも人間だけなら未来永劫無理

ヤコビアン流星打法！

>比較的分かりやすいやつで良かった
>問題や証明が難し過ぎると見てもポカーンとなるだけになっちゃうからな

数学の最先端問題となると世界最高峰の数学者が数年〜十数年がかりで証明した！とされる論文の内容が日本語でも英語でも何回過ぎて査読担当の数学者でさえ全貌を理解するのに５年でも足りなくて、この論文自体が数学界の新たな鉱山になるっていう堂々巡りの問題に突入している

30年分からなかったDinitz-Garg-Goemans予想もAIに反証された
もう数学者は介護に転職かな

ヤコビアン予想は解けたことを人間が理解できたからまだいいけど
これからはAIが人間に理解できない予想を立てて解明していくからな
量子コンピュータで動く頃にはどこでもドアやタイムマシンを作ってんじゃないか

予想はウソだとわかったので数学者はもう証明に無駄な労力割かなくてもいいよねってことか

こういう成果出てても未だに「AIはネットから検索した答えを引っ張ってくるだけ」
ってしたり顔でデマを言うとしあきが後を絶たない

>予想はウソだとわかったので数学者はもう証明に無駄な労力割かなくてもいいよねってことか
まあ反例がみつかったものを必死こいて証明する必要はないからな
とはいえこれまで反例がみつからないほど「だいたい正しかった」のも確か
そこには何か数学的に重要な構造は隠れてそう

人間が理解できない証明が出てきたら計算資源投入して分かり易い証明出してもらうか
クソ複雑でもLeanで形式的証明がついてれば良しにするとかになるのかな

>>予想はウソだとわかったので数学者はもう証明に無駄な労力割かなくてもいいよねってことか
>まあ反例がみつかったものを必死こいて証明する必要はないからな
正しいと信じて今まで証明に挑んでた数学者可哀想…