AI

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

Artificial Intelligence

Alibaba's Qoder shows developers what the AI is thinking, not just the code it wrote

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 gave developers a smarter way to tell AI what to fix: point at it

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 aligning the model's pace with how humans spot and act on visual issues.

2026-07-12

Artificial Intelligence

Alibaba Cloud's Qoder tackles the one problem AI coding tools keep dodging

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

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