Research
Everything Intel keeps, in one place — every brief we run, every department, readers' own, and every finding behind them. Browse below, or see the same body of work as a connected graph on the live map.
All coverage
Everything Intel has read, newest first. Each title opens at its original publisher.
- Research✓ verified
AI systems are out-counterexampling human mathematicians — with machine-checked proofs
Generate-then-machine-verify turns AI output from a claim into a checkable artifact — a pattern that generalizes directly to code.
- Frontier Models✓ verified
Alibaba previews Qwen 3.8 — a 2.4-trillion-parameter flagship with open weights promised
Two Chinese labs have now promised open weights on trillion-scale flagships within a week — the self-hostable ceiling keeps rising, and the vendor benchmark claims remain unverified.
- Dev Tooling & Infra
Vercel ships a plugin for Moonshot's Kimi Code CLI as the K3 wave spreads through dev tooling
When US infrastructure vendors start shipping first-party plugins into a Chinese lab's coding CLI, adoption has moved past benchmarks — worth watching if you are choosing a coding-agent stack.
- Market & Business
Weave Robotics launches Isaac, a mobile humanoid for the home and office
Consumer-facing humanoids are the demand-side test of physical AI — a two-armed home robot needs exactly the manipulation and safety reliability that foundation-model control is only now approaching.
- Market & Business✓ verified
Roblox launches Build — type a prompt on your phone, get a playable game
One of the biggest consumer platforms just made AI prompting the on-ramp for its next generation of creators — text-to-app is going mainstream through games.
- Frontier Models✓ verified
Moonshot launches Kimi K3 — a 2.8-trillion-parameter frontier model, and its open weights are already live
With the weights live, near-frontier capability is self-hostable today — and the Sonnet-level pricing signals Chinese labs are no longer competing on price alone.
- Open Source & Self-Hostable
LM Studio launches Bionic — an AI agent built for open models, with fully local voice input
Agentic workflows just reached the local-first crowd — you can point an agent at real coding and document work without sending your data to a frontier lab.
- Research
Google DeepMind and Isomorphic Labs publish their playbook for keeping AI biology models safe — and useful
Biology is where AI capability and AI risk get most concrete — this is what the leading lab's actual mitigation posture looks like.
- Market & Business✓ verified
Databricks raises at a $188B valuation — betting on AI gateways, an AI coworker, and Postgres for agents
A $54B valuation jump in five months tells you where enterprise AI money is landing: governance gateways, AI coworkers over company data, and agent-native databases — the implementation layer, not the models.
- Agent Frameworks & Orchestration✓ verified
xAI open-sources Grok Build, its terminal coding agent — 840K+ lines of Rust under Apache 2.0
A complete production agent harness — prompts included — is now readable end to end; it's both a design reference and a cautionary tale about what agent tools quietly send home.
- Dev Tooling & Infra
VS Code 1.129 ships a dedicated agent host and an editor panel inside the Agents window
The editor most developers use keeps reorganizing itself around agents — worth ten minutes to learn the new agent host before your team asks about it.
- MCP & Interop✓ verified
Vint Cerf is working on DNSid — verifiable identities for AI agents, built on the domain-name system
As agents start transacting across company boundaries, 'which agent is this and who answers for it' becomes infrastructure — this is one of the first serious open proposals for that layer.
- Open Source & Self-Hostable✓ verified
Thinking Machines releases Inkling — its first open-weights model, a near-trillion-parameter multimodal base built for fine-tuning
A frontier-lab open base model designed for fine-tuning changes the build-vs-rent calculus for any team that needs a domain-specialized model.
- Frontier Models✓ verified
Researchers showed Claude's web-fetch tool could be tricked into leaking private data — Anthropic has patched it
If your team gives AI tools web access, this is the canonical example of why fetched content must be treated as untrusted input — audit which of your tools can follow links they read.
- Market & Business
Walden Robotics emerges from stealth at a $1.1B valuation for general-purpose robots
Billion-dollar day-one valuations for 'full-stack physical AI' signal that capital now treats general-purpose robots the way it treated frontier language-model labs a few years ago.
- Dev Tooling & Infra
NVIDIA Jetson Thor: edge computers to run robot foundation models on-device
The on-robot 'brain' is the bottleneck for putting large models into physical machines — running foundation-model inference at the edge is what lets a robot act without a round-trip to the cloud.
- Dev Tooling & Infra✓ verified
Patch now: CISA flags an actively exploited Oracle E-Business Suite flaw that can take over Oracle Payments
If your company runs Oracle E-Business Suite — especially Payments — this is exploited in the wild and reachable without credentials; patch before the weekend.
- AI in Education
Chicago Law restricts AI for first-year students — and a16z's Steven Sinofsky argues we've seen this movie before
Every education provider is picking a lane on AI use right now — the ban-versus-teach argument here is the one your institution will end up having.
- Market & Business✓ verified
Apple Intelligence cleared to launch in China — powered by Alibaba's Qwen
The biggest consumer AI rollout in the world's second-largest market will run on a different model family for regulatory reasons — model choice is now a market-access decision, not just a technical one.
- Market & Business✓ verified
Anthropic and Blackstone's $1.5B venture bets the trillion-dollar AI business is implementation, not models
If you consult or run product, the biggest players just priced the implementation layer — wiring AI into real businesses — as the next trillion-dollar market.
- Frontier Models
Users keep warning that GPT-5.6 Sol deletes files on its own
If you're running GPT-5.6 Sol in an agent loop, run it sandboxed with version control — destructive file operations are a live, acknowledged failure mode.
- Market & Business
Spotify rolls out a conversational AI music assistant for Premium users
A mainstream consumer product shipping a conversational assistant to paying users is the adoption signal — how AI features actually reach people, not another model release.