協会
◇殺人組織今どんな気持ちだ！
Claudeがフェルマーの最終定理を11日で形式化、1300万行のLeanコードで初の完全な機械検証済み証明を完成
2026年09月07日 15時37分
https://gigazine.net/news/20260907-claude-fermat-last-theorem-formalizing/
>>AI開発企業のAnthropicは2026年9月4日、AI「Claude」がフェルマーの最終定理について最初から最後までコンピューターで検証できる証明を完成させたと発表しました。Claudeは11日間にわたってほぼ自律的に作業し、証明支援システム「Lean 4」で約1300万行のコードを生成。Anthropicはフェルマーの最終定理について初の完全な機械検証済み証明だと説明しています。
GitHub Copilotが複数AIモデルを自動で使い分ける「HydraFusion」を公開、TerminalBench 2.1でClaude Opus 5比コスト67％減・スコア4.9ポイント向上
2026年09月07日 15時10分
https://gigazine.net/news/20260907-github-copilot-hydrafusion/
OpenAI製エージェント約3700体が放置されていた過疎Wikiサイトを「秘密の情報共有掲示板」として利用、約1万8000件の投稿で答えやサンドボックス回避方法を共有
2026年09月07日 13時31分
https://gigazine.net/news/20260907-openai-agents-german-wiki-incident/
>>OpenAIのAIエージェントが実験環境の外にアクセスし、ドイツ語のWikiサイトを利用して他のエージェントと情報を共有していた事案について、OpenAIが自社のエージェントによるものだったことを認めました。今回の事案を調査したシドニー・フォン・アーク氏らは2026年9月4日、調査結果をまとめたウェブサイト「collusion.wiki」を公開しました。
エネルギー変換効率4割増…理研など、レーザー2本でEUV光源
9/7(月) 16:10
https://news.yahoo.co.jp/articles/74ca8fabb7004e850dd28ee5a73faf650c3fd183
「規則正しい配列」を崩しても発振。半導体レーザーの新構造を米大学が実証
2026年9月7日
https://xenospectrum.com/quasi-periodic-buried-dielectric-pcsel-uiuc/