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.
Melody Flip es un complemento para estaciones de trabajo de audio digital, no un generador de canciones con un solo clic.
Puede editar imágenes, organizar álbumes y convertir fotos de carteles de conciertos en citas del calendario.
El conjunto de datos WORLD 2026 de AGIBOT cubre 14 tareas industriales y domésticas.
Los investigadores probaron extra trees y gradient boosting con el conjunto de datos MIMIC-III.
Geonho Lee y Min-Soo Kim lo desarrollaron como una extensión de PostgreSQL para reparar consultas de forma selectiva.
El nivel «xhigh», disponible públicamente, alcanza 61 puntos en el Intelligence Index.
Está orientado a la ingeniería de software de larga duración, los agentes inteligentes capaces de invocar herramientas de forma continua y los flujos de trabajo empresariales complejos.
Anglian Water ha firmado una prórroga de dos años con Samotics para monitorizar con Sam4 más de 250 activos de agua potable.
Gmail, Docs y Notas permiten buscar, resumir y crear contenido mediante lenguaje natural.
Investigadores de MIT Sloan y Johns Hopkins probaron equipos personalizados de humanos e IA con más de 1.200 participantes de Estados Unidos.
Slackbot puede usar el contexto de las conversaciones y Canvas para crear PDF, imágenes y vídeos.
ACE-Ego-Hand está diseñado para vídeos en primera persona captados con cámaras montadas en la cabeza: analiza una secuencia completa de una sola vez y genera la postura y la forma de ambas manos, además de sus posiciones 3D métricas.
El lanzamiento se dirige inicialmente a suscriptores de pago de Google AI en Android e iOS.
Investigadores de la Universidad de Southampton probaron la sesión DISCERN-AI con más de 600 participantes.
Los pacientes negros esperaron aproximadamente un 30 % más que los pacientes no negros en un sistema de citas basado en aprendizaje automático.
JanAI encuestó a 797 docentes de Uttar Pradesh, Karnataka, Jharkhand y Maharashtra.
Gmail Live encuentra detalles en cadenas de correos, responde a preguntas de seguimiento y muestra los mensajes de origen vinculados en una transcripción en directo.