Cursor announced that cloud agents can now run on customer infrastructure, including auto-scaling machine pools. Teams can give agents access to internal services or specialized hardware while keeping the agent loop inside Cursor.
GPT-6 Astra is now live for all Pro, Enterprise, and Business Premium users in ChatGPT Work and Codex, and in the API. OpenAI calls it the world's most intelligent and aligned model, with new state-of-the-art results on computer use, software engineering, and scientific discovery.
OpenAI says GPT-6 Astra is live for all Pro, Enterprise, and Business Premium users in ChatGPT Work and Codex, and in the API. The company calls it the most intelligent and aligned model yet, with new state-of-the-art results on computer use, browsing, software engineering, cybersecurity, and science. Plus and standard Business rollouts may take a few more days.
Anthropic announced that Claude completed the first formalized proof of Fermat's Last Theorem in Lean, a project experts expected would take years. The 13-million-line proof also verifies more than 29,000 supporting theorems and is the largest Lean proof ever written.
Discussion & Comments
0Sign in to join the discussion
Connect with AI developers to exchange benchmark insights.