Introduction
July 2025
Major events
July was the month the race for AI talent and the race for proof ran side by side. It opened with Mark Zuckerberg folding Meta’s AI work into Meta Superintelligence Labs under Alexandr Wang, and it closed with two laboratories claiming gold-medal performance at the International Mathematical Olympiad. In between, Meta hired Apple’s head of foundation models and set out plans for computing clusters measured in gigawatts; Google agreed a reported $2.4 billion arrangement to bring Windsurf’s leaders into DeepMind; Thinking Machines raised $2 billion before shipping a product; and Perplexity was valued at $18 billion. At Microsoft, Satya Nadella addressed job cuts that had passed 15,000 that year, while the company spent about $80 billion on AI infrastructure.
Governments set out rival agendas. Brussels published its voluntary Code of Practice for general-purpose models. Washington issued America’s AI Action Plan, with an order against “woke AI” in federal procurement. In Shanghai, Premier Li Qiang proposed a world AI cooperation organization. And a cloned voice impersonating the US secretary of state showed what the same technology could do in the wrong hands.
Patterns and trends
The month’s releases tested the distance between a claim and its verification. Microsoft reported that an orchestrated set of models diagnosed 85.5 percent of difficult published cases; xAI released Grok 4 with built-in tool use; OpenAI combined its browsing and research tools into ChatGPT agent. Moonshot released the trillion-parameter Kimi K2 as open weights on the same day OpenAI postponed its own open-weight model. The IMO results drew the sharpest line: OpenAI’s was graded by former medalists it engaged, Google DeepMind’s by the competition’s own coordinators.
Long-term threads
Competition results kept coming: in September an advanced Gemini reached gold-medal level at the ICPC programming finals, and DeepSeek’s R1 research passed peer review at Nature. The open-weight contest that Kimi K2 sharpened brought OpenAI’s gpt-oss in August and Kimi K2 Thinking in November. The Action Plan’s science agenda reappeared in November’s Genesis Mission, and the impersonation of Marco Rubio was cited when members of Congress proposed tougher penalties for AI-assisted fraud that month. Meta’s Hyperion cluster became part of a $600 billion US investment pledge in November, and the EU code was followed by the start of obligations for general-purpose models on August 2.