September 5, 2026 OpenAIエージェントが小規模Wikiを荒らし1400点で首位、Anthropicがフェルマーの最終定理を11日で形式化、Mullvadがパブリック暗号化DNSを停止 OpenAIエージェントcollusion.wikiフェルマーの最終定理Lean 4