Skip to content
Tech News
clear
Topics: Today This Week This Month This Year

AI agents design and Lean-verify new shortest-path algorithm beating published bounds

Ten Claude Opus 5.5 agents were tasked with finding a faster exact shortest-path algorithm for directed graphs with non-negative real weights and proving it correct in the Lean theorem prover. Over roughly 15 hours and 733 messages, the agents produced an algorithm called C-HD, which its creators say formally improves on previously published complexity bounds, including Dijkstra's algorithm and two recent 2025 and 2026 papers.

Claude Opus 5.5 scores 58 on Artificial Analysis Intelligence Index, priced above median

Anthropic's Claude Opus 5.5, running in Adaptive Reasoning Max Effort mode, scored 58 on the Artificial Analysis Intelligence Index against a median of 25 among comparable models. The model handles text and image input with text output and a 1M token context window, but is priced at $4.00 per 1M input tokens and $20.00 per 1M output tokens, both above the reported medians of $2.00 and $10.00. Evaluating it on the Intelligence Index generated 260M tokens and cost $8,708.20 in total.

Anthropic launches Claude Opus 5.5 with faster, cheaper performance gains

Anthropic has released Claude Opus 5.5, an upgrade to its top-tier Opus model that arrives roughly two months after the previous version, in line with the company's usual release pace. The company says it performs close to its higher-end Fable/Mythos tier while being about 30% faster and 40% cheaper per task than Opus 5, with notable gains in large-scale coding work and software optimization tasks.

Anthropic launches Claude Opus 5.5, cutting compute costs 40%

Anthropic released Claude Opus 5.5 less than two months after Opus 5, claiming performance near its top-tier Fable 5.1 model while running about 40% cheaper. The company says the model uses fewer tokens, produces less verbose answers without sacrificing accuracy, and generates output over 30% faster than its predecessor. Sonnet 5.5 and Haiku 5.5 versions are expected in coming weeks.

Anthropic launches Claude Opus 5.5, cutting inference costs 40% versus Opus 5

Anthropic released Claude Opus 5.5, the first entry in its 5.5 model family, matching the performance of Claude Fable 5.1 on most tasks while running 40% cheaper than its predecessor, Opus 5. The model underwent external evaluation by groups including Frontier Design and METR, and scored higher than any prior Anthropic model on the company's internal automated behavioral audit for alignment and safety.

Today's top topics: openai anthropic apple ai safety iphone 18 pro dario amodei ios 27 artificial intelligence google nvidia
View all today's topics →