- 2026年5月12日
AIの監査、「信じてください」から「数学的に確認できます」へ——GhostDrift、ADICの形式証明を公開
GhostDriftがADICの形式証明を公開したことで、AIの監査が「信じる」 […]
TAG
セキュリティ
- 2026年5月12日
Sysdig、AIエージェント時代に向けた新しいモデルHeadless Cloud Security Platformを発表
Sysdigが新たに発表したHeadless Cloud Security Pl […]
- 2026年5月12日
ベースマキナ、AIエージェントによる本番データ操作にガバナンスをあとづけする「AI SecureOps」の事前登録受付を開始
ベースマキナがAIエージェントによる本番データ操作にガバナンスを追加する「AI […]
- 2026年5月12日
AuthleteがAI・量子スタートアップJIJの数理最適化開発プラットフォームの認証・認可基盤に採用
AuthleteがAI・量子スタートアップJIJの数理最適化開発プラットフォーム […]
- 2026年5月11日
エリクソンとKDDI、AIアップリンク最適化のフィールドトライアルに成功、自律型ネットワークレベル4へ前進
エリクソンとKDDIがAIを活用したアップリンク最適化のフィールドトライアルに成 […]
- 2026年5月11日
ASCII.jp：AIラジオ、未来感やばっ！ NotebookLM元開発者たち、天才すぎる…
AIラジオアプリ「Huxe」が話題です。ユーザーの関心に基づき、パーソナルな音声 […]
- 2026年5月11日
アクセンチュアとAnthropic、日本でのAIに関する協業体制を本格始動 – ZDNET Japan
アクセンチュアとAnthropicの協業は、日本企業のAI導入を加速し、特にサイ […]
- 2026年5月11日
新技術：飛行中ドローンからAIで人や車を自動探知・自動停止（筑波大学発ベンチャーAeroFlex）
筑波大学発のベンチャーAeroFlexが開発した新技術により、飛行中のドローンが […]
- 2026年5月11日
AI時代に拡大するセキュリティボトルネックとその解消に向けた第一歩 – ZDNET Japan
AIによるコード生成の普及は開発スピードを加速させる一方で、セキュリティボトルネ […]