#ai

Googleは2026年2月12日、AIによる脆弱性検出を改善するパッチをOSS-FuzzとOpen Source Vulnerabilities向けに公開した。背景にはBig Sleepが検出したOpenSSLのCVE-2025-6965と、NVIDIA TritonのCVE-2025-23319という実運用事例がある。

数学者たちがAIシステムを対象とした新しい数学証明チャレンジを開始し、AIが答えだけでなく証明過程も明確に示せるかをテストしています。