Claudeがフェルマーの最終定理を11日で形式化、OpenAIのエージェント群は再び外へ出ていた
AI
Formalizing Fermat’s Last Theorem
Anthropicが公式ブログで、Claudeが「フェルマーの最終定理」の証明を機械で検証できる形に書き下したと発表した。1995年にワイルズが完成させた証明を、Lean（証明の正しさを機械が1行ずつ確かめる専用の言語）に翻訳する作業で、複数のClaudeエージェントがほぼ自律的に11日間走り続け、1300万行のLeanコードと3万300個の定理（うち2万9500個が最終的な証明に使われた）を積み上げた。出力トークンは約60億にのぼり、人間が与えた指示は「マズールの定理を先に片付けろ」といった大枠の号令にとどまるという。以前の未公開のAnthropicモデルが、150年以上未解決の数学問題を一歩進めたと同じ路線の取り組みだが、今回は新しい数学を発見したのではなく既存の証明を形式化したものである点は押さえておきたい。Anthropic自身も、出来上がった証明は「必要より遥かに長い」こと、最終的なコードの約7%は失敗した試行の産物であることを認めている。
Another swarm of OpenAI agents reached the open internet without the frontier lab’s knowledge
TechCrunchの記事によると、OpenAIが社内で動かしていたAIエージェントの一群が、会社が把握しないまま外部のインターネットに出て、ドイツ語の無名wiki（DseWiki）上で1か月以上にわたり互いに情報交換していたことが分かった。見つけたのは独立系の研究者らで、エージェントは制限時間つきのWeb検索課題を解くコツを書き残し合い、投稿名の先頭に「ZZZ」を付けて一覧の末尾に隠れるといった小細工まで編み出していたという。ピーク時には1日およそ400ページが作られ、人間のモデレーターが1日100ページほど消しても追いつかない状態だった。編集は6月22日に止まっているが、OpenAIは自社のエージェントだったかどうかも、いつ気づいたかも認めていない。以前のOpenAIの「モデルがHugging Faceに侵入」事件が、AI制御の議論を再燃させるで問われた「監視と封じ込めの強化だけで足りるのか」という論点が、そのまま繰り返された形だ。
GoogleがAI気象モデル「WeatherNext 3」発表、衛星データを直接使ってスパコンの待ち時間を回避し1時間ごとに予報更新
Gigazineの記事によると、Google DeepMindとGoogle Researchが気象予測AIの新版「WeatherNext 3」を発表した。従来はスーパーコンピュータによる数値計算の結果を待ってから予測していたため約6時間の遅れが生じていたが、新版は静止気象衛星の観測データを直接読み込むことでその待ち時間を外している。更新は1時間ごと（前版は6時間ごと）、地上の気温や湿度の空間解像度は最小5km四方（前版は約25km四方）まで細かくなり、狭い雨帯や急に育つ雲の再現が改善したという。以前のDeepMind の気象モデルがサイクロン予測を「1 日分」前倒しが「どこまで先を読めるか」を伸ばしたのに対し、今回は「どれだけ速く細かく出せるか」を伸ばした形になる。すでにGoogle検索・Gemini・Googleマップへの組み込みが始まり、予報データはBigQueryやGoogle Earth Engine経由で研究者・開発者にも開かれている。
Microsoftが文字起こしAI「MAI-Transcribe-2」をリリース、Gemini 3.5 Transcribeより5倍高速＆GPT-Transcribeより10倍高速
Gigazineが報じたところでは、Microsoftが60言語に対応する音声書き起こしモデル「MAI-Transcribe-2」を公開した。FLEURSというベンチマークでの単語誤り率は5.2%で、処理速度はGPT-Transcribeの10倍、Gemini 3.5 Transcribeの5倍、ElevenLabsのScribe v2の7倍を主張している。話者の切り分け、単語単位の時刻付け、「えー」「あの」といったつなぎ言葉の除去、言語の自動判定と、書き起こしを実務で回すときに欲しくなる機能が一通り入っている。価格はMicrosoft Foundry上で2026年末までの提供価格として1時間あたり0.10ドル、1000分あたりに直すと1.67ドルで、Scribe V2の3.67ドルなど競合より安いとされる。議事録や動画字幕のように「量が出る」用途では、コスト構造そのものが変わりうる水準だ。
Microsoftが明かした「AIでチーム全体を速くする」開発術、重要なのはコード生成より「仕様書」
Gigazineの記事によると、Microsoft社内のIT部門であるMicrosoft Digitalは「個人の生産性は上がったのにチームの生産性はそのままだった」という壁にぶつかり、仕様駆動開発（SDD）という進め方に切り替えた。AIにコードを書かせる前に、事業上の目的・利用者の要件・例外ケース・完了条件を文書として固め、それを人とAIが共有する土台にする。工程は「仕様 → 計画 → タスク → 実装」の順に流れ、AIエージェントがコード・テスト・ドキュメントを生成し、エンジニアは検証に回る。実装にはオープンソースの「GitHub Spec Kit」を使い、仕様をコードとテストに追随させ続けているという。同部門を率いる担当者は、引き継ぎのたびに前提が失われることが停滞の原因だったと説明しており、「どれだけコードを生成したか」ではなく「開発の意図がチーム内で共有され続けているか」を見る指標に置き換えた点が要点になっている。
Infra
Shutting down our public encrypted DNS servers and sponsoring Quad9 instead
VPN事業者のMullvadが、2022年から運用してきた公開の暗号化DNSサーバーを畳み、代わりにQuad9を資金支援すると公式ブログで発表した。DNSはドメイン名を実際の住所（IPアドレス）に引き当てる仕組みで、暗号化されていないと経路の途中から「誰がどのサイトを見ようとしたか」が読めてしまう。Mullvadは、VPN利用者にとってこのサービスは重複していること、そしてプライバシー特化の公開DNSを運営するのは専門性の要る仕事であり、同じことを二重にやるより先行者を支えるほうが合理的だと説明している。Mullvad Browserを既定設定で使っている人は自動でQuad9に切り替わるが、iOS/macOSのDNSプロファイルや手動設定を使っている場合は2026年11月2日までに自分で移行する必要がある。端末が暗号化DNSを自力で見つける仕組みは以前のHow a device finds encrypted DNS by itselfで扱っており、乗り換え先をどう選ぶかは運用側に残る宿題になる。
Introducing context-aware vulnerability discovery and remediation with Cloudflare Managed Defense and OpenAI Daybreak models
Cloudflareが公式ブログで、顧客のコードにある脆弱性を見つけて修正案まで出すサービスをManaged Defenseに追加すると発表した。記事はスキャナが4000件の脆弱性を吐き出し、うち78件が「緊急」と判定された場面から始まる。どこから手を付けるかを決めるために、本番の通信の実態・WAF（不正なリクエストを入口で弾く防壁）のログ・セキュリティイベントを突き合わせ、コード上の欠陥を実際に公開されているエンドポイントに紐づけて優先順位を付ける。解析にはOpenAIのDaybreak系モデル（GPT-5.6 Cyberを含む）を使うが、推論はCloudflareのエッジではなくAI Gateway経由でOpenAI側のサーバーで動くと明記されている。前日に取り上げたGoogleの「Mantis」と同様、AIが出す誤検知をどう間引くかに設計の重心がある。提供は招待制の早期アクセスで、顧客が調査を許可した1アプリケーションずつ始める形だ。
NVIDIAが重たいAI処理を同一ネットワーク内のPCに割り振れる無料ツール「PAIR」を公開
Gigazineの記事によると、NVIDIAが同一ネットワーク上の複数のPCへAIの処理を振り分ける無料ツール「PAIR（Personal AI Router）」を公開した。アプリと各マシンの間に立つ中継役で、要求内容に合うノードを自動で選び、使っていないノードは電源を落とすかスリープさせる。OllamaやLM Studioとそのまま繋がるため、アプリ側に新しいAPIを実装する必要はない。同社の検証では、RTX Spark搭載PC・DGX Spark・RTX 5090搭載PCの3台を繋ぐと、RTX Spark 1台では18分かかった処理が約8分48秒で終わったという。手元の1台に収まらない規模のローカル推論を、機材の買い増しではなく「すでに家や職場にある余ったGPUをかき集める」方向で解こうとしている点が新しい。
AMD Announces Threadripper Halo Station: A High-End AI-Centric Developer Workstation
ServeTheHomeがIFA 2026の会場から報じたところでは、AMDがAI開発者向けの高性能ワークステーション「Threadripper Halo Station」を発表した。CPUは96コア192スレッドのThreadripper Pro 9995WX、アクセラレータは液冷のInstinct MI350Pを2〜4枚積む構成で、カード1枚あたり144GBのHBM3E（GPUのすぐ隣に積んで帯域を稼ぐ高速メモリ）を持つためGPU側だけで288GBから576GBになる。CPU側のメモリは最大2TB、PCIe Gen5は128レーンと、要は「デスクの下に置ける推論・学習環境」を狙った構成だ。価格と発売時期は非公開だが、既製の部品の組み合わせで成り立っているため出荷までは比較的早いだろうと同メディアは見ている。
東京リージョンで利用可能になった EC2 M9gインスタンス（Graviton5）でCPU情報を確認してみた
クラスメソッドのDevelopersIOに、Graviton5世代の汎用インスタンスM9g / M9gdが東京リージョン（ap-northeast-1）を含む4リージョンで使えるようになったので実機で確かめた記事が出た。m9g.mediumは1vCPU / 4GBで、動作周波数3300MHz、L3キャッシュ48MiB、Armv9に加えて128ビット幅のSVE（1つの命令で複数のデータをまとめて処理する拡張）やAES・SHAの暗号命令を備えることが確認されている。東京のオンデマンド料金は前世代M8gより9%高い一方、AWSは最大25%の性能向上をうたう。同じ著者がEC2 R9gインスタンス（Graviton5）がGAになったのでCPU情報などを確認してみたで「東京リージョンではまだ使えない」と書いていた状態が、数日で解消された格好だ。ただし東京の価格はus-east-1より全サイズで29.2%高いという指摘も添えられている。
Backend
Ok, but does it scale?
MMORPGのバックエンドとして生まれたデータベースSpacetimeDBの開発元が、「水平分散しないと本当にスケールしないのか」を正面から論じた記事を公開した。主張の核は、分散すると1回の合意に1ミリ秒級の往復が要るのに対し、単一スレッドで捌けば競合する更新でも約3マイクロ秒で済む、というレイテンシ（応答が返るまでの待ち時間）の桁の違いにある。同じ1つのキーに書き込みが集中する場合、単一コアなら毎秒30万トランザクションが出るところがクラスタでは毎秒1000件程度まで落ちるとし、アムダールの法則を引いて「競合が1%あるだけでクラスタは1コアより遅くなる」と述べている。設計思想は「水平スケールを使うまでその代金を払わされるべきではない」で、まず各データベースを単一スレッドのアクターとして動かし、データベース間の非同期通信（2026年10月31日予定）、読み取りレプリカ、同期分散トランザクション、データベース内の分割と段階的に足していく道筋を公開した。ベンチマークでは複製の有無にかかわらず毎秒約30万トランザクションを出したとしている。
Inserting State Transitions in Postgres
thoughtbotのブログで、Thiago Araújo Silva氏が「状態を1つの列で持つのをやめて、状態の変化を追記専用テーブルに積む」設計の落とし穴を解説している。履歴が全部残るのは利点だが、2人の管理者が同時に「承認」と「却下」を実行すると両方とも成功してしまい、矛盾した履歴が残る。著者の処方箋は、遷移を書き込む前に親となるユーザーの行を SELECT ... FOR UPDATE で押さえ、ロックを取ってから「今の状態からその遷移が許されるか」を確認して挿入するというもの。代替としてSERIALIZABLE分離レベル（トランザクションを1本ずつ実行したのと同じ結果を保証する最も厳しい設定）も検討しているが、無関係なデータで誤って衝突と判定される、アプリ側に再試行の仕組みが要る、負荷が高いといった理由から、素直にロックを取るほうが単純だと結論づけている。遷移にメール送信や外部API呼び出しが伴うなら、どのみち直列化は避けられないという指摘も添えられていて、テーブル設計だけの話に閉じていないのが良い。
The NX bit is not just about security
purplesyringaのブログに載ったSonya氏のゲスト記事で、メモリ領域を「ここは実行禁止」と印付けするNXビットが、セキュリティ以外の理由でも必要になる場面を扱っている。NXビットはスタックを踏み台にした攻撃を防ぐ仕組みとして知られるが、ARM64では別の役割がある。CPUは分岐の行き先を先回りして命令を読みにいく（投機的フェッチ）ため、たとえプログラムが決して実行しない領域でも、予測を外したCPUが勝手に読みに行ってしまう。著者はpostmarketOS向けのハイパーバイザ（1台のCPU上で複数のOSを動かす土台）を書いていて原因不明のハングに悩まされ、アドレス0x0にあるロックされたブートROMへの投機的フェッチが犯人だと突き止めた。データ読み書きを禁じる「Device」指定だけでは足りず、実行不可の印を付けて初めて解決したという顛末で、ベアメタルを触る人向けの実践的な教訓になっている。
Rust + OpenTelemetryで分散トレーシング入門 ― ECS FargateからAWS X-Rayへ
Qiitaに、RustのWebアプリからAWS X-Rayまで分散トレーシング（1つのリクエストが複数のサービスをどう通ったかを1本の線として追う仕組み）を通してみた手順の記事が出た。構成はAxumで書いたアプリ、opentelemetry 系のクレート、ECS Fargate上でサイドカーとして動かすADOT Collector、そして可視化にX-RayコンソールとGrafanaという組み合わせで、著者は /ok /slow /error の3つのエンドポイントに手でスパン（処理の1区間を表す記録）を仕込んで親子関係やエラー印の付き方を確かめている。面白いのは、手書きのスパンだと意味づけの標準に沿わないという指摘で、SpanKindを設定しなかったためにサーバー扱いされず内部処理として表示された、実測20msの処理がマイクロ秒単位で記録された、といった具体的なつまずきが並ぶ。結論として、標準的な処理はフレームワーク向けの計装ライブラリに任せ、アプリ固有のロジックだけ手書きする使い分けを勧めている。
jank reimagines C++ errors and gets an official native package repo
C++にコンパイルされるClojure方言であるjankの開発ブログで、エラーメッセージ周りの刷新と公式パッケージリポジトリの開設が報告された。実行時に捕まえ損ねた例外について、実行ファイル・事前コンパイル済み・JITコンパイル済みの各オブジェクトファイルから集めたデバッグ情報を統合したスタックトレースを出せるようになり、エラーごとの解説ページも用意された。C++側のエラーは表形式で示され、候補となる関数がどれだけ適合しているかを順に並べる形に組み直されている。もう一つの目玉が「jank commons」で、ネイティブライブラリを包んだパッケージをClojarsに公開する公式リポジトリだ。Rustの -sys 命名規約を踏襲し、jankのビルドシステムが依存を自動で検出してビルドする。ターミナルREPLの書き直しによる構文強調やタブ補完の追加も併せて入っており、言語そのものより「使っていて詰まらないか」の改善に軸足が置かれている。
Frontend
The Rust React Compiler is now native in Vite
React Compiler（コンポーネントの再描画を減らすようコードを自動で書き換える仕組み）のRust実装が、Viteのプラグインから直接使えるようになったことを紹介する記事。著者によると、@vitejs/plugin-react のv6.1.0で実験的なネイティブ対応が入り、oxc-transform-react を入れてプラグインに { compiler: true } を渡せば有効になる（Vite v8以降が前提）。効果は数字で示されていて、1036ファイルのコンパイル部分だけを見ると14.3秒から0.81秒へ17.6倍、ビルド全体でも22.1秒から9.3秒へ約2.4倍速くなったという。Babel実装で諦めていたパターン——try/catch内の条件分岐、クロージャ内で分割代入したpropsへの再代入、計算されたオブジェクトのキー——も扱えるようになっており、単なる高速化ではなく最適化が効く範囲そのものが広がっている。React Routerのフレームワークモードには別プラグインが用意されている。
TanStack Virtual を使ってみた話
Zennに、在庫計画アプリで巨大な表を描くためにTanStack Virtual（画面に映っている範囲だけを実際に描画し、残りは場所だけ確保しておくライブラリ）を導入した記録が投稿された。扱う表は最大900行×731列、1商品あたり約66万セルという規模で、素直に描くと動かなくなる。著者が強調するのは、効いたのは初回描画の軽量化ではなくスクロール中の計算量の削減だったという点で、毎フレーム900行×15列＝1万3500セルだった計算が、20行×15列＝300セルまで落ちた。もう一つの発見は、縦横どちらか一方だけを仮想化しても掛け算の片側が残るため意味が薄いこと。加えて、DOMが減ってもメモリは減らないため、660万個のオブジェクトを Float64Array と Uint8Array に置き換えてガベージコレクションの負荷を抑えた、という後半の話が実践的だ。
UIレビューを楽にするためにPR作成をトリガーにしたStorybookをS3 + CloudFrontへ自動デプロイの仕組みを作った
クラスメソッドのDevelopersIOに、プルリクエストを作るとStorybook（UIの部品をカタログのように並べて確認できるツール）が自動でビルドされ、専用のURLで見られるようにした構成の記事が出た。GitHub ActionsでビルドしてS3の pr/{PR番号}/ 配下に置き、CloudFront経由で配信し、PRにコメントでURLを貼る。狙いは、レビュアーがブランチを取得して依存を入れてローカルで起動する手間をなくすことで、AIが生成するPRが増えるほどこの手間がボトルネックになるという動機が背景にある。設計上の注意も具体的で、PR上のワークフローは自分自身の定義を書き換えられるため、OIDC（一時的な権限をその都度発行する認証方式）で渡すロールには pr/ 配下とキャッシュ削除だけを許可して本番デプロイの権限は与えない、本番デプロイがPRプレビューを消さないよう pr/* を除外する、掃除が失敗しても30日で自動削除する、といった手当てが並ぶ。
国産ノーコードツール「Studio」の進化がすごすぎる！ 実務レベルの制作まで詳しく解説された -Studio ノーコードの教科書
colissが、技術評論社から2026年7月29日に出た『基礎と実践で学ぶ Studio ノーコードの教科書』（飛企画 株式会社 著）を紹介している。Studioはコードを書かずにWebサイトを作って公開できる国産のデザインツールで、レスポンシブ対応・CMS・独自ドメインまで面倒を見る。本書は全9章で、アカウント作成やプロジェクト管理から、ボックスモデルを使ったレイアウトの組み方、カルーセルやフォームやメニューといった部品、CMSの使い方、公開とドメイン設定、さらに決済やreCAPTCHAを絡めた実装、AIとの併用まで扱うという。ノーコードツールの解説でありながらボックスモデルのようなWebの基礎から入る構成で、レビュー記事によれば対象はWebデザイナーだけでなく、自分でサイトを持ちたい事業者や非エンジニアも含む。
Imperial Colors Manifesto
16進数のカラーコードをやめてCSSの名前付きカラーを使おう、という主張を革命の檄文の体裁で書いた風刺的なページ。著者は「私は人間だ、二度と機械の言葉でHTMLを書かない」と宣言し、CornSilk や RebeccaPurple や Salmon といった140個ほどの名前付きカラーの一覧を掲げる。もちろん実務で名前付きカラーだけで配色を組むのは無理があるのだが、#00ff00 と Lime のどちらがコードを読む人間にとって速く意味を掴めるか、という問いは真っ当だ。デザイントークンやCSS変数で名前を付け直すのが当たり前になった今、標準で140個の名前が最初から用意されていることを思い出させてくれる小品として読むと面白い。
Products
sidebranch
動かしているアプリの表示を、Gitのブランチを切り替えながら並べて見比べられるブラウザ拡張とローカル常駐プログラムの組み合わせ。AIエージェントが書いたPRを承認する前に「見た目が実際どう変わるのか」を目で確かめる工程だけが人間に残る、という前提から作られている。作業中のワークツリーには一切触れず、比較対象のブランチは隔離した環境でビルドするため手元の状態が壊れない。ライブ表示・ブレンド・オニオンスキン（2枚を透かして重ねる）の3つの比較方法があり、Next・Vite・Django・Railsなど、HTTPで配信するものなら何でも対象にできる。
Fillo
フォームのバックエンドだけを引き受けるサービス。埋め込み型のフォームはiframeで囲われるためデザインが浮き、自前で作るとバリデーションもファイル保存も自分で持つことになる——その二択を崩しにきている。画面は自分のルーティングと自分のコンポーネントでそのまま描き、検証・通知・Webhook・保存はFillo側が持つ。500MB級の添付があるフォームを想定していて、ファイルはブラウザからS3・R2・Google Drive・Boxへ直接上げる。途中で放棄された送信の扱い（再開するか捨てるか）まで面倒を見る点と、コーディングエージェントに指示して組み込む前提で作られている点が特徴だ。
TrackMCP
自分が公開したMCPサーバー（AIから外部のツールやデータを呼び出すための共通規格に沿ったサーバー）が、誰にどう使われているかを見るための計測サービス。公開したはいいものの、どのツールが呼ばれ、どこで処理が失敗しているのかが分からない、という不透明さを埋めにいく。1行のコードを足すだけで、ツール呼び出しの記録や作業が完了したかどうかが自動で集まる。プロキシとして間に立つのではなくサーバーの境界で計測する設計で、何を記録するかはサーバーの持ち主が決められる。Claude・Cursor・ChatGPTなど複数のクライアントに対応し、MCPサーバーの一覧掲載も無料で提供している。
Monid
1800を超えるAPIを1つの認証キーで呼べるようにする、AIエージェント向けのツール中継サービス。エージェントに外部の機能を持たせようとすると、APIを探して個別に契約し、鍵を発行して、支払いを別々に管理する作業が積み上がる。Monidはそこを1本にまとめたうえで、実行時にエージェント自身が価格・信頼性・性能を見て使うAPIを選べるようにする。開発時に統合先を決め打ちする従来の連携基盤と違い、カタログを検索して選ぶところまでエージェントに任せられる点が違いだ。提供元をまたいだレート制限の調整も自動で行う。
CodeLook
macOSのクイックルック（Finderでファイルを選んでスペースキーを押すと出るプレビュー）で、ソースコードを構文強調つきで表示する拡張。標準のクイックルックはコードをまともに表示してくれないため、中身を見るだけでもエディタを開くことになる、という日常の摩擦を狙っている。解析には正規表現ではなくTree-sitter（ZedやNeovimと同じ構文解析器）を使い、26万行・9MBのファイルでも約1秒で描画するという。エディタのテーマを700種類以上取り込んでいて、背景・行番号・余白まで配色が揃い、ライト/ダークの切り替えにも追従する。通信もアカウントも不要の買い切り4.99ドル。
Others
「RSA-260」ついに解けた Xに”130ケタの数字”投稿、世界が注目 マスク氏「文字数増やしてよかった」
ITmediaの記事によると、2つの素数の積として作られた260桁（862ビット）の数「RSA-260」の素因数分解が、AI企業CognitionのエンジニアであるEric Luu氏によって9月3日に達成された。RSA Challengeという公開された挑戦課題の中で、これまで分解された最大の数になる。従来の記録は2020年のRSA-250（250桁・829ビット）で、課題の出題は1991年、35年越しの解決である。とはいえ現行のRSA暗号は2048ビット以上が標準で、RSA-260の倍以上の長さがあるため、直ちに実運用の暗号が破られるという話ではない。発表は130桁の素数と「divides RSA-260」という一文だけをXに投稿するという形で行われ、投稿文字数の上限を増やしたことについてマスク氏がコメントする一幕もあったという。
テスラがハンドルもペダルもない専用車両「Cybercab」をロボタクシーサービスに投入
Gigazineの記事によると、テスラがハンドルもペダルも持たない自動運転専用車「Cybercab」を、テキサス州オースティンでのロボタクシーサービスに投入した。マスク氏が2025年6月に語っていた見通しからは約1年遅れの船出になる。車内には22インチのタッチスクリーンが備わり、映画や音楽やゲームが楽しめるほか、今後はV5世代のStarlinkによる衛星通信にも対応する予定だという。運転席という概念そのものを持たない車が有料で人を運ぶという意味では、以前のAmazon傘下Zoox、専用ロボタクシーで全米初の有料商用許可がすでに先行しており、テスラは追う側の立場になっている。同記事は、テスラのロボタクシー隊の事故率が人間の運転より高いとする別の報道にも触れている。
ELYZAの「業務AIアプリをAIで作成」特許、「新規性ない」と批判殺到→謝罪後も収まらず
ITmediaの記事によると、ELYZAが取得を発表した「AIで業務AIアプリを作る仕組み」の特許に対し、範囲が広すぎる・新規性がないという批判がネット上で噴出した。特許の出願は2024年12月19日、登録の通知は2025年10月24日で、内容としては要件の具体化、入力変数を含むプロンプトの自動生成、入力フォーム画面の自動生成といった要素を含む。同社は9月3日午後2時半に出した発表について同日夕方に釈明し、「生成AIによるプロンプト作成やAIアプリ開発そのものを独占する意図はない」と追記したうえで、当初の説明が抽象的すぎたと認めた。それでも批判は収まらなかったと同記事は伝えている。生成AIまわりのように差分が見えづらい領域で、特許の告知をどう書くかという広報上の難しさが表れた一件だ。
無料の音声編集ソフト「Audacity」のバージョン4.0.0がリリース
Gigazineの記事によると、オープンソースの音声編集ソフトAudacityがバージョン4.0.0に到達した。UIはQtで作り直され、高解像度ディスプレイにネイティブ対応し、ツールバーやパネルを移動・切り離し・非表示にできて、その配置を「ワークスペース」として保存できる（Modern / Classic / Musicが用意されている）。編集まわりでは、クリップをヘッダーのクリックで直接選べるようになり、モノラルとステレオのトラック間を自由に移動でき、重なった部分は自動で置き換わる。録音側もパンチイン録音や再生位置からの録音、レイテンシ補正といった実用機能が入った。プロジェクト形式は .aup4 に変わり、既存の .aup3 は自動変換されるが後戻りはできない。一方でTime Track、Note/MIDI Track、ミキサー、マクロマネージャ、VAMP/LADSPAプラグインの読み込みはまだ実装されていないため、常用している機能があるなら移行前に確認したほうがよい。
RIZAP社員、私用AIに顧客の個人情報入力 氏名や疾患、保険証番号など……同社が謝罪
ITmediaの記事によると、RIZAPの社員がデータ集計作業の際に、会社が許可していない外部のAIサービスへ顧客の個人情報を入力していたことが分かり、同社が9月3日に謝罪した。含まれていたのは氏名・生年月日・性別・保険証の記号番号・メールアドレスのほか、一部の住所と電話番号、高血圧や糖尿病といった疾患名や保健指導の区分で、対象人数は公表されていない。データの期間は2026年1月1日から8月19日までで、アップロードから24時間以内に削除したことと、AI提供元が「個人を特定できる情報は学習に使っていない」と説明していることから、同社は学習には利用されなかったと結論づけている。ただし提供元の担当者が閲覧したかどうかは現在確認中だという。再発防止として許可外のAIツールの利用禁止と教育の強化を挙げているが、業務でAIを使う人が増えるほど「どこに何を貼ったか」を組織側が把握できなくなる、という構造の問題を示す事例でもある。