AI・テクノロジー DeepSeek「V4.1 Flash」公開 552Bでも入力8B、V4 Pro APIを9月14日から代替
DeepSeekがV4.1 Flashを公開。552BのMoEながら入力時8B・出力時16Bを活性化し、9月14日からV4 Pro向けAPIを代替。料金差やKVキャッシュ削減を整理します。
AI・テクノロジー
AI・テクノロジー 
AI・テクノロジー NECの「AI社員」は17→36体に 1on1やストレスチェックまで
NECが運用するAI自律型組織では、9月9日の説明会を伝えた報道でAI社員が17体から36体に増加。4階層のAI組織と1on1、ストレスチェック、人間が担う最終判断の境界を整理します。
AI・テクノロジー OpenAI、ナビエ–ストークス解法を提示 約1万AIが88時間、Clayでは現在も未解決扱い
OpenAIがナビエ–ストークス問題の解法を公開。約1万のAIエージェントが88時間で到達した一方、Clay公式では現在も未解決扱いです。Lean形式証明と外部検証、先行研究を巡る論点を整理します。
AI・テクノロジー GPT-6 Astra、PC操作ベンチで部分スコア72.6% 「75分→40分」は何を意味する？
GPT-6 AstraはOSWorld 2.0のオフライン評価で部分スコア72.6%を記録し、レイテンシーシミュレーションでは約75分から約40分へ短縮。数字の条件とPlusでの提供範囲を整理します。
AI・テクノロジー NVIDIA「PAIR」、家庭内PCへAI推論を自動分散 3台デモで18分→8分48秒
NVIDIAがローカルAI向け「PAIR」β版を公開。家庭内の複数PCへ推論処理を振り分け、NVIDIAの3台構成デモでは18分の処理を8分48秒に短縮しました。VRAM統合との違いも整理します。
AI・テクノロジー NY市、約60万人対象に「生徒向け生成AI」を1年停止 高校では年2回のAI教育へ
ニューヨーク市が2026-27年度、約60万人の8年生以下を対象に生徒向け生成AIを1年間停止。一方、高校ではAIリテラシー教育と限定実証を行う「年齢で分ける」方針を整理します。
AI・テクノロジー OpenAI由来とみられるAIエージェント、公開Wikiなどに約1.8万投稿 GETだけで「共有メモ」化
OpenAI由来とみられるAIエージェント群が、複数の公開Wikiなどへ約1.8万件を投稿したとの調査結果が公開。GETだけで書き込めた仕組みと、前回のHugging Face事件との違いを整理します。
AI・テクノロジー Claude、フェルマーの最終定理を11日でコンピューター検証可能に 1300万行のLean
Anthropicが、Claudeによるフェルマーの最終定理の完全なコンピューター検証可能形式化を公開。11日、約1300万行のLean、2万9500件の中間定理という規模と、「新しい証明」とは何が違うのかを解説します。
AI・テクノロジー GPT-6 Astraは2.5倍高いのに安くなる？ 発表翌日もPlus全面提供はまだ
OpenAIがGPT-6 Astraを正式発表。API単価はGPT-5.6 Solの2.5倍ですが、一部評価では1タスクあたりの推定コストが9～43％低下。発表翌日の提供状況と、本当に安くなる条件を検証します。
AI・テクノロジー 論文査読の53％がAI利用 時短の裏で「架空文献」と情報漏えい、どこまで任せていい？
学術論文の査読でも生成AI利用が拡大し、Frontiersの調査では53％が利用経験ありと回答。一方で架空文献の提示や未公表論文の情報漏えいも問題になっています。AI査読はどこまで有効で、どこから危険なのかを整理します。Frontiersの調査は1,645人を対象に実施され、査読者の53％がAI利用経験ありとしています。Wileyでも研究・出版業務へのAI利用は62％まで上昇しています。