AI

OpenAI vs Anthropic

OpenAI just made its agent bet explicit, and Claude is stuck in single-player mode

With workspace agents, OpenAI makes its enterprise bet explicit: persistent, shared AI workers that run in the cloud and integrate with Slack. Anthropic's Claude, focused on single-session reasoning, has no answer yet.

2026-07-13

The deprecation dossier

Mistral AI just killed half its model family. Here is what survived and why.

A mid-2026 audit of Mistral AI's model portfolio reveals 36 active models across frontier, specialist, and legacy tiers, with 19 models slated for deprecation by mid-2026. The company's strategy emphasizes small specialist models for agents and coding, while deprecating experimental variants like Magistrate and earlier Devstral versions.

2026-07-13

Artificial Intelligence

Meta bought Manus for its infrastructure, not its chatbot

Manus joins Meta in a strategic acquisition that prioritizes agent infrastructure over consumer AI. With over 80 million virtual computers created and 147 trillion tokens processed, Manus becomes Meta's execution layer for enterprise automation.

2026-07-13

Cloud Infrastructure

Alibaba is building both the brain and the immune system for AI agents

Alibaba Cloud unveils a codebase-aware retrieval system for AI coding and an agentic WAAP security platform, both leveraging large models to solve latency, privacy, and compliance gaps. The hybrid architecture aims to outpace embedding-only tools and legacy WAF vendors.

2026-07-13

GPT-5.6 Sol (max) Tops CritPt, a New Benchmark of Unpublished Physics Research Problems

GPT-5.6 Sol (max) leads CritPt, a new physics benchmark built from unpublished graduate-level research problems, scoring about 5 points above GPT-5.5 and 4 points ahead of Claude Fable 5, according to independent testing by Artificial Analysis.

2026-07-13

Remote Sensing AI

Smarter tokens just cut satellite AI costs by threefold without losing accuracy

Ai4earth's OlmoEarth v1.1 cuts compute costs by up to 3x over v1 for satellite image analysis, using a smarter token merging technique that maintains performance. The updated models enable cheaper planet-scale map refreshes for partner organizations.

2026-07-13

AI in Education

The AI Learning Trap: What a 26,000-Student Study Reveals About Cognitive Debt in Education

A 26,000-student study, an MIT brain-imaging experiment, and new OECD research converge on the same finding: generative AI raises homework scores while quietly eroding exam performance and neural engagement, unless teaching is redesigned around it.

2026-07-13

AI spreadsheet agent review

Kimi Sheets writes actual Excel formulas. Most AI tools just tell you how.

Kimi Sheets is an AI agent that turns plain-language instructions into finished spreadsheets, with real formulas, pivot tables, charts, and smart formatting. Unlike chatbots that only give advice, Kimi Sheets directly edits the file.

2026-07-12

AI Tutorial

10 Best Practices for Getting the Most Out of AI Coding Agents

A practical guide to working effectively with AI coding agents like GitHub Copilot, Cursor, and Codex-based tools: scoping tasks, reviewing diffs, matching tools to tasks, testing discipline, and keeping humans in the loop on shared code.

2026-07-12

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

Leanstral 1.5 proves the old rules of AI pricing don't apply to math

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

DSpark shows why fast AI inference is a scheduling problem, not a model trick

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