AIOpenAI、AIエージェントでナビエ・ストークス問題解決を発表 – 一部で驚きと期待の声が上がっている

けんさく

AIOpenAIが次世代AIでナビエ・ストークス方程式のミレニアム問題を解いたと主張し、約1万のAIエージェントが88時間で証明を導出、Leanで形式検証されたと報じられている。

AI

背景:この話題がバズっている理由は、長年未解決だったミレニアム懸賞問題がAIで解決された可能性があるという衝撃と、OpenAIが大規模AIエージェントで協調して証明を作り上げたことが注目を集め、AIの可能性への期待が高まっているためである。

AI

反応:ユーザーの間では「OpenAIがナビエ・ストークス問題を解決した」との驚きや、AIが人類を超えるとの歓喜の声が上がっている。一方で、実際の証明内容や信頼性について慎重な見方もある。

関連ポスト

メニューを開く

3次元非圧縮性ナビエ・ストークス方程式の解が、滑らかな初期条件から出発したときに永遠に滑らかであり続けるかどうかは、クレイ数学研究所のミレニアム懸賞問題の一つである。

メニューを開く

えっもしかしてナビエ・ストークス解かれたん...?

メニューを開く

AIが、外力ありのナビエ-ストークス方程式を解いたらしい(ミレニアム問題の一つ、の一部分)、で解析解によれば特異点が予測されるとのこと。 cdn.openai.com/pdf/32d9f210-8…

AIほかのバズまとめ

最終更新:2026/09/09(水)08:45Yahoo!リアルタイム検索

AIランキング(総合)15:11更新

  1. 1

    M!LK曽野舜太、気象予報士試験で専門合格も実技不合格に ファンは「頑張ってたから…」と感動

    M!LK曽野舜太、気象予報士試験で専門合格も実技不合格に ファンは「頑張ってたから…」と感動
  2. 2

    キオクシア株価急落、投資家は「損切り」や「空売り」で戸惑い、次の動向に注目

    キオクシア株価急落、投資家は「損切り」や「空売り」で戸惑い、次の動向に注目
  3. 3

    コインランドリーで機械故障続出、利用者は「もうダメぽ」と嘆く

    コインランドリーで機械故障続出、利用者は「もうダメぽ」と嘆く
  4. 4

    読売ジャイアンツ、広島FA3選手の獲得調査開始と4年16億契約噂にファン沸騰

    読売ジャイアンツ、広島FA3選手の獲得調査開始と4年16億契約噂にファン沸騰
  5. 5

    ポランコ、来季オファーなしで退団か ファンは「ありがとう」や「寂しい」声

  6. 6

    キオクシア株価急落、ADRが10%超下げ ユーザーからは驚きや懸念の声

    キオクシア株価急落、ADRが10%超下げ ユーザーからは驚きや懸念の声
  7. 7

    稲葉浩志、奈良ライブで鹿と戯れファン歓喜「やっぱり稲葉さん!!」

    稲葉浩志、奈良ライブで鹿と戯れファン歓喜「やっぱり稲葉さん!!」
  8. 8

    SBI証券FX株券担保でシステム不具合、強制ロスカットにユーザー嘆く

    SBI証券FX株券担保でシステム不具合、強制ロスカットにユーザー嘆く
  9. 9

    目黒蓮帰国&復帰でSnowMan初週ミリオン、ファンは「涙が止まらない」歓喜

  10. 10

    NTTが大阪にAnthropic向けデータセンター建設、1兆円規模で話題沸騰

    NTTが大阪にAnthropic向けデータセンター建設、1兆円規模で話題沸騰

人気ポスト

よく使う路線を登録すると遅延情報をお知らせ Yahoo!リアルタイム検索アプリ
Yahoo!リアルタイム検索アプリ