おこめくん

米を食べよう

[おこめくん @bbddbbddvvvv]

@cco_tori めでたいで言ったらそっちこそおめでと🏌！
だからオータム行けそうになかったのね笑
何とか行けたけど、便変更しなかったら欠航になってたからギリギリだったわ👀

[おこめくん @bbddbbddvvvv]

久々の沖縄暑かったねぇ

[おこめくん @bbddbbddvvvv]

@woodshero2357 なに！すれ違ってしまった、、
この時期むちゃくちゃ寒かったんじゃないですか…？笑

[おこめくん @bbddbbddvvvv]

@ff_y0326sss 暑すぎたが…!?

[おこめくん @bbddbbddvvvv]

空港とかで売ってるソフトクリーム、価格20パーセントOFFとかでいいから量を半分にしてくれ

[ドラマ「南田南弁護士は天才肌」【公式】 @minamidaminami_]

🐋𓈒𓂃𓈒𓂃𓈒𓂃𓈒𓂃𓈒𓂃𓈒𓂃𓈒𓂃𓈒𓂃𓈒𓂃𓈒𓂃𓈒𓂃

ドラマをさらに盛り上げる主題歌は
#muque『#いいんじゃない』に決定.ᐟ
𓈒𓂃𓈒𓂃𓈒𓂃𓈒𓂃𓈒𓂃𓈒𓂃𓈒𓂃𓈒𓂃𓈒𓂃𓈒𓂃𓈒𓂃🐋

注目の３ピースバンド・muqueが
本作の主題歌を担当🎼

主人公・南に寄り添って書き下ろされた
新曲「いいんじゃない」が
ドラマの世界観を鮮やかに彩ります✧˙∘

#南田南弁護士は天才肌
#芦田愛菜
#カンテレ
𝟏𝟎月𝟏𝟗日(月)よる𝟏𝟎時スタート🐋
（初回15分拡大）

[おこめくん @bbddbbddvvvv]

一生聴いてる

https://t.co/GnjymWVoVj

[パラノマサイトシリーズ【公式】 @PARANORMA_PR]

㊗️《優秀賞》受賞🎊
「日本ゲーム大賞2026」にて『パラノマサイト FILE38 伊勢人魚物語』が《優秀賞》を受賞しました🎉

キャラクターデザイン小林元による描き下ろしの受賞記念イラストをお届けします！

#パラノマ本所 に続いて今作も受賞できたのは いつも 応援いただいている 皆さまのおかげです‼️
本当にありがとうございます！

引き続き #パラノマサイト をどうぞお願いします！

Switch版/スマホ版の #パラノマ伊勢 は30％オフセール実施中です！！

[おこめくん @bbddbbddvvvv]

@cco_tori あら、残念…
したらどっかのタイミングで皆さんに会いに帯広行きますわ、今札幌なので👍

[おこめくん @bbddbbddvvvv]

@cco_tori 最近あんまり青空見ないもんねぇ
今年もオータム行くんか？？

[結城浩 / Hiroshi Yuki @hyuki]

ミレニアム懸賞問題の一つ（ナビエ–ストークス方程式の解の存在と滑らかさ）をOpenAIの次世代AIが否定的に証明したらしく、Leanのコードも提供されているとのこと。

以下はAIによる解説（私は理解していません）。

　＊　＊　＊

要点を先に言うと、この記事の主張は「ナビエ・ストークス方程式の解は有限時間で特異点（速度の発散）を起こしうる」ことをAIが証明した、つまり問題は「否定的に」解決された、というものです。

**何が示されたか**

ミレニアム問題の公式な問題文には4つの命題（A〜D）があります。AとBは「解はつねに滑らかなままである」という肯定側、CとDは「滑らかな初期状態から出発しても有限時間で解が壊れる」という否定側です。OpenAIのシステムは、静止した滑らかな流体に滑らかな外力を加えると、エネルギーは有限のまま有限時間で特異点が生じることを示し、命題C（およびD）を確立したと主張しています。

見つかった解は渦で、内側へ螺旋を描きながらスパゲッティのように引き伸ばされ、中心部が縮みつつ加速していく形だそうです。 技術的な難所は、加速度・圧力勾配・粘性などの各項がそれぞれ巨大になりながら精密に打ち消し合い、外力だけは滑らかに保たれる、という「釣り合い」を作ることだと説明されています。

**どうやって見つけたか**

GPT-6 Astraより大幅に高性能な内部モデルを使い、約1万の並行エージェントからなる協調システムで探索したとのことです。 最初に、粘性項を除いたオイラー方程式（外力なし版）の正則性問題を約100エージェント・約50時間で否定的に解決し、その知見をナビエ・ストークスに投入したという流れです。エージェント起動から約88時間で解に到達し、Leanでの形式化と検証にさらに17時間かかったと書かれています。

**注意しておきたい点**

1. Anthropicの Levent Alpöge と NYU の Tristan Buckmaster が「外力ありオイラー方程式」を先に解決しており、OpenAIはその優先権を認めています。 ナビエ・ストークス本体を解いたのはOpenAI側の主張です。

2. OpenAIはミレニアム賞の請求はしないと明言しています。

3. 記事はOpenAI自身による発表であり、私が確認できたのはこのページだけです。Lean形式化は検証の強い根拠になりますが、形式化された命題がクレイ研究所の問題文と正確に一致しているかは、数学コミュニティの精査を待つ必要があると思います。この点は不確かです。

一言でまとめると、「流体の方程式は自分自身の運動によって壊れうる」という、90年来の問いに対する否定的な答えが提示された、という記事です。論文本体やLeanのコードまで見て深掘りすることもできますし、「特異点」や「命題A〜D」の中身をもう少し丁寧に説明することもできます。

◆On the Navier–Stokes Millennium Prize Problem | OpenAI
https://t.co/zM2BBUaKTd

[おこめくん @bbddbbddvvvv]

コンサート北海道でもやってくれるの、私信かと思った

[おこめくん @bbddbbddvvvv]

TAS突きを残しておいてくれ…

[任天堂株式会社 @Nintendo]

「ゼルダの伝説40周年コンサート」開催決定。
日本では2027年1月の東京公演を皮切りに、全国5都市で公演を実施。
北米、ヨーロッパ、オーストラリアでも順次開催予定。
#NintendoDirectJP #ゼルダの伝説40周年

[おこめくん @bbddbbddvvvv]

Switch2のゼルダエディション、買わなきゃ

[任天堂株式会社 @Nintendo]

Nintendo Switch 2 ソフト『ゼルダの伝説 時のオカリナ』は、11月5日（木）発売。
最新トレーラーを公開。
#時のオカリナ #NintendoDirectJP #ゼルダの伝説40周年

[おこめくん @bbddbbddvvvv]

時オカ…最高すぎる

[ゼルダの伝説 @ZeldaOfficialJP]

ファミリーコンピュータ ディスクシステム『ゼルダの伝説』の発売から、今年で40年。
今年から来年にかけて「ゼルダの伝説40周年」として、さまざまな取り組みを行います。
#ゼルダの伝説40周年

[おこめくん @bbddbbddvvvv]

@cco_tori この時期も若干花粉あるで

https://t.co/9GPZd3SSsq

でももしかしたらPM2.5もあるかも

https://t.co/8A8cn3pcn5