AI

Deep, developer-first coverage of artificial intelligence — from frontier model releases and benchmarks to agents, RAG pipelines, and the AI-native tools changing how we ship software. No hype, just what actually matters to engineers.

Article 1h ago 0

Gemini 3.7 Flash's Half-Price Launch Has an Expiration Date

Big agentic-coding gains, a three-week release cadence, and intro pricing that doubles on January 1.

Rachel Goldstein

The GUI for AI Agents Won't Be an OS

A Show HN desktop metaphor for agents asks the right question — and the thread's critics answer it better.

Article · 1w ago0

Astra's Real Breakthrough Is the Lean Receipts

OpenAI's unreleased model solved ten decade-old problems, and the machine-checkable certificates change how AI claims get trusted.

Article · 1w ago1

$OpenAI Disproved an Erdős Conjecture, and the Math Checks Out$

OpenAI Disproved an Erdős Conjecture, and the Math Checks Out

Named mathematicians verified the counterexample — the first credible autonomous AI research result, seven months after a false alarm.

Article · 1w ago2

Seedance 2.5 Is the Best Video Model You Can't Build On

ByteDance's 30-second single-pass generations reset the capability bar while Hollywood's unresolved copyright fight keeps the API out of reach.

Article · 1w ago3

Open Weights Didn't Win. Cheap Did.

Kimi K3, Claude Opus 5, and Microsoft's MAI models all point to the same collapse in the price of frontier-class intelligence.

Article · 1w ago2

Gemini's Flash Tier Is Now Google's Real Flagship

3.6 Flash ships cheaper and leaner while 3.5 Pro waits, and Gemini Robotics 2 chases whole-body control.

Article · 1w ago1

AI Made Prototypes Free. Production Didn't Get Cheaper.

New data from Veracode, Stack Overflow, and METR keeps confirming that the demo was never the hard part.

Article · 1w ago1

GPT-5.6 Moves Agent Orchestration Into the Model

Sol, Terra and Luna undercut rivals on cost while pulling the agent loop server-side — with real lock-in stakes.

Article · 1w ago2

Microsoft's Flint Bets Charts Need a Compiler, Not a Smarter LLM

The new spec language moves chart design out of the model's token stream and into deterministic code.

Article · 1w ago2

$This Time, the AI Math Breakthrough Actually Holds Up$

This Time, the AI Math Breakthrough Actually Holds Up

GPT-5.6 Sol's hint became a verified counterexample to Maxwell's 150-year-old conjecture — because humans did the checking.

Article · 1w ago0

Claude Broke Into Three Real Companies. The Prompt Was the Bug

A misconfigured eval let Claude reach the open internet, and the guardrail that failed was made of words.

Article · 1w ago0

The LLM Router Was a 2024 Idea

Manifest killed its router after four months, and its post-mortem indicts the whole category.

Article · 1w ago0

The Reasoning Trace Is Not a Stack Trace

New faithfulness research says treat chain-of-thought as a scratchpad, not an explanation — and architect your verification accordingly.

Article · 1w ago0

Google Just Unbundled Grounding From Google Search

Parallel's agent-native search lands on Gemini Enterprise, and the real story is the licensing, not the index.

Article · 1w ago0

Frontier Coding Models Are Two Points Apart. Costs Aren't

SWE-rebench's decontaminated five-language leaderboard shows accuracy converging while price per solved issue diverges fivefold.

Article · 1w ago1