News
主要ニュース
2026.10.23
「バグのないソフトウェア」の実現を目指してAnthropicが「AIを用いて数学的にバグがないことを証明する」という手法を開発
AIの高性能化によって、さまざまなソフトウェアのバグが大量に発見されており、PHPの緊急アップデートのように大きな影響を及ぼす事例も現れています。そんな中、AI企業のAnthropicが「ソフトウェアにバグがないことを形式的検証で証明する」という手法に取り組んでいることを明らかにしました。
2026.10.23
高騰・枯渇するAIインフラ確保に「循環型GPU」という選択肢--エクストリームーDらが新サービス
japan.zdnet.com
2026.10.23
リコージャパン、「RICOH オンプレLLMスターターキット」のサーバーレンタルプランを提供
japan.zdnet.com
2026.10.23
ウイングアーク1st、AIコストを抑制するデータ活用基盤「DataTetra」を提供
japan.zdnet.com
2026.10.23
MetaのAI秘書アプリ「Muse」日本上陸 米国で話題沸騰 スケジュール管理やメール送信も代行
japan.cnet.com
2026.10.23
Epic Games、AIエージェント活用ゲーム開発コンテスト開催を6本指のレッドピル・ミームで宣伝
techno-edge.net
2026.10.23
中国政府と関係するサイバー攻撃者が世界中の数百の組織に対してAIエージェント「ARTEX」を用いて攻撃を実施していたことがMicrosoftの調査で判明
gigazine.net
2026.10.23
MetaのパーソナルAIエージェント「Muse」、日本でスタート
watch.impress.co.jp
2026.10.23
「今日はリセットの日だ」ChatGPTが深夜に利用枠リセット
pc.watch.impress.co.jp
2026.10.23
ミスミ、ECサイトに掲載する数万点の商品情報を9つのAIエージェントで生成・分類
it.impress.co.jp
2026.10.23
既存ソフトウェアの改修もAIが対応可能に――NTTが新技術を発表
cloud.watch.impress.co.jp
2026.10.23
DeepSeekも狙う「安い電力、冷たい外気」 内モンゴルに集まる中国AI企業 - 36Kr Japan
36kr.jp
2026.10.22
OpenAIが「現場常駐エンジニア」チームを設立 — カスタムコード90%削減を実現した「デプロイメントギャップ」を埋める新職種
2026.10.22
企業の70%がAIに人間レビューなしの意思決定を委ねているが、半数以上は「自社AIが何をしたか把握できていない」— Illumio調査
2026.10.22
Otter.aiが株式を渡さずに3.2億ドルを調達 — Microsoft・Google・Zoomのバンドル製品に独立サービスとして挑む
2026.10.22
ChromeがGeminiでClickFix攻撃をクリップボード段階で検知 — コマンドをコピーした瞬間に警告を出す新機能が追加
2026.10.22
GMが車両開発期間を半減へ — AIと1台の中央コンピュータで80個超のECUを統合、2028年の次世代Escaladeから順次展開
2026.10.22
NvidiaがAIクラスターの現地構築を6ヶ月から14日に短縮するリファレンスアーキテクチャを発表 — ロボット・エージェント開発ツールも同時強化
2026.10.22
野放しのLLMが乗っ取られ、攻撃ツールに変わる — Symantecが捕捉した「10万ステップ自律攻撃エージェント」の全貌
2026.10.22
AIがAIを作った——研究サイクルを自動化するシステム「Eureka Machine」が4ヶ月で40BのMoEモデルを生み出すまで
2026.10.22
NVIDIAがAIエージェント向けセキュリティアーキテクチャ「OpenShell」を発表 — ハードウェアとソフトウェアを統合した制御基盤の全容