AI
Artificial intelligence: LLMs, agents, diffusion, vision, NLP and the latest from top labs.
593 published articles
AI Agents
Mistral coding agents leave your laptop behind: parallel sessions, no hovering required
Mistral is moving coding agents to the cloud, enabling parallel, asynchronous task execution via the new Mistral Medium 3.5 model. The update introduces remote agents in Mistral Vibe and Le Chat, along with a Work mode for multi-step tasks, while keeping human oversight for sensitive actions.
2026-07-12
Lean 4
The $4 theorem prover that embarrasses $300 competitors and found bugs the tests missed
Leanstral 1.5, a 6B active-parameter model, saturates miniF2F, solves 587 PutnamBench problems, and uncovers 5 previously unreported bugs in open-source repositories. At roughly $4 per problem, it undercuts Seed-Prover by 75x and Aleph Prover by 15x, challenging the assumption that formal verification requires massive compute budgets.
2026-07-12
Systems optimization
DeepSeek just proved most AI inference speed tricks are working against each other
DeepSeek's DSpark paper reveals that naive speculative decoding degrades throughput under high concurrency. Its solution, confidence-scheduled verification, adapts block length per request and shifts the Pareto frontier of serving performance.
2026-07-12
Synthetic Data Strategy
Nvidia's data atlas shows why synthetic data matters more than model weights
Nvidia's Nemotron Post-Training v3 Prompt Atlas provides an interactive map of billions of synthetic data samples, highlighting how open synthetic data is the missing layer for building reliable AI agents. The company argues that agent behavior must be inspectable and that synthetic data, released openly, is the only way to preserve proprietary signals without exposing trade secrets.
2026-07-12
Artificial Intelligence
Alibaba's new coding agent made the invisible visible, and that is the hard part
Alibaba Cloud launches Qoder, a free AI coding agent focused on codebase visibility, architectural understanding, and Spec-first workflows to bridge the gap between viral AI demos and real-world software engineering challenges.
2026-07-12
Long-context LLMs
Jet-Long's bifocal attention just killed the fixed-scaling trade-off for long-context LLMs
Jet-Long adapts RoPE rescaling dynamically per sequence length, using a local window and a long-range window merged via inclusion-exclusion. On Qwen3 models up to 128K context, it beats existing zero-shot baselines by over 2 percentage points on RULER and achieves the lowest perplexity on PG-19, all while adding less than 4% generation overhead.
2026-07-12
Artificial Intelligence
Alibaba's new AI coder shows you every thought it has, not just the finished code
Alibaba Cloud's Qoder coding agent bets that developers want visibility over magic. Two modes, automatic model routing, and a transparency layer aim to solve complexity instead of hiding it.
2026-07-12
Visual AI interaction
Cursor just let you fix UI bugs by pointing at them. No translation required.
Cursor's updated Design Mode lets engineers and designers modify UI by clicking elements, drawing on the page, or speaking changes aloud, while the AI agent extracts element identity, styles, and layout context to edit code. The approach accelerates iteration by cutting out the translation step between visual intent and text.
2026-07-12
Mathematical Reasoning
The M3 team found a way to stop AI math verifiers from cheating, and it's a blueprint for every lab
M3's approach to mathematical reasoning combines three expert models, Proof, Verifier, and Fixed, with an evolutionary search framework. The account offers rare detail on reward hacking, verifier alignment, and the engineering required to make generative verifiers reliable in high-stakes reasoning tasks.
2026-07-11
Product strategy
Atlas is dead. OpenAI's agent strategy just got narrower and riskier.
OpenAI is shutting down its experimental ChatGPT browser Atlas less than a year after launch, absorbing its learnings into new productivity features. The shutdown reflects a company-wide pivot from exploration to consolidation as it races to catch Anthropic on agentic work tools.
2026-07-11
State of the art
Fifteen articles on AI generation reveal three shifts that matter more than any single model
A 15-article series on AI generation reveals three shifts that matter more than any single model: multimodal pipelines have become routine, agentic orchestration is replacing manual chaining, and real-time feedback is turning generation from a gamble into a conversation.
2026-07-11
Special Report
OpenAI's bet on shared agents is the quietest shift in enterprise AI this year
OpenAI launches workspace agents: persistent, cloud-based AI workers that run across ChatGPT and Slack, handle multi-step workflows, and share context across teams. Free until May 6, 2026, then credit-based. A structural shift from GPTs to organizational AI.
2026-07-11