Elon Musk announced that Grok 4.7 will be released in 10 days, posting in reply to praise of Grok 4.6. The note is a public teaser for the next version of xAI's flagship LLM.
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 now available to all Pro, Enterprise, and Business Premium users in ChatGPT Work and Codex, and is live in the API. Rollout to Plus and standard Business users may take a few more days. Astra is positioned as OpenAI's most capable and aligned model, able to perform computer tasks on a user's behalf.
Anthropic reports that Claude completed the first formalized proof of Fermat's Last Theorem in Lean—the largest Lean proof ever written, at over 13 million lines of code—and along the way proved more than 29,000 other theorems the argument depends on. Experts had expected the work to take years. Anthropic frames it as a step toward AI-assisted verification of mathematical proofs.
Discussion & Comments
0Sign in to join the discussion
Connect with AI developers to exchange benchmark insights.