OpenAI Model Disproves Erdos Conjecture After 80 Years
An OpenAI reasoning model autonomously disproved the Erdos unit distance conjecture, a geometry problem unsolved since 1946. Fields medalist Tim Gowers calls it a milestone in AI mathematics.
Google AI Pro Drops Unlimited Access for Credit-Based System
Google quietly replaced fixed message limits in its $20-per-month AI Pro plan with a credit-based quota on May 20, 2026, at Google I/O. Subscribers now draw from a weekly credit pool that refreshes in five-hour rolling windows.
GitHub Security Breach: What AI Creators Must Do Now
GitHub confirmed unauthorized access to its own internal repositories on May 19, 2026. Customer repos are not known to be affected, but here is what AI creators should audit now.
Claude Agents Get Self-Hosted Sandboxes and MCP Tunnels
Anthropic shipped self-hosted sandboxes (public beta) and private MCP tunnels (research preview) for Claude Managed Agents so tool execution and internal data access can stay on customer infrastructure.
NVIDIA Nemotron Diffusion: 3x Faster LLM Decoding
NVIDIA released the Nemotron-Labs-Diffusion family on Hugging Face, an open-weights LLM that switches between autoregressive, diffusion, and self-speculation decoding for 2.7x to 3.3x throughput gains.
Android XR Audio Glasses: Google Takes on Meta Ray-Bans
Google unveiled its first Android XR audio glasses at Google I/O 2026, featuring Gentle Monster and Warby Parker designs, Gemini AI, and iPhone support launching fall 2026.
Google Redesigns Search Box for First Time in 25 Years
Google announced the biggest redesign to its search box in over 25 years at I/O 2026, adding AI Mode on Gemini 3.5 Flash, information agents, and generative mini apps for 1 billion users.
Mistral AI Acquires Emmi AI for Industrial Engineering
Mistral AI acquired Emmi AI on May 19, adding a 30-person Physics AI team from Linz, Austria that develops neural surrogate models for industrial simulation.
Mirelo SFX 1.6 Adds Audio Inpainting for Video Creators
Mirelo SFX 1.6 adds audio extension, inpainting, and seamless loops to its video-to-audio model.
Antigravity CLI Tutorial: Beat the June 18 Deadline
Gemini CLI stops serving Pro and Ultra subscribers on June 18, 2026. This tutorial walks through the full migration to Antigravity CLI in 30 minutes, including install, parity testing, async background agents, and how to keep CI pipelines from breaking.
Google Flow Android Beta: Agent, Tools, and Gemini Omni
Google launched Flow for Android in beta at I/O 2026, alongside Flow Agent, Flow Tools, and Gemini Omni Flash updates for video and music creators.
Gemini 3.5 Flash: $1.50 Coding Model Beats 3.1 Pro
Google launched Gemini 3.5 Flash at I/O 2026, a Flash-tier model that beats 3.1 Pro on coding and agent benchmarks at 40 percent lower cost.
Google I/O 2026: Everything Announced for Creative AI
Live coverage of every Gemini, Veo 4, Imagen 4, Lyria 3, and Project Astra reveal from Google I/O 2026, with the workflow each unlocks for creators.
Forge Gives Local AI Agents Enterprise-Grade Reliability
Open-source Forge framework adds guardrails to 8B local models, lifting agentic task reliability to 86.5% -- no cloud API required.
NVIDIA Verified Agent Skills: Security for AI Workflows
NVIDIA has launched a formal verification pipeline for its AI agent skills, introducing cryptographic signing, automated security scanning, and machine-readable trust metadata.
Parakeet TDT v3 Silently Translates French to English
Parakeet TDT v3, the fast NVIDIA transcription model, silently translates French speech to English with up to 31% English intrusion on spontaneous recordings.
Inside Gemini Omni: Google's Any-Input Video Model
Google introduced Gemini Omni at I/O 2026, a multimodal model that accepts text, images, audio, and video in any combination and produces or edits video through conversational prompts. Omni Flash is the first public release.
OpenAI Joins C2PA and Adds SynthID to Verify AI Images
OpenAI is adopting C2PA and SynthID watermarking to make AI-generated images verifiable.
Vercel Zero: A Programming Language Built for AI Agents
Vercel Labs just shipped Zero v0.1.3, an experimental programming language designed for AI coding agents rather than humans. Structured diagnostics and a broad standard library aim to cut wasted agent tokens.
Mini Shai-Hulud npm Attack Hijacks Claude Code Sessions
A May 19 npm supply-chain wave compromised 317 packages including timeago.js and the @antv ecosystem, rewriting .claude/settings.json to hijack Claude Code, Codex, and Cursor sessions.
Qwen 3.7 Max and Plus Preview Land in Arena Top 15
Alibaba pushed Qwen 3.7 Max Preview and Qwen 3.7 Plus Preview to Arena and Qwen Chat for testing. Max sits 13th overall on Arena Text and Plus is 16th on Vision.
NVIDIA Vera CPU Lands at Anthropic, OpenAI, SpaceXAI
NVIDIA delivered the first Vera CPUs, its first chip purpose-built for agentic AI, to Anthropic, OpenAI, SpaceXAI, and Oracle on May 18, 2026. The chip targets the orchestration layer Claude, ChatGPT, and Grok run on.
Manus Schedules 2.0: Recurring Tasks Now Keep Context
Manus released Scheduled Tasks 2.0 on May 18, 2026, letting recurring agent runs stay inside the same task context instead of starting fresh every time. Web apps built with Manus can also schedule their own actions.
Odyssey Agora-1: 4-Player AI World Model You Can Play
Odyssey released Agora-1 on May 18, 2026, a multi-agent world model that lets up to four people share and interact inside the same AI-generated simulation in real time. Built on GoldenEye, it splits simulation from rendering using a DiT model.