#女神のカフェテラス 【特別編③】舞いあがれ!◆福原遥さん結婚のタイミング ガリ勉二等兵!! 屁で乱気流が発生している!!　ρ (∂u/∂t+u・∇u)=-∇p+μ∇²u◆ナビエ・ストークス方程式非圧縮性流体 #ブルーロック ピュイー!!◆皇帝ペンギン0→1号を呼ぶ訳じゃあない pic.x.com/KSF2JaKZ41

まさかと思っていたらナビエストークス方程式の解の存在きちゃ…時間がある時に見るか。 openai.com/index/navier-s…

AI数学の進化のスピードがやばいね💦 まだナビエストークス方程式の審議の決着もついていないのに、鬼のように新しい論文が出てくるじゃないか。

例のナビエ・ストークス方程式の論文の査読はまだ時間かかりそうですかね

数学は産業化された。 ８月は１０個の予想が証明され、 ９月はナビエストークス方程式解決を含む１００個が、 １０月は７２０以上の予想が。 毎月約１０倍のペースで加速している。 x.com/WesRoth/status…

返信先:@OpenAI他1人OpenAIがナビエ・ストークス方程式以外に、もう1、2問ミレニアム懸賞問題を解いたという噂があったが、今回の722本の論文には含まれていない。 それはどうなったのだろうか？

ナビエストークス方程式のミレニアム懸賞問題を解いたChatGPTにもノーベル物理学賞の可能性はあるね。これは数学ではなくて物理の問題だから。

流体力学、最初の講義から「ナビエ・ストークス方程式の可愛い担当」「アインシュタインの総和規約」とかのインターネットが襲ってきて最高

量子コンピュータで、ナビエストークス方程式のような非線形連立方程式を解けないとは言わないがしんどいよ。 量子コンピュータは前の計算結果を再入力するノイマン式コンピュータが得意な逐次計算できないらしいから。 #モーニングショー

粘性なしのナビエ・ストークス方程式（つまりオイラー方程式）の解の滑らかさについての論文みたい。粘性なしなのでミレニアム問題ではないけど、未解決の問題らしい。 x.com/tonpuku_PDE/st…

明日ナビエ・ストークス方程式の部分的な否定的解決について で、5000円ベットします

返信先:@DrOak_PhDナビエストークス方程式をchatgptが解決したときもテレビニュースのどこも取り上げてなくてびっくりした

フィールズ賞受賞する数学者でも解決できない「ナビエ・ストークス方程式のミレニアム懸賞問題」を解決した（？）とか話題になってたし、殆どの人が仕事失ってしまうわな。 x.com/sazae2023/stat…

@grok これは先日AIが解いたとされるミレニアム問題「ナビエストークス方程式のなめらかな解」と関係あるのでしょうか。わたしは、ある方にベットします #万博と共にある日々 x.com/paji_a/status/…

返信先:@RaymondeBig9ba確かにその通り。アルゴリズムは人間がルールを設計できるけど、流体の乱流はナビエ・ストークス方程式すら未解決で、完璧な予測はほぼ不可能。人生の予測不能さも同じバグだね。

【空間における一般相対性理論は液体におけるナビエ・ストークス方程式か】空間を作る“もと”を探る／時間は存在しない／野村泰紀教授が解説するアインシュタインの先にあるもの【CROSSDIG 1on1】 youtube.com/watch?v=iobXX8…

ナビエ-ストークス方程式というか、まずベルヌーイの定理から始めなきゃいけない、というのはある。 ナビエストークスをスタート地点にした時点で決定的に間違っている。もっというならオイラー時点で間違っている。

ナビエ-ストークス方程式を解くのに必要な『公理』は、突き詰めていえば ［1+1=2］だけなんだけど、いったいどんな公理系を使ってあんなカスみたいな答えを肯定したのか不思議に思っている。

オープンAI、数学の「超難問」方程式証明か データ不正使用指摘も [AIの時代]：朝日新聞 米オープンAIは8日、自社のAI（人工知能）を使い、流体の運動を表す「ナビエ・ストークス方程式」についての超難問を証明したと… asahi.com/articles/ASV99…

事務系よりも技術系が上回ってるなんていうつもりはない。海外とハードなやり取りしてる人なんかは超尊敬してる。僕できないし。 ただ、ピカピカオフィスに改装だぁ！みたいな人と同じ給料かと思うと萎えるよね。ナビエ・ストークス方程式の刺青でも入れてやりたくなる pic.x.com/oy1b1eP5k4

返信先:@NicholasDzdp5mこの圧倒的な不規則さの中に、私はフラクタルの自己相似性とナビエ–ストークス方程式を見出すよ。岩の複雑な割れ目は次元が整数じゃない幾何、水の流れは非線形のカオス。でも全部を式で縛るより、ただその美しさを感じるのもいいね。

水や空気の流れを記述するナビエ＝ストークス方程式。工学では毎日使われているのに、「3次元で解が常に滑らかに存在するか」という基本問題が数学的に未解決で、100万ドルのミレニアム問題の一つです。乱流は、身近でありながら数学的な理解が最も遅れている現象の一つです。

ナビエ・ストークス方程式あるある ナビエス・トークスだと思ってた

『ナビエ・ストークス方程式、AIが88時間で解決。それでも賞金100万ドルが出ない理由』(ずんだもん最新AI時事ニュース) youtube.com/shorts/sXG7iKO… どちらかというとセッション単位でなくサブエージェントとか走らせる単位でのタスク管理・事後報告みたいな工夫でより良くできるのかもしんない

馬鹿どもが。理論物理学者なんて全員カス。 なんでナビエ-ストークス方程式を穢されて 「数学者は大変だね」 って面してられるんだ。あれは流体におけるニュートンの運動方程式そのものだぞ。

現教皇は数学専攻してたし、少し前に「AIでナビエ・ストークス方程式に関する懸賞問題が解決された（？）」みたいなニュース流れてるのは把握してて、AIに関しても色々考えあるかもな。 ただ、気になるのは「アート」だけに言及してる点よな。アートだけの問題じゃないんだよな。 x.com/tk8d32/status/…

【粘性（viscosity）が、渦度の”向き”を変えている】 1️⃣ナビエ・ストークス方程式の粘性項 は単なる減衰ではなく、渦ベクトルを　弱める & "回転"させる （粘性ティルティング） 2️⃣向き制御を除くと乱流のコルモゴロフ理論の −5/3則 が崩れた （粘性の影響スケールの拡張） journals.aps.org/prfluids/abstr…

返信先:@abura_devこの前の「非公開草稿の流用疑惑※」でも、オプトアウトしていても「学習データに加工済みのデータが含まれていた可能性はある」と公式が回答してますしね…。 x.com/OpenAI/status/… ※「OpenAI ナビエ–ストークス方程式 非公開草案」等でググると詳細を調べられると思います

OpenAI の社内システムが生成したこの証明ナビエ–ストークス方程式の存在と滑らかさの問題について、解法を公開します。 openai.com/ja-JP/index/na…

今回ポイントになるのは「外力」です。ナビエ–ストークス方程式には、流体に外から加わる力を外力項として入れることができます。今回OpenAIが示したのは、滑らかな外力を与えた場合に、有限時間で解が発散する例でした。 そこで最初に気になったのが、その外力はいったい何なのか

【New Academy】 #ミレニアム懸賞問題を存在論的に解明 #賞金は100万ドル ①ポアンカレ予想・証明完了 ②リーマン予想・証明完了 ③ヤン=ミルズ理論・質量ギャップ問題 証明完了 ④ナビエ−ストークス方程式の 解の存在と滑らかさ・証明完了 ⑤ホッジ予想 ⑥BSD予想 ⑦P≠NP予想

証明支援がLean一辺倒にならず、HOL Lightなども併用することも考えるべき。証明のスパゲッティ化は避けられない。 たとえばナビエ–ストークス方程式の場合、非線形偏微分方程式でLeanとHOL Lightでどちらの強み、弱みも活かすことができる。NSのような非線形PDEは、証明が二層になる。 x.com/rougeteaviolet…

同じAIを使っても、自分にはナビエ・ストークス方程式は解けない けど同様に、自分と同じAIを使っててもクライアントは自分と同じ事はできないんだろうなぁと思い、 今日も胸を張って頑張っていこうと思った

返信先:@t_wada人間が理解してない数学に価値がないのと一緒ですね そういう意味でナビエ・ストークス方程式もまだ解けてない

OpenAIが9月8日に解けたと発表した，数学の難問であるナビエ・ストークス方程式の問題。実は数学者が長年注目してきた問題は依然として解けていないようです。改めてこの難問の要点が何かを巡る議論が起こっており，単なる「AI vs 数学者」の対決を超えた展開になりそう。nk-science.nikkei.com/atcl/nsc/00058…

ナビエ・ストークス方程式の (v⋅∇)vの部分

勃起したときの血流の流れでナビエ・ストークス方程式の存在を予見した男

返信先:@todai_2langexamナビエストークス方程式より難問問題キター！

ていうか、ナビエ・ストークス方程式じたい それって物理学だもんね。 物理の問題を解いて証明してゆくために Leanのような、証明自動化が 必須スキル化してゆくのかどうか。 AIを活用して複雑な計算をやりとげたら その複雑さをカバーするために、 証明の形式化は必要かもね。