AlphaProof Nexus solves 9 open problems, Claude Code Auto Mode on Pro, open source Copilot for Eclipse
Week of May 23-25, 2026: Google DeepMind releases AlphaProof Nexus, Anthropic extends Claude Code auto mode to the Pro plan with Sonnet 4.6, GitHub open sources Copilot for Eclipse, and Qwen3.7-Max enables implicit caching.