Asia Open Terminal 2026-09-09

任せられる相手の幅が、同じ24時間で上下の両端から広がった。片方はエージェントの集団が数学の未解決問題の解を出し、もう片方は月額の決まった個人エージェントが買い物と予約を引き受けにきた。同じ日、米国では制度の側が二つ動いている。デジタル資産の市場構造法は来週の採決で落ちる見込みだと与党側が語り、制裁は航空と個人向けの許可の両方へ広がった。

一次情報ハイライト

• OpenAIがナビエ・ストークスのミレニアム懸賞問題の解を公開した — エージェントの集団が、まだ公開されていない次世代モデルを使って導いたとしている。証明支援系での形式検証を経たと説明されている。
• Metaが個人向けエージェントMuseを公開した — 買い物・チケット・予約・書類の記入を代行するとしている。専用の仮想環境で動き、操作中の画面は利用者から見える。
• 上院共和党が、クラリティ法は来週の採決で通らない見込みだと語った — 議事進行動議は9月15日で変わっていない。必要な票は60、共和党は53議席にとどまる。
• ラミス議員が、クラリティ法は銀行委員会で15対9の超党派で可決されたと投稿した
• 米財務省が、イランの航空分野を中心に36の対象を指定した — うち27はイランの航空会社とされる。同じ日に、教育・送金・学術交流に関わる一般ライセンスが停止された。
• イランがホルムズ海峡で米国の無人機を拿捕したと主張した — 米側は機体が故障したものだと説明している。双方の説明が並んだ段階にある。
• サークルが、独自チェーンArcのメインネットを9月16日に稼働させると告知した
• 米連邦準備制度が7月の消費者信用を公表した — 年率換算で4.2%増。伸びが大きいのは自動車や学生の借入にあたる非リボルビングのほうで、カード残高の伸びは鈍い。
• Cardanoが、台帳の規則は機械が検査し主要な性質を形式的に検証していると説明した — 取引の前後で価値が勝手に増減しないことも、その検証の対象に含まれるとしている。
• IOGが、AIエージェントの執行前にリスク上限を強制する構想を示した — 戦略そのものを見せずに、条件を守ったことだけを証明する設計だと説明している。
• Liqwidが、利用者の操作を既存の注文の流れと並べて原子的に実行できるようにしたと公開した
• World Labsが、空間を扱う世界モデルAtlasの早期アクセスの登録案内を出した

次の見どころ

• 9月15日の議事進行動議に向けて、倫理条項の文言が動くかどうか。日程は固定されている。
• 停止された一般ライセンスが、大学や個人送金の実務にどこから効いてくるか。
• 実行の前に条件を検査する設計が、構想の紹介から仕様や監査の言葉へ移るかどうか。