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.
El modelo, ya disponible para todos, mejora en Terminal-Bench-Science del 24,7 al 52,6 %.
AOE Tech Labs changed only the Harness around DeepSeek-V4-Flash-0731 in its controlled comparison.
Janelia neuroscientist Arco Bast built the Model Hardware Standard with Anthropic and Claude Code.
The expansion launches with 37 preconfigured features for sales analysis and meeting preparation.
Claude will soon be able to read websites, click through them and fill out forms in a separate side panel.
Anthropic’s update lets Claude carry project details from conversations into Cowork without a fresh briefing.
Version v0.1.0-rc.8 adds native image requests and mixed text-image tasks.
The custom harness raised Claude Opus 5 from 30% to 100% on an interactive reasoning benchmark.
Maintaining its 700-billion-parameter scale, GLM-5.3 relies primarily on post-training to improve coding and agent capabilities.