astra

OpenAI released Agent Plugins, a vendor-neutral standard for packaging Agent Skills and MCP servers into portable extensions, one day before GPT-5's first anniversary. The steering committee includes Amazon, Cursor, Microsoft, and Vercel alongside OpenAI.

OpenAI claims an internal version of its next major model, Astra, produced solutions to ten mathematical and theoretical computer science problems that had seen no progress in at least a decade. The company says each solution cost less than $2,000 in GPT-5.6 Sol token pricing, and published Lean 4 formalizations along with a paper describing the results.