AI Intelligence Brief — May 20, 2026

• Gemini 3.5 Flash — available now globally in the Gemini app, AI Mode in Search, Antigravity platform, and Gemini API. Claimed 4× faster than comparable frontier models at significantly lower cost. Google demoed it generating an operating system in 12 hours. Gemini 3.5 Pro follows next month. (Google Keyword)
• Gemini Omni — multimodal video generation: combine reference video, image, text, and audio in a single prompt to generate video output. Live now for AI Plus/Pro/Ultra subscribers via Gemini app and Google Flow.
• Gemini Spark — Google's "personal AI agent." Runs 24/7 on dedicated Google Cloud virtual machines (device doesn't need to stay open). Handles long-running background tasks. Integrating into Workspace (Gmail, Docs, Keep) this summer. Launching next week for AI Ultra subscribers.
• Cursor Composer 2.5 — shipped May 19. Built on Kimi K2.5. Matches Claude Opus 4.7 and GPT-5.5 on coding benchmarks at a fraction of the price. Better at long-running tasks and complex instructions. Cursor 3 (full interface redesign) also launched — unified workspace for building with agents. (Cursor blog)

• Musk v. OpenAI: over. A California jury unanimously dismissed Musk's $150B lawsuit against OpenAI and Sam Altman on statute of limitations grounds. No appeal path on the core claims. A major blow to Musk's credibility in the AI space and a clean win for OpenAI's transition to for-profit. (NYT, AP)
• OpenAI + Dell: Codex coming to hybrid and on-premises enterprise environments. Signals OpenAI is serious about the segment of enterprise IT that will never run fully in the cloud. (OpenAI)
• Google's token economy: 3.2 quadrillion tokens/month vs. 480 trillion in May 2025 — 7× YoY growth. The most concrete AI demand signal in the industry right now.

• OpenAI model solves 80-year-old math problem — a general-purpose reasoning model (not trained for math, not math-specific scaffolding) autonomously disproved the planar unit distance conjecture, first posed by Erdős in 1946. It used techniques from algebraic number theory to crack an elementary geometric problem. Proof verified by external mathematicians. Fields medalist Tim Gowers: "a milestone in AI mathematics." First time AI has autonomously solved a prominent open problem central to a subfield of math — with original ideas, not exhaustive search. (OpenAI)

• Antigravity 2.0: Google's agent-first dev platform is the integration layer for all Gemini agentic features. If you're building on Google Cloud, this is the surface to watch.
• Universal Cart / Universal Commerce Protocol (UCP): cross-merchant shopping across Search, Gemini app, YouTube, and Gmail — one cart. Agentic commerce is now a Google product.
• Ask YouTube: semantic search across YouTube's entire catalogue including Shorts. Premium subscribers in US first. Quietly threatens every vertical search product built on YouTube content.
• Android Halo: new indicator in Android 17 showing what AI agents are doing in real-time (top-left corner). Small UX detail, big philosophical shift — ambient AI needs ambient visibility.