ナビエ・ストークス新証明、AI関与を巡りOpenAIに疑惑の声
姉妹サイトの新着
他サイトの新着
- 5chまとめMAP【悲報】くら寿司ちいかわコラボグッズ、店長とリーダー以上しか触れない厳重保管されていた
- ニュース速報まとめMAP【軍国主義の象徴】高市が即座に撤去要請！ロシアによる日本侮辱の銅像、その「おぞましい実態」とは
- なんJ傑作まとめアンテナMAPトランプおやびん、ニューメキシコ州を「ニューアメリカ州」と改名した地図を公開wwwwwww
- アニメ声優まとめアンテナMAP【速報】インド版プリキュア、制作決定wwwwww
- VTuberまとめアンテナMAP【ホロ甲2026】壁咲高校、1年目秋～！壁咲神宮春甲子園うおおおおおおおおおお
- だめぽアンテナ【画像】このレベルの女の子連れて歩ける？
- ヌルポあんてな広末涼子さん、185キロで爆走しトレーラーに追突し看護婦をキックしてから１年半何もしてない
- 2chまとめアプリ+みんな学校に購買とかあったの？
- News人日本が戦争に勝ってたら今でも独裁国家だったの？他
- ブルーアンテナ不思議な初彼女の話を書いてく
- ウマーあんてな飲み会でチャラ男が超美人に抱き着いた。次の瞬間、美人はビール瓶で男の頭をぶっ叩く…！ 男「きゅ、救急車…」美人「あれ、なんでﾀﾋなんの？」 → そして警察の事情聴取は……
- ぶーアンテナ【悲報】くら寿司の店員、内部調査の過程をSNSで公開してしまうｗｗ
- まとめクローラ『ストリートファイター6』アルジュンがインド映画の主役みたいでかっこいい
- Ask Reddit まとめ海外「借金だけは消えてくれない。朝起きた瞬間から寝るまでずっと肩に乗ってる」人生をふいにする一番くだらない方法とは
- アニメ・漫画アンテナ【悲報】ラディッツさん、主人公の兄なのに特に掘り下げとかない
- ワロタあんてな経団連会長「法人税引き上げには賛成できない」→消費税減税の代替財源案をけん制
- ２ちゃんねるまとめるまとめ【悲報】くら寿司ちいかわコラボグッズ、店長とリーダー以上しか触れない厳重保管されていた
- 5chnavi【悲報】トランプ大統領、ちょっとだけ壊れるwwwwwwwwwwww
- 勝つるあんてな！赤木希アナ デカパイ横乳！！
- にゅーもふA●女優・篠崎沙帆の綺麗すぎる顔には白い精子がよく似合う
数学の未解決問題として知られるナビエ・ストークス方程式に関して、Tristan Buckmasterらが新たな証明を発表し、Hacker Newsで話題になっていた。著者らはAnthropicのClaudeやOpenAIのCodexなど複数のAIを執筆や検証に使ったと明かしている一方、声明の中でOpenAI側から研究への関与を巡って圧力を受けたと主張しており、その真偽がスレでの最大の争点になった。数学的成果そのものを称賛する声がある一方、一方的な声明を鵜呑みにすべきでないとする慎重な意見や、OpenAIの過去の不誠実な事例を挙げて疑いを深める意見も交わされ、議論は白熱した。
「ナビエ・ストークス方程式の爆発解」——トリスタン・バックマスターによる論文[PDF]
出典: cims.nyu.edu / 元記事はこちら
数学に詳しい人、ナビエ・ストークスの証明の各パーツがどうつながっているか説明してくれない?「オイラー方程式」も絡んでくるってどれくらい重要なこと?この「滑らかな外力(smooth forcing)」って何?証明全体で一番肝心なステップはどこ?
「これはディープブルー対カスパロフの瞬間だ」——いろんな意味で本当にそうかもね。カスパロフは対局中、IBMが自分の対局準備を盗み見してカンニングしたと有名な形で非難してたし。
歴史は繰り返す、ってやつだな
今日、オイラー方程式に関する発表が2つあった。ここで話題になっているTristanの「外力あり」の方と、Animaの「外力なし」の方。テレンス・タオもこれについて触れている。
LLMなんて所詮、巨大な盗用マシンでしかない
最先端AI研究所の背後にあるエゴが、ますます不安になるレベルで肥大化している
一言だけ言いたい。ゴタゴタはさておき、ナビエ・ストークスの未解決部分が埋まったなら、普通に興奮していいことじゃない?時間が経てばこの騒動や倫理面についてもっと詳しいことが分かるはずだけど、それはそれとして今回のブレークスルー自体も素直に喜ぼうよ!
「同僚たちに内々で話してきたことをここではっきり言っておく。この一連の研究を踏まえると、Luis Martínez-Zoroaはフィールズ賞に値すると私は思う」
数学者コミュニティにはかなりの痛みと苦しみが広がるだろうな。大発見が結局「投入したトークン代金の関数」でしかなくなったなんて、受け入れがたい話だ。
この記事、タイトルを「ナビエ・ストークス方程式の爆発解証明をめぐるOpenAIの不正疑惑」に変えるべきだと思う
「彼らが最初のプロンプトをいつ送ったのか尋ねた。この質問にOpenAIはしばらく直接答えなかった。最終的に、私たちの研究の情報がOpenAIに伝わった後の、ここ数日以内に送られたということで合意した」——これは重要なポイントだ。
ｗｗｗ てっきりGPT Astraはコーディング品質が退化したと思ってたのに。とんでもない時代だな
はっきりさせておくと、AstraはBuckmasterとAlpogeの研究にはほとんど関わっていない。「私たちは終始複数のLLMを使った。AnthropicのClaude、OpenAIのCodex、特にGPT-5.6 Sol、そして最近ではAstra。ただしAstraは執筆と論証の検証にしか使っていない」
人間は触るものすべてに無意味なドラマを持ち込むよな
「人生は歩く影法師、哀れな役者だ。舞台の上で自分の出番の間だけ気取って動き回り、わめき立て、それから誰にも顧みられなくなる。それは白痴が語る物語、響きと怒りに満ちて、意味は何もない」(古き良きウィリアム(シェイクスピア)のドラマより)
このスレ、偏った見方に基づいて結論に飛びつくレスばかりだな。もう少し謙虚になったら
根拠もなくOpenAIを擁護するあなたの投稿もこのスレに山ほどあるけど。自分の忠告、自分で聞いたら?
これ、投稿タイトルに入れるべき内容だと思う。「OpenAIが著名な研究者のキャリアを潰すと脅したとされる」みたいな感じで。
百歩譲っても、この人物はOpenAIを代表してやり取りしていたわけだから、OpenAIはこの件について調査し、公式に反応すべきだ。裏付ける証拠があるなら、解雇と謝罪くらいは当然あってしかるべき。ただしこの問題自体は、証明の中身とは切り離して考えるべきだけど。
その結論はおかしい。OpenAIのモデルや社員が実際に著者のデータを見たり盗んだりしたのかは、今の時点ではっきりしていない。大企業で働いた経験からすると、そのデータにアクセスできる社員はごくわずかだろうから、可能性は低いと思う。問題が解けると分かっているだけでも、勝負の半分は終わっているようなものだし。
そうだね、でもそれはこの一方的な声明を鵜呑みにした場合の話だけど。
もしそれが本当じゃないなら、なんで発表を急いだんだ?OpenAIとの電話でのやり取りを丸ごとでっち上げたとでも言いたいのか?
証拠があれば見る気はあるけど、ベイズ推定的に考えても、OpenAIは史上屈指の不誠実な企業のひとつだよね。今まさに社員十数人がApple社のハードウェアを盗んだとして訴えられてる最中だし。どうしてこの会社に温情をかけなきゃいけないのか分からない。
他サイトの新着
そうだね、これで彼らのモデルが「発見した」と主張するすべての信頼性に疑問符がつく。こうした「発見」の裏に本当は何があるのか、公表する機会も意志もなかった他の研究者たちと、どんな裏取引をしていたのか、誰にも分からない。
もしそれが実際に起きたことだとしたら、かなりとんでもない話だ。
証拠もなくネット上に広まった不安・不信・疑念を鵜呑みにするのも、同じくらい能天気だと思う。とはいえ、もっと根拠のある見解や議論が出てくるのを見たいところではある。
彼はチャットの内容を学習データとして使ったかどうか尋ねたが、返答はなかった。ここで色々憶測されるのも、至って自然なことじゃないか?
確かに、これは重大な告発だ。でも話がまだ完結しておらず、やり取りには細かい部分がかなり抜けている。誰がいつ何をしていたのかもはっきりしない。全体的に急いでいる感じがして、この結果を大急ぎで公表したかったように見える。
彼は学習データからのオプトアウトもしていたと主張しているの?
自分は過去の実績から見ても正しかった。自分の発言記録を見てみなよ。そっちはどうなの?
エンタープライズ版なら規約の細かい条件が違う、なんてことはないの?
結果が本当で、その「取引」が本当にあったとしても、ここでほのめかされている告発の一部——例えば、OpenAIがCodexのログを使ってブレークスルーを引き出した、という話——まで本当だとは限らない。
つまり、根拠もなく彼が嘘をついていると決めつけているわけ?彼は明確に脅されたと報告しているのに、それに対するあなたの答えは何があってもOpenAIを擁護することなんだね。
声明、ちゃんと読んだ?本人が最後に、上の例が本当かどうかは自分でも分からないと言ってるんだけど。一体何の話をしてるの?自分のコメントのどこで彼が嘘をついていると決めつけてる?
この話題の背景と論点
ナビエ・ストークス方程式は流体の運動を記述する基礎方程式で、解の存在と滑らかさを巡る問題はミレニアム懸賞問題の一つとして知られる。今回話題になったのはその一部(外力ありの場合の爆発解)に関する新しい証明で、著者らはAnthropicのClaudeやOpenAIのCodex、Astraなど複数のLLMを執筆・検証に使ったと明かしている。スレで割れたのは証明の中身の是非ではなく、OpenAI側が著者の未発表の研究内容をいつ、どこまで把握していたか、研究者への圧力があったかどうかだった。これは著者本人による一方的な声明が根拠であり、OpenAI側の反論や事実確認は現時点で示されていない点に注意が必要だ。AIが数学の未解決問題に関わる例はテレンス・タオらの研究でも増えており、成果自体を歓迎する声と、それに伴う競争や情報管理の倫理を懸念する声が交錯していた。
※本記事は5ch(Hacker News)スレッド「Navier-Stokes – Tristan Buckmaster [pdf]」より抜粋・要約して構成しています。
この記事のリアクション
まだコメントはありません。