Radar

Look at the top of the intelligence index right now: Claude Opus 4.8, GPT-5.5, Gemini 3.1 Pro, Grok 4.3, all separated by a handful of points. When the smartest models are effectively tied, "which one is smartest" stops being a useful question.

So the real question quietly changed. It is no longer which model reasons best on a benchmark, it is which one you can actually put to work. Cost per real task. How it behaves when it is uncertain. Whether it can run a long, messy job without a human babysitting every step. Opus 4.8 shipping an effort dial and admitting when it doesn't know is a bigger deal to me than another point on a leaderboard.

2026 is the year models stopped being chatbots and started being coworkers. The winners won't be the ones that top a benchmark for six weeks. They'll be the ones you trust to finish something while you're asleep.

Inside DeepMind's AlphaProof Nexus setup, Gemini 3.1 Pro drove a loop with the Lean proof compiler and closed 9 of 353 open Erdős problems, two of which had been unsolved for 56 years, plus 44 conjectures from the integer-sequence encyclopedia. Every result is machine-checked, so there is no hand-waving about whether the proofs hold.

This is the kind of headline that gets flattened into "AI does math now," which misses the point. The model wasn't a calculator. It was the search engine over a space of possible proofs, proposing ideas while a formal verifier ruthlessly threw out the wrong ones. Creativity from the model, certainty from the compiler.

That pairing is the template I expect to see everywhere: a strong generator plus a strict checker. It maps cleanly onto Karpathy's line that LLMs will automate anything humans can verify. Math just happens to be the domain where verification is airtight, which is exactly why it fell first.

Peter Steinberger built a personal AI assistant in roughly an hour, renamed it twice to dodge trademark complaints, and watched it climb past 380,000 stars to sit at number one on GitHub. Under five months, weekend project to the most-starred repo in the world.

The reflex take is that this is hype, a star-count sugar rush. I don't buy that. What OpenClaw actually proves is that the cost of building something people want has collapsed. One person, working with agents, shipped a cross-platform assistant that plugs into WhatsApp, Slack, and Discord, and it was good enough to spread on its own.

The lesson isn't "quit your job and vibe-code a unicorn." It's that distribution now rewards taste and speed over headcount. The bottleneck moved from writing the code to knowing what is worth writing. That is a very different game, and most teams haven't adjusted yet.

DeepSeek dropped V4 as open weights, a 1.6T-param Pro and a leaner Flash, and the benchmarks put it shoulder to shoulder with the closed frontier on coding and agentic work. A year ago people called the first DeepSeek moment a fluke. Two flukes in a row is just a strategy.

Here is what I keep coming back to. Every time an open model lands within a few points of the best closed one, it resets the price everybody else can charge. You cannot sell water by the bottle next to a public fountain that tastes almost as good. The frontier labs still lead, but the gap they can monetize keeps shrinking.

For anyone building on top of models, this is the best news of the quarter. It means you can prototype on a closed API for quality, then swap to open weights for cost and control, without rewriting your assumptions. Optionality like that used to be a luxury.

Karpathy pushed 630 lines of Python to GitHub and went to sleep. By morning, his AI agent had run 50 experiments and committed the results to git. No human input in between.

The tool is called autoresearch — and it's now the most viral open-source AI project of the month.

The setup is almost too simple. You write research instructions in a Markdown file. An AI agent reads it, modifies a training script, runs a 5-minute experiment on a single GPU, checks if validation loss improved, keeps or reverts, and repeats. 12 experiments per hour. ~100 overnight.

After 2 days and 700 experiments: 20 genuine improvements that stacked, an 11% training speedup on code he thought was already optimized, and a bug in his own attention implementation he'd missed for months. The agent caught it.

Been using Claude Code for a week now and it's genuinely changing my workflow. The agentic loop + file editing combo means I can describe architecture-level changes and watch them materialize. Not perfect, but the iteration speed is wild.

A 1.2B parameter model just ran chain-of-thought reasoning in my browser tab. No API. No server. No bill.

Liquid AI dropped LFM2.5 and the WebGPU demos are wild. Vision model does real-time webcam captioning, fully client-side. Thinking model runs chain-of-thought reasoning in a browser tab at 0.28 seconds.

Beats Llama 3.2 1B on GPQA, MMLU Pro, and IFEval benchmarks. Static deployment ships as HTML/JS/WASM — host on any CDN with zero inference cost.

This is what edge AI was supposed to look like.

Google quietly built the most complete agentic AI ecosystem in the industry. And nobody's talking about the full picture.

Models + Tools + Frameworks + Protocols. Gemini 2.5 Pro, ADK (Agent Development Kit), A2A protocol. 750M+ Gemini users, 18.3K ADK stars, 150+ A2A partners.

While everyone's focused on individual model benchmarks, Google assembled the full stack for agentic AI: the models, the developer tools, the communication protocols, and the distribution.

Every team I talk to is building RAG. Almost none of them have good evaluation. We default to vibes-based testing — "does this answer look right?" — and call it done. The gap between building RAG and knowing if it works is massive.

Alibaba's Qwen just became the #1 open-source AI family on the planet. 700M+ downloads. 90,000+ derivative models. The top 4 spots on HuggingFace. All in 3 years.

From a small Alibaba experiment to dominating every global leaderboard — this is one of the most underrated stories in AI right now.

The company that built its reputation blocking bots just launched a web crawling API.

Cloudflare quietly dropped a /crawl endpoint this week. One API call, and you get clean, structured content from any URL. The irony is beautiful — and the implications for RAG pipelines are massive.

If you're building any kind of retrieval system, this changes the data ingestion game completely.

Every local LLM user has done this. Download a model. Wait 20 minutes. Launch it. Watch it crawl at 3 tokens per second — or not load at all.

The gap between cloud inference and local inference is still massive. But tools like llmfit are starting to close it — optimizing models for your specific hardware, quantization level, and memory constraints.

The future of local AI isn't just about smaller models, it's about smarter deployment.