Audit
トピックアーカイブ • 3 件
AI生成：要約はリンク先の情報源をもとにAIが作成しています。 AIの利用について
2026-10-16
テクノロジー
Anthropicは非営利団体METRのチームに、自社のAIモデルと安全性慣行をレビューするための内部アクセスを提供した。この動きは、AnthropicがAI開発の外部監視を提供するための継続的な取り組みの一環である。
AI安全性 • The Decoder
パーマリンク
2026-10-05
ヒント
生産性
コーディングエージェントがLLMに送信するコンテキストを監査し、必要な情報のみが含まれるようにして、効率とプライバシーを向上させます。
パーマリンク
2026-10-07
テクノロジー
11個の正方形の最適なパッキングに関するAI支援による証明が、Leanによる形式的検証に合格した。完了したEvolvingPrograms検証実行は、7,920個すべてのローカルLeanモジュールを受け入れ、最終監査ではゼロ件の受理が報告された。
AI研究 • Hacker News
パーマリンク