【9月6日】今日のAIニュース 3選
リアクション
2026年09月06日
Anthropicが、Claude（Mythos Preview）を使いフェルマーの最終定理をLean 4で完全に形式化し、数学界初の快挙を達成しました。
Anthropicが、Python向けSDKの最新版v1.4.0を公開し、Claude Tagのカテゴリー別・ユーザー別レポートなどを追加しました。
OpenAIが、コード生成ツールCodexの最新版で、モデル未設定時にGPT-6 Astraを既定モデルにする修正を行いました。
#AI #AIニュース #テック
📎ソース
Formalizing Fermat's Last Theorem（Anthropic公式・Research）: https://www.anthropic.com/research/formalizing-fermats-last-theorem
Anthropic Python SDK v1.4.0 Release Notes（Anthropic公式・GitHub）: https://github.com/anthropics/anthropic-sdk-python/releases/tag/v1.4.0
OpenAI Codex v0.153.4 Release Notes（OpenAI公式・GitHub）: https://github.com/openai/codex/releases/tag/rust-v0.153.4
音声: VOICEVOX:ずんだもん
Anthropicが、Python向けSDKの最新版v1.4.0を公開し、Claude Tagのカテゴリー別・ユーザー別レポートなどを追加しました。
OpenAIが、コード生成ツールCodexの最新版で、モデル未設定時にGPT-6 Astraを既定モデルにする修正を行いました。
#AI #AIニュース #テック
📎ソース
Formalizing Fermat's Last Theorem（Anthropic公式・Research）: https://www.anthropic.com/research/formalizing-fermats-last-theorem
Anthropic Python SDK v1.4.0 Release Notes（Anthropic公式・GitHub）: https://github.com/anthropics/anthropic-sdk-python/releases/tag/v1.4.0
OpenAI Codex v0.153.4 Release Notes（OpenAI公式・GitHub）: https://github.com/openai/codex/releases/tag/rust-v0.153.4
音声: VOICEVOX:ずんだもん
