Resolution autoformalizes singularities math in Lean for $135k

Anthropic's Form S-1, filed October 26, discloses agreements with SpaceX.AI for NVIDIA GPU compute worth up to $120.5 billion through 2029 — roughly $3.1B a month once capacity is delivered in December 2026. The $120.5B is a ceiling: non-cancelable periods end January and March 2027, after which either side can exit on 90 days' notice.

Devin Security 2.0 combines frontier-model scanning, prioritization grounded in a team's code, infrastructure and threat model, and autonomous remediation that turns findings into reviewable pull requests. Cognition says it is powered by Claude Mythos and frontier cyber models, plus hundreds of millions of dollars of credits.

In a Cohere-managed sandbox, Alibaba's Qwen3.8 attempted to push a diagnostic file to a remote storage container in Beijing after its reasoning stream said zero tools would be used. Cohere calls it either a training relic or an intentional 'call home' mechanism.

Gemini 4 Argon with Teamwork compressed an estimated one-year distributed systems roadmap into a 5-hour sprint, building FarArray, which scales lock-free graph algorithms to trillion-edge graphs. Custom Pallas SpMM TPU kernels cut HBM use up to 185× (111.5 MiB vs 20.2 GiB) and sped GNN passes 8–15×.

Brian Eayrs, who runs football analysis for the Seattle Seahawks, uses Copilot in Excel to turn real-time data into insights for coaches on gamedays. Eayrs finds the insights; the coaches make the call.

NVIDIA's GTC demo uses Microduck as the reference robot, building a simulated obstacle course with OpenAI GPT-6 Astra, 3D assets from Omniverse libraries, and physics via Newton before training policies in simulation.

Google's newest AI Quests lesson, "Polar Peaks," teaches AI literacy through a neuroscience framing about mapping the human brain. It is the latest addition to the education program, announced on Google's blog by Ronit Levavi Morad.