の検索結果 形式検証
AI & Enterprise
Microsoft、AI時代の防御戦略見直し パッチ偏重からセキュア開発重視へ
Microsoftは、AIの普及で攻撃能力の希少性が低下し、従来のパッチ中心の防御には限界があるとして、対策の軸をセキュアなソフトウェア開発へ移す必要があると訴えた。
AI & Enterprise
OpenAIの非公開モデル「Astra」、未解決問題10件で新成果 Lean 4の証明も公開
OpenAIの非公開モデル「Astra」が、数学・理論計算機科学の未解決問題10件で新たな結果を示した。Lean 4による形式証明もGitHubで公開したが、学術的な妥当性は今後の検証を待つ必要がある。
AI & Enterprise
NVIDIA、次世代CPU・GPU設計に「NVIDIA Vera CPU」採用 CadenceとSynopsysのEDAを最適化
NVIDIAは、次世代CPU・GPUの設計に「NVIDIA Vera CPU」を採用し、Cadence、Synopsysと連携して主要EDAアプリケーションを最適化した。初期テストでは、検証・シミュレーションで最大1.5倍の性能向上を確認した。
