
AI keeps making more work for everyone else
Critical PHP flaws and the work of fixing them, mathematicians' objections to OpenAI's proof release, OpenAI on Google Cloud, Claude Duet, and specialized extraction models.
The week in AI, read with a data and retrieval lens. One email a week.


Critical PHP flaws and the work of fixing them, mathematicians' objections to OpenAI's proof release, OpenAI on Google Cloud, Claude Duet, and specialized extraction models.

Anthropic rebuilds source control, Meta releases open weights, Jev copycats improve, and independent evaluators move inside an AI lab.

Cheap decisions make shared judgment more valuable; AI mathematics needs verification, ChatGPT builds interfaces, and agents can finish without succeeding.

Proactive agents at Dev Day, cheaper capable models, and an API for small decisions.

Cheap decision models turn up in grep, SQL and a chess controller; agents probe public data sites; Claude agents flag an enzyme system nobody has explained.

Anthropic and OpenAI pledge independent evaluator access as AI takes on more of the work of building its successors.