#evals
-
AI News Briefing — August 17, 2026
Composio ran DeepSeek's leaderboard-topping V4 Flash through eight agent harnesses and got 53.8% task completion — only six of thirty workflows finished everywhere. AWS open-sourced a Cedar dialect that reasons about an agent's past tool calls.
-
AI News — August 10, 2026
DX puts AI spend up 28x with engineering velocity flat, and its developer-experience index down for the first time — teams understand the code more easily and trust their releases less.
-
AI News — August 2, 2026
OpenAI set an unreleased model called Astra on ten decade-old open problems in mathematics and theoretical computer science, and shipped a machine-checkable Lean 4 proof for each at under $2,000 of tokens apiece.