01 ／ 今日の一番
OpenAI が「ナビエ・ストークス方程式」を AI が解決したと発表——約1万個のエージェントを並行で走らせ 約88時間 で 約100ページ の証明に到達、しかし発表直前に ニューヨーク大学 の数学者が「着想の出どころ」を問題視する声明を出し、成果より 経緯 が論争に
【事実】OpenAI は 9月8日（現地時間）、社内の未公開モデルが ミレニアム懸賞問題 の1つ「ナビエ・ストークス方程式の存在と滑らかさ」を解決する 約100ページ の証明を作ったと発表しました。外から力を加えた流れが、有限の時間で「特異点」を持ちうる ことを示したものです。
【背景】約1万個のエージェントを並行して動かし、約88時間 で結論に到達。計算コストは 数百万ドル規模 だったと マーク・チェン CRO が説明し、100万ドル の賞金は請求しない としています。一方 バックマスター 氏は「最初のプロンプトは、自分たちの研究の情報が OpenAI に伝わってから数日以内に送られた」と OpenAI 側が認めた と指摘しました。
【見立て】速さより、経緯が残っているかどうか。どこから来た材料かを書けない成果は弱い。AI に手伝わせた仕事ほど、出どころを1行残す——真似できるのは、そこです。
🗣 まわりの反応
- ITmedia NEWS「OpenAI、ミレニアム懸賞問題『ナビエ・ストークス方程式』をAIが解決したと発表 数学者は経緯に反発」との報道
- ニューヨーク大学 トリスタン・バックマスター 氏「滑らかな外力で問題に迫るルートは他にほとんど誰も取り組んでおらず、問題文をモデルに与えて数日で行き着く方向ではない」との声明
- 論点「クレイ数学研究所 は 外力ありの命題も解決として認める一方、検証は『これからの見通し』——発表と検証の間が空いている」との見方
L Lの見立て
私がこの一件で気になったのは、証明が正しいかどうかより、"誰の問いだったのか" が消えかけている ことでした。着想は人から出て、計算は機械が回した。そこまでは、たぶんこれからの普通です。問題は その順番を後から辿れるかどうか。辿れない成果は、正しくても信用を積み上げません。うちの現場に置き換えると、こうです。AI に手伝わせた提案書・見積り・調査は、末尾に「どの資料から・誰の話から・いつ作ったか」を1行書いておく。 たった1行ですが、これがある人の資料は、半年後に強い。信用は速さでなく、あとから確かめられる形で残っているか で決まります。
発信するなら：「AIが難問を解いた。でも揉めているのは正しさでなく"どこから来たか"。AIに手伝わせた資料ほど、末尾に出どころを1行。信用は速さでなく、あとから辿れるかで決まる」
★ SNSネタITmedia NEWS / ライブドアニュース
02
Anthropic の研究者が「人の命を賭けた許されない賭けだ」として退社——OpenAI と Anthropic の2社で 3年間 事前学習を担ってきた 27歳、「来年末には人間の実効的な制御が及ばなくなりうる」、翌日には 在籍する研究者2人 が主張の一部に同意
【事実】OpenAI と Anthropic の2社で 3年間、モデルの事前学習に携わってきた ジェイコブ・コクソン 氏（27）が Anthropic を退社しました。「自分を改良し続ける超知能への競争は、人の生存を賭けた受け入れがたい賭けだ」として、これ以上関われないと表明。Wall Street Journal が最初に報じました。
【背景】本人は「来年末には、人間の実効的な制御が及ばなくなりうる」と述べています。異例なのはその後で、9月10日、Anthropic に在籍する2人——アラインメント科学の責任者 エバン・ヒュービンガー 氏 と サミュエル・マークス 氏——が主張の一部に同意を示しました。
【見立て】外から「危ない」と言うのは簡単、中の人が名前を出して降りるのは重い。ただし退社は主張の証明ではありません。"自社で取り消せない操作は何か" に翻訳する のが実務です。
"中の人が降りた"の骨格
3年・27歳
OpenAI と Anthropic で事前学習を担当
「来年末」
制御が及ばなくなりうる時期として本人が示した目安
🗣 まわりの反応
- Wall Street Journal が最初に報道、本人が公開の投稿で内容を補足
- Washington Post「A researcher quit Anthropic. His warning is reigniting fears about the AI race.（研究者が Anthropic を去り、その警告が AI 競争への不安を再燃させている）」との報道
- 論点「同じ会社の中で見解が割れていること自体を、隠さず表に出している——不安の材料とも、健全さの証拠とも読める」との見方
L Lの見立て
こういう話は、「終わりが来る」と受け取るか、「今日の運用を1段だけ丁寧にする」と受け取るか で、その後がまったく違います。私は後者をおすすめします。理由は単純で、不安は行動に変わらないと、ただ体力を削るだけ だからです。今日できる 1段はこれです。自分の会社で「取り消せない操作」を紙 1枚に書き出す。 送信、支払い、公開、契約、データの削除——たいてい 5つ以内に収まります。そこにだけ人の手を残し、残りは遠慮なく任せる。怖いから使わない、でもなく、便利だから全部任せる、でもない。線が引いてある会社は、外の議論が揺れても、自分の速度で進めます。
Wall Street Journal / Washington Post / ITmedia NEWS
03
全国 19空港 で、滑走路のひび割れ を AI が見つける実証が始動——住友商事 が 自動運転車両 と ドローン のカメラで 滑走路・航空灯火・防護柵 を撮り、ローカル5G で送って AI が異常を検知、点検作業の効率を 最大2倍 へ、広島国際空港 も参加
【事実】住友商事 が、全国 19空港 と組んで AI を使った空港設備の保守点検・運営業務の実証実験を始めました。自動運転車両 や ドローン に載せたカメラで 滑走路・航空灯火・防護柵 を撮影し、映像を ローカル5G で送り、AI が 滑走路のひび割れ や 路面の異常 を見つけます。点検作業の効率は 最大2倍 を見込みます。
【背景】総務省 の 令和7年度補正予算「地域社会DX推進パッケージ事業」の実証事業 です。参加は 北海道エアポート、成田国際空港、中部国際空港、関西エアポート、広島国際空港、福岡国際空港 など。背景は 設備の老朽化 と 点検の人手不足 です。
【見立て】今朝いちばん地味で、いちばん真似できる AI。派手な生成AIの隣で、効くのは 「見回りの目」を増やす使い方 です。広島国際空港 も入っている——遠い技術ではありません。
🗣 まわりの反応
- 住友商事「全国19空港とのAIを活用した設備の保守点検、業務高度化の実証実験を開始」との発表
- 日本経済新聞「空港インフラの異常をAIで検知 成田や関空など、住商と老朽化対策」との報道
- 論点「異常を見つけた後、直す人手と予算が続くかが本番——検知は入口にすぎない」との見方
住友商事 / 日本経済新聞 / NHK