Release3d ago
OpenAI's Tibo Says Dots Will Expand Its Model Family to Include GPT-6.1 Terra for Speed and Wider Reach
At 15:50 UTC on Nov 2, Tibo (@thsottiaux), whose X bio reads "Codex & ChatGPT @OpenAI", posted that OpenAI is working on expanding the family of frontier models that power dots, including GPT-6 Astra and GPT-6.1 Terra, with others to come. He said Terra brings speed and "a nice personality upgrade" and will help bring dots to more people. Dots are the always-on agents in ChatGPT with their own cloud computer, launched on GPT-6 Astra. This is a first-hand post by an OpenAI employee, not a formal company announcement; no timing or plan details have been published.
Tooling7d ago
OpenAI Codex CLI 0.166.0: keyboard transcript selection, GPT-6.1 Terra in Vertex AI and Bedrock catalogs, codex doctor network checks
OpenAI published the stable Codex CLI release rust-v0.166.0 on GitHub at 19:47 UTC on Oct 29. It adds keyboard-driven transcript selection by word, line and page with built-in search, adds GPT-6.1 Terra to the bundled, Vertex AI and Amazon Bedrock model catalogs, introduces codex queue --resume and codex doctor --network-only, and shows clearer safety-block explanations with selectable safer follow-up prompts in the TUI.
Tooling15d ago
GitHub Next Releases PDD Kit: Provable Specification Enforcement for Coding Agents to Eliminate Edge-Case Regressions
GitHub Next officially released PDD Kit (Property-Driven Development Kit), establishing a formal verification toolkit tailored for autonomous coding agents. Addressing the pervasive reliability gap where agent-generated code passes isolated unit tests but crashes on subtle edge cases, PDD Kit combines property-driven specifications with automated formal solvers. Instead of testing arbitrary sample inputs, PDD Kit mathematically proves that agent code adheres to rigorous invariant specifications across every possible input, preventing regressions and elevating coding agents from probabilistic generation to provable correctness.
Discussion & Comments
0Sign in to join the discussion
Connect with AI developers to exchange benchmark insights.