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にやらせると良い感じって聞いたな
コーディングでもアイデア止まりのプロジェクトを形にするには良いという評判だし