【10/23 9時】アンソロピック、クロードでオープンソース123ライブラリの安全性を数学的に証明、何兆回のテストをすり抜けたバグも発見…

10月23日 9時のAI速報をお届けします。

▼ トピック
1. アンソロピック、クロードでオープンソース123ライブラリの安全性を数学的に証明、何兆回のテストをすり抜けたバグも発見
https://www.anthropic.com/research/formal-verification
2. エッツィー、AIで作ったレシピや編み物の型紙などの販売を禁止、実物の写真の掲載も義務づけ
https://www.cnbc.com/2026/10/22/etsy-bans-ai-generated-recipes-patterns-from-its-online-marketplace.html
3. 米控訴裁、AIの誤りを含む命令を出した判事を事件から外す、ミシシッピ州の反DEI法めぐる訴訟
https://www.reuters.com/legal/government/appeals-court-lifts-block-mississippis-dei-ban-ejects-judge-over-ai-errors-2026-10-22/
4. AIエージェントの標準を管理する財団に4つのプロジェクトが加入、アンソロピックのスキル規格やオープンAIのAPI仕様など
https://siliconangle.com/2026/10/22/agentic-ai-foundation-adds-four-more-open-source-ai-tools/
5. 米EVメーカーのリビアン、映像から3Dの世界を作るイギリスのAI新興企業を買収、自動運転の模擬試験に活用
https://techcrunch.com/2026/10/22/rivian-buys-world-model-startup-to-accelerate-self-driving-ambitions/