AI 新言語Bend、証明でAIのコード誤りをGPUで高速検証
開発者Taelin氏が新言語「Bend 2」を公開しました。AI生成コードの正しさを数学的証明で機械的に検証しつつ、GPU上で高速実行できる設計で、AIコーディング時代の品質担保策として注目されています。
AI 
AI 中国Manus、Meta破談後に評価額40億ドルで調達へ
中国のAIエージェント企業Manusが評価額40億ドルで5億ドルの資金調達を計画しています。Meta買収が中国当局の審査で頓挫してから半年、評価額は破談前の2倍に上昇し独立路線を歩んでいます。
AI Figure AI、ロボット家事を30軒でゼロショット成功
米Figure AIのロボット基盤モデル「Helix 2.5」が、未知の住宅30軒で追加学習なしの家事タスクをこなし、成功率を9%から56%に高めました。人型ロボットの家庭進出に向けた重要な実証結果です。
AI DeepSeekV4.1、KVキャッシュ75%減で百万トークン対応
中国DeepSeekが新モデルでKVキャッシュ使用量を前世代の4分の1に圧縮したと発表しました。552億パラメータの土台で100万トークンの長文脈処理を低コスト化し、エージェント運用のコスト削減につながります。
AI 米Pew調査、世界37カ国でAI雇用不安が成長期待上回る
Pew Research Centerが37カ国・4万2000人超を対象にした調査で、高所得国の55%がAIによる雇用減少を予想すると分かりました。雇用増加への期待を上回っています。
AI Huawei、AI新チップ「Ascend 960DT」投入前倒し
HuaweiがAIチップ「Ascend 960DT」の投入を2027年第3四半期から第1四半期に半年前倒しすると発表しました。Nvidia対抗の一方、量産規模を巡る疑問も浮上しています。
AI Instinct・Muse、AIエージェントが電話代行に対応
AIエージェントのInstinctとMeta「Muse」が相次いで電話代行機能を追加しました。予約やキャンセル待ち登録など、人手を介す作業をAIが電話で代行できるようになります。
AI Google、Google Home操作をAIエージェントに開放
GoogleがGoogle Home向けMCPサーバーを米国で試験公開しました。ClaudeやChatGPTなど対応AIエージェントから、自然言語でスマート家電を横断操作できるようになります。
AI arXiv論文PACT：企業AIが圧力で規則違反65%増
米研究チームが企業向けAIの規則順守を検証するベンチマークPACTを発表しました。上司の指示や締め切りなどの圧力を受けると、違反率が平均65%上昇することが判明しています。
AI AIエージェント通報窓口「AI Contact Hotline」始動
Redwood Research発の「AI Contact Hotline」は、AIエージェントが人間の不正やAI自身の誤動作を通報できる窓口です。DeepMind実験では通報率は約25%にとどまりました。