AI Daily Digest · 2026-09-11
🔬 New AI Craft
1. OpenAI launches the Agents API, a managed runtime for cloud agents
The Agents API is a managed service powered by the Codex harness for orchestration, long-running sessions, and tool use. Unlike an in-session Agent Plan loop, it hosts orchestration and state in the cloud for unattended, long-horizon tasks, with a quickstart and best-practices docs.
https://openai.com/index/introducing-the-agents-api
2. Codex drives an autonomous research loop for antimicrobials
César de la Fuente's lab uses Codex and ChatGPT to search living and extinct genomes for antimicrobial candidates against drug-resistant infections. The agent plans the research workflow itself rather than only executing a human-written plan.
https://openai.com/index/using-codex-chatgpt-to-search-for-new-antimicrobials
3. Formal verification becomes a QC layer for AI output
OpenAI's Navier-Stokes release shipped with a Lean 4 formal proof, fueling talk of a "formal method revolution." It is a machine-checkable verification layer that goes beyond human AI code review.
https://www.johndcook.com/blog/2026/09/09/formal-method-revolution/
🛠️ Tools & Tips
1. tokentab
One CLI reads Claude Code, Codex, and Gemini CLI session logs and breaks down spend by model, project, and day.
https://github.com/crwdla/tokentab
2. geiger
A single read-only command that inventories every agent, MCP server, plugin, and AI extension on a machine.
https://github.com/Atomburstofficial/geiger
3. ChatGPT Work's Data agent
Connect company data and build interactive dashboards in natural language.
https://openai.com/index/put-data-to-work
⭐ Open Source Highlights
1. okf-agent-memory
Git-native persistent memory for AI coding agents implementing Google OKF v0.2, with sub-300µs in-memory BM25 search and an embedded MCP server.
https://github.com/okf-memory/okf-agent-memory
2. routeVSCODE
Zero-reload dynamic AI model switcher and local proxy for VSCode Copilot Chat.
https://github.com/yudaprasetya007/routeVSCODE
3. bankmcp
Self-hosted, read-only MCP server that lets your AI read your own bank accounts via open banking.
https://github.com/noskillish/bankmcp
📰 Industry News
1. OpenAI pauses Pro subscriptions as GPT-6 Astra demand strains capacity
2. Anthropic details distillation campaigns from Alibaba, Moonshot AI, and DeepSeek
3. Mathematicians keep pressing OpenAI over training data behind its math results
4. Meta's Muse AI agent becomes the No. 2 app in the US
5. Bending Spoons to acquire Miro for $1.355B
6. AI agents are flooding public services with new requests
7. OpenAI adds alignment researcher Paul Christiano to its Foundation board
🚀 Major Releases
1. DeepSeek releases v4.1 Flash
2. OpenAI releases GPT-6 Astra for work
3. Cognition launches SWE-2, scoring 92.8 on Terminal-Bench 2.1
4. OpenAI ships GPT-Live-1 full-duplex voice API
5. Apple unveils foldable iPhone Duo and iPhone 18 Pro Reference Image capture
6. Suno releases v6, its first model trained with record industry help
