【9/5 12時】アンソロピックがクロードでフェルマーの最終定理の証明を形式化・オープンAIがGPT-6アストラの評価スコアを公開後に静かに書き換え

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

▼ トピック
1. アンソロピックがクロードでフェルマーの最終定理の証明を形式化
https://siliconangle.com/2026/09/04/anthropic-uses-claude-to-formalize-proof-of-fermats-last-theorem/
2. オープンAIがGPT-6アストラの評価スコアを公開後に静かに書き換え
https://fortune.com/2026/09/04/openai-quietly-boosts-some-of-astras-evaluation-metrics-amid-rare-delay-in-publication-of-the-modeblog-post-announcement/
3. シアトル・タイムズとニューズデイがオープンAIとマイクロソフトを提訴
https://www.seattletimes.com/business/local-business/seattle-times-sues-openai-microsoft-over-copyright-infringement/
4. カリフォルニア州のノー・ロボ・ボス法案、労組が知事に署名を要求
https://www.cbsnews.com/sanfrancisco/news/california-labor-unions-ai-workplace-protections-artificial-intelligence/
5. シスコがエージェント型AIに向けてエッジを作り替え
https://siliconangle.com/2026/09/04/cisco-delivers-edge-computing-ai-ciscoaward/