AlphaProof Nexus が9件の未解決問題を解決、Claude Code Auto Mode が Pro で利用可能に、Copilot Eclipse がオープンソース化
2026年5月23〜25日週:Google DeepMind が AlphaProof Nexus を公開し、Anthropic は Claude Code の auto mode を Sonnet 4.6 とともに Pro プランへ拡張、GitHub は Eclipse 向け Copilot をオープンソース化、そして Qwen3.7-Max は implicit cache を有効化。