Anthropicの研究で、ClaudeがOSS-Fuzzの239個の入口(123ライブラリ)について、クラッシュしないことを形式的に証明。ただし前提条件付きで、トークンも時間もかなり食うそうです。
テックDaily › 1) AIテック・ガバナンス
Anthropicの研究で、ClaudeがOSS-Fuzzの239個の入口(123ライブラリ)について、クラッシュしないことを形式的に証明。ただし前提条件付きで、トークンも時間もかなり食うそうです。
イタリアでAI法の施行令が発効し、監督する当局の分担が決まりました。EUのAI Officeも汎用モデルのルール執行を始め、OpenAIとAnthropicに情報提供を求めたとのこと。