A general-purpose OpenAI reasoning model solved the unit-distance problem by connecting it to algebraic number theory, producing an infinite family of point arrangements that overturn a longstanding assumption in discrete geometry — without being trained for math or given search strategies. External mathematicians have checked the proof; Fields medalist Tim Gowers called it "a milestone in AI mathematics."
Daily briefing · Auto-updated
AI News
Top stories from across the AI world, curated daily.
Gemini 3.5 Flash is now generally available via the Gemini API, AI Studio, and Android Studio with a 1M-token context window at $1.50/$9 per 1M tokens. Paired with a new Managed Agents API — a single call provisions a sandboxed Linux environment where an agent can reason, execute code, and manage files across multi-turn sessions — Google is explicitly pivoting from chatbot to agent infrastructure.
At I/O 2026, Google introduced information agents inside Search that continuously track topics and synthesize answers from multiple sources, replacing the traditional ranked link list with AI-generated interactive experiences. Users can also build personalized mini-apps from search results; publishers will see further referral traffic cuts as a consequence.
A four-year, $200 million commitment — covering grant funding, Claude usage credits, and technical support — targets vaccine research for polio, HPV, and eclampsia; foundational literacy apps for sub-Saharan Africa and India; and crop intelligence for the roughly two billion people whose income depends on smallholder agriculture. All outputs will be released as publicly available tools.
Three months after SpaceX acquired xAI and rebranded the combined AI division as SpaceXAI, more than 50 researchers and engineers have departed — including technical leads from the Grok team. The rate of exits is increasing, raising the question of whether access to Colossus-scale compute can compensate for the talent drain Musk's restructuring has triggered.
Exa's semantic search API is built to serve AI agents directly — not humans clicking links — and investors are treating it as plumbing for the agentic era. Parallel Web Systems raised $100M at $2B the same week; both bets assume Google's own agent-first pivot still leaves a gap for a dedicated search layer outside its ecosystem.
The Trump administration's Commerce Department will get early access to advanced models from all three companies for capability and security testing — including assessments for hacking potential and potential military misuse — extending CAISI agreements previously signed only with OpenAI and Anthropic, and signaling that federal AI governance is quietly expanding despite the administration's "innovation-first" posture.