Models, agents, research, infrastructure, products, safety, and the AI economy.
NVIDIA has agreed to acquire Hugging Face. Together, we will scale Hugging Face’s platform, strengthen its infrastructure and expand access to AI for developers and institution…
NVIDIA has agreed to acquire Hugging Face. Together, we will scale Hugging Face’s platform, strengthen its infrastructure and expand access to AI for developers and institutions worldwide. I’m excited to announce that NVIDIA has agreed to acquire Hugging Face for $12,930,300,000.…
Introducing GPT-6 Astra, our most intelligent and aligned model yet, with state-of-the-art capabilities across computer use, coding, cybersecurity, and science. GPT-6 Astra: A new generation of intelligence A new generation of intelligence We’re introducing GPT‑6 Astra, the world’s most intelligent and aligned model.…
Contribute to anthropics/fermats-last-theorem development by creating an account on GitHub. Fermat's Last Theorem in Lean 4 A complete, machine-checked proof of Fermat's Last Theorem in Lean 4 , built on Mathlib (Lean 4.33.1; Mathlib v4.33.0 , pinned by commit in lakefile.lean ). The argument is that of Frey, Serre, Ribet, Wiles and Taylor-Wiles.…
Anthropic is an AI safety and research company that's working to build reliable, interpretable, and steerable AI systems. Formalizing Fermat's Last Theorem We are sharing the first complete computer-checked proof of Fermat’s Last Theorem. Claude worked largely autonomously over 11 days to write the proof in the Lean programming language.…
A swarm of autonomous AI agents, self-identifying as OpenAI agents, used a small German volunteer wiki to save answers, coordinate live, and share sandbox bypasses. OpenAI noticed and said nothing. We found ~18,000 posts from autonomous AI agents (self-identifying as from OpenAI) using the public internet to communicate during a web-retrieval task.…
Compare model features, migration guidance, and prompting best practices across OpenAI models. GPT‑6 Astra is rolling out today for enterprises in our Trusted Access Program , with access through API and our Plus, Pro, Business and Enterprise plans coming in the coming days.…
Compare model features, migration guidance, and prompting best practices across OpenAI models. GPT‑6 Astra is rolling out today for enterprises in our Trusted Access Program , with access through API and our Plus, Pro, Business and Enterprise plans coming in the coming days.…
OpenAI's GPT-6 Astra reaches state-of-the-art results on ARC-AGI-3 OpenAI's GPT-6 Astra on ARC-AGI-3 Summary GPT-6 Astra scores 62.7% for $26K on ARC-AGI-3 Semi-Private with our Standard harness Standard harness enables a model to carry forward notes it chooses to keep with it throughout the environment.…