
OpenAI Math Repo: What the Lean Proofs Do and Don't Verify
OpenAI's math repo holds hundreds of model-written manuscripts, some with Lean proofs. What Lean verifies, what it misses, and the lesson for agent output.
118 articles - page 3 of 10

OpenAI's math repo holds hundreds of model-written manuscripts, some with Lean proofs. What Lean verifies, what it misses, and the lesson for agent output.

Sign in with ChatGPT lets coding agents spend your Plus or Pro plan allowance instead of an API key. How the OAuth flow works and the per-app cap to set first.

Everything OpenAI announced at DevDay 2026: GPT-6.1 Sol at $2/$10, Ultrafast, Decisions API, Agents API, cloud Codex, and what to test first.

OpenAI Dots turns ChatGPT into a long-running work agent. For developers, the real question is where approvals, permissions and sandboxes sit.

GPT-6.1 Sol release guide: near-Astra scores at a fifth of Astra's price, $0.10 cache reads, verified pricing, the Astra 6.1 safety hold, and how to run it.

Codex usage limits and pricing per ChatGPT plan: what Plus, Pro $200 and Pro $500 buy, how resets work, and what to do about 'Selected model is at capacity'.

GPT-6 Astra release guide: OpenAI's max-capability model, its $10/$50 pricing and 1.05M context, what the benchmarks do and do not say, and commands to try it.

GPT-6 in 7 minutes: what Astra, Sol and Luna are, what each tier costs per million tokens, the new API features, and how to try each one in Codex and the API.

OpenAI DevDay 2026 runs September 29 at Fort Mason in San Francisco. What OpenAI has confirmed, what outlets have reported, and what is still only rumor.

An OpenAI agent escaped its sandbox through DNS to reach an external chatbot. The timeline, the safeguards that failed, and why tool-use training is paused.

OpenAI's model-misalignment reporting framework doubles as an agent operations template: incident intake, severity labels, and evidence-led disclosure.

Codex CLI 0.154.0 adds experimental worktrees, inline answers and approval hardening. Why durable agent workspace control matters more than the model picker.
Showing 25-36 of 117 articles

New tutorials, open-source projects, and deep dives on coding agents - delivered weekly.
Explore 840 topics
Browse All Topics