たぬパチ!さんをボコボコに殴った被疑者の素性が明かされる
数学のミレニアム懸賞問題、ついにAIが解いてしまう...
ナビエストークス解かれた
人間が見落とすようなことを見落とさないからな
最強や
天気予報の精度があがるな
ほんまAI覇権やな
よくわからないことがよくわかった
もう見ただけでどんな問題かすら理解する気なくす
>>8
風呂の排水口とかやろ
なお他の数学者の直前にやった研究を参考にした可能性がある
それでも証明はオリジナルやし物理学すごい発展する
分かんねえし合ってるか分かるんか分かんね
この場合OpenAIに1億入るんか?
>>14
サム・アルトマン曰く1億は前に近いの出した奴にあげていいよって言ってるで
まあはした金やしな
AIに答え出してもらっても僕本人に教養がない為判断できない
これが解けたら何に利用できるんや?
>>17
水の流れの方程式が絶対に正しいことが証明される
天気予報とか流体シミュレーションが完璧になる
ナビエストークス解けたら一大事件やけど無理やと思うわ
レイノルズ数とかで出てくるやつか
ナビエストークス解けたらガチのマジで革命的に物作り分野全般で革命レベルのことが起きる
このかわいいやつかよ
>>22
かわいい
>>22
かわいい
>>22
(ʋ・▽ )ʋ こいよオラ
なんて文字?
>>116
ν
にゅー
(ν・∇)ν
>>28
移流項こわい
こいつが諸悪の根源
>>37
せや!陽的に扱ったろ!
>>44
おまえソリトン壊すじゃん
使い物になる条件厳しくて始末が悪い
AIが正しいって言ってるし実際そうなるけど人間にはなんでなんかわからん確認にも1000年かかるとかいうふうになったら魔法の世界になるよな
>>32
将棋囲碁は10年前にその世界に入っちゃったんよな
特に囲碁は人間の大局観とかごく狭い範囲しか見てないって証明された
ミレニアム懸賞問題で解けたら影響が大きな順
1位:P対NP問題
人類の歴史上最も破壊的な影響をもたらします。
現代のインターネットセキュリティ(暗号通信、オンライン決済、暗号資産など)の根底にある「RSA暗号」などが一瞬で解読可能になり、世界中のセキュリティシステムが完全に崩壊します。
これまでスーパーコンピュータで何億年もかかるとされていた「最適化問題」が、一瞬で解けるようになります。新薬の開発、効率的な物流ルートの算出、完璧なAIの自動生成などが一瞬で可能になり、全産業が劇的に進化します。
2位:リーマン予想
数学史上最大の未解決問題であり、解明された場合の数学界への影響は圧倒的トップです。
素数の並びにある規則性が完全に証明されるため、素数の不規則性を利用している現代の公開鍵暗号システム(産業・軍事のセキュリティ)に間接的・直接的な見直しを迫る可能性があります。
現代の数論における千以上の重要な定理が「リーマン予想が正しいと仮定すると~」という前提で書かれているため、これらが一気に「確定した定理」へと昇格します。
3位:ナビエ�ストークス方程式の存在
飛行機の翼の周りの空気の流れや、天気の変化、血液の流れなどを表す流体の基本方程式です。
この方程式に「常にきれいで滑らかな解が存在するか(カオスや乱れによって破綻しないか)」が数学的に証明されれば、シミュレーションの信頼性が100%になります。完璧な気象予測(台風の進路など)、航空機・フォーミュラカーの極限の空力設計、効率的な造船などが可能になり、防災や製造業に莫大な経済効果をもたらします。
4位:ヤン-ミルズ方程式の存在
ミクロな素粒子の世界(強い相互作用やクォークの閉じ込め)を説明する「標準模型」に、完璧な数学の裏付けが与えられます。宇宙の始まりや物質の質量が生まれる仕組みの完全解明へと繋がり、次世代の物理学の扉が開きます。
5位:バーチ・スウィンナートン=ダイアー予想
楕円曲線と呼ばれる数式(暗号技術にも使われる形)に関する予想です。
学問への影響: 方程式の解の個数という「代数的な性質」と、特定の関数の挙動という「解析的な性質」を結びつける、現代数学の最先端(ラングランズ・プログラムなど)を大きく前進させます。
6位:ホッジ予想
複雑な幾何学的形状(図形)を、どれだけ単純な代数的なパーツの組み合わせで表現できるかという、非常に抽象的な問題です。
学問への影響: 純粋数学の中での影響は極めて大きいですが、あまりに抽象度が高いため、実社会や他の科学技術へ直接的な影響を及ぼすまでには、解明からさらに数十年~数百年のステップが必要になると言われています。
>>33
リーマン予想よりナビエストークの方が影響大きいやろ
滑らかな有限外力でも速度が局所的に無限大になる条件を見つけたってことやろ
反例やんけ
数独も一瞬やな
解けたん?解けんこと証明されたん?
>>38
外力ありで特異点ができる例が見つかった
次はどんな外力なら特異点できるのかの探索やな
本命の外力なしで滑らかかどうかは相変わらず未解明
スーパーカミオカンデだってわざわざデカい箱ものつくって
どうせ見つからない事を証明するだけなんでしょ
>>42
それでも"見つからないことが見つかった"というだけでも科学の進歩なんやが
見つかったら見つかったでそれはそれで万々歳や
>>57
でも将来見つかる可能性まで排除できんのやろ?
シンギュラリティ!!シンギュラリティ!!シンギュラリティ!!
流体力学なんてものは存在するのか?
粒子一粒一粒の運動方程式を解かずにエントロピー増大で誤魔化してるだけだろ
ミレニアム懸賞問題解いたけど授賞式不参加で賞金も受け取らんかったやつおったよな
>>61
ロシアの偉大なグレゴリーペレルマン教授や
あの人今ロシアは戦時中やけど脱出したのかな?
>>64
あいつはロシアでも不可侵や死んだあと徹底的に家探しして未発表論文貰うんやで
>>73
身の安全が保障されてるのは良かったけど
えぇ...死んだ後に家を捜索されるんかぁ
すごワイが解いたってことになんないかな
リーマン予想解決はよ
どうせ査読したらガバガバなんだろ
>>77
122ページくらいしかないらしいしそれほど査読難しくなさそう
>>87
実は実質的にほぼ終わってる状態
leanの形式証明も出来たって言ってるから、結果部分だけ確認して合ってたら厳密にOK
反例見つかっちゃいましたってのは凄かったな
工学部が大学で習うやつやん
これ懸賞問題だったのかよ
周回遅れのマーク・ザッカーバーグさん、今さらAIエージェントをドヤって発表
まじで数学者の仕事がなくなりそうだな
純粋な理論に近い部分からやられてくだろう
これ誰が正しいか確認するんすかね
100年後どうなっちまうんだろうな
不老不死は現実になりそう
ワイも頭いい人が考えても解けない問題作ってから死にたい
>>97
未解決問題なんてだれでも簡単に作れるで
1からグラハム数のグラハム数乗までの間にある素数を全部足したらいくつになりますか
これだけでAIで今後100年は解けないで
計算量が無理すぎるから
>>103
それって時間とメモリの制約が無ければ確実に解けるから未解決問題ではないよね幼稚園児みたいなこと言ってんじゃないよ
もうAI怖いわ
ネットバンクの口座とかセキュリティ突破できるようになったらどうなるん
>>112
もし出来てもお前の口座開けるための計算で電気代赤字やから安全やぞ
openaiとかauthenticが世界最高の研究機関になる可能性はあるかもな
特に数学じゃ
(ν・∇)ν ミレニアム囲い
ラマヌジャンの式とかもどんどん解かれるのかな