Según Anthropic: el último teorema de Fermat, formalizado en Lean
La demostración comprende 13 millones de líneas de código Lean y unas 29.500 teorías intermedias.
Modelos, agentes, aplicaciones: la inteligencia artificial puesta a trabajar en problemas reales.
Aquí la inteligencia artificial se juzga con pruebas: qué hace, para quién, a qué coste. La sección sigue los modelos y sus progresos medibles, los agentes que ejecutan tareas reales y, sobre todo, los despliegues — un hospital que criba a más pacientes, una red eléctrica mejor gestionada, una administración que responde antes. La IA espectáculo, las rondas de financiación sin producto y las profecías no tienen sitio.
Preferimos los casos de uso documentados, con las cifras delante: cuántos exámenes, qué tasa de error, qué ahorro. Los actores no occidentales —laboratorios chinos, indios, emiratíes— reciben el mismo trato que los estadounidenses, porque buena parte del despliegue real ocurre allí. Cada artículo cita sus fuentes y distingue el prototipo del servicio en producción.
La demostración comprende 13 millones de líneas de código Lean y unas 29.500 teorías intermedias.
Los resultados de la detección se enviarán directamente al equipo de seguridad del cliente, sin necesidad de revisión manual por parte de Anthropic.
Fable 5.1 is available today through cloud platforms and Anthropic’s API.
Janelia neuroscientist Arco Bast built the Model Hardware Standard with Anthropic and Claude Code.
Anthropic’s update lets Claude carry project details from conversations into Cowork without a fresh briefing.
The US-only API offers models from OpenAI, Anthropic, DeepSeek and other providers.