Fresh stories
OpenAI publishes 722 math manuscripts from an internal model
OpenAI published 722 manuscripts covering 372 mathematical result families from about 4,000 problems. Independent checks found that some headline claims were partial results rather than complete proofs.
Next.js 16.4 enables Cache Components by default in new apps
Next.js 16.4 made Cache Components the default for new apps and added APIs for static output and partial navigation rendering. The release also adds agent-guided upgrades and cuts Turbopack disk-cache size by 20–25%.
OpenAI publishes 722 math manuscripts from an internal model
OpenAI published 722 manuscripts covering 372 mathematical result families from about 4,000 problems. Independent checks found that some headline claims were partial results rather than complete proofs.
METR patches Inspect JavaScript bug that could alter reviewed transcripts
METR disclosed and patched a JavaScript injection bug in the Inspect transcript viewer that could show reviewers altered agent transcripts while leaving underlying logs unchanged. Inspect was patched within a day, but the incident exposed a gap between stored traces and reviewer-visible output.
Top storiesthis week
ContextQA ships Ship to test deployed user flows
Ship reads pull requests, tests affected flows against the deployed app, and reproduces bugs from Slack or Linear. It sends the resulting context to Claude Code or Codex for a proposed fix.
Epoch estimates OpenAI researchers’ coding-agent use doubled every 34 days
Epoch estimates coding-agent usage doubled every 34 days at the median and every 27 days at the 90th percentile from January through August. The figures use API prices rather than OpenAI’s actual costs.
Devin adds persistent memory with overnight cleanup
Cognition’s Memory and Dreaming features build a memory graph across Devin sessions and revise stale records overnight. The open-source system is designed to work across harnesses and environments.
Era generates simulated companies for agent testing
Era generates connected Salesforce, Zendesk, Jira, Slack, and Gong data behind vendor-compatible interfaces. Teams can reset the company and rerun identical tasks without human operations.
gdp-ts makes authorization proofs compile-time requirements
The gdp-ts library, linter, and AI skill require typed proofs that authorization checks ran before sensitive calls. Its rules also flag forged proofs and unsafe escape hatches.