IA
Inteligencia artificial: LLMs, agentes, difusión, visión, PLN y lo último de los principales laboratorios.
191 published articles
Infraestructura en la nube
Alibaba construye tanto el cerebro como el sistema inmunológico para los agentes de IA
Alibaba Cloud presenta un sistema de recuperación consciente del código para la codificación de IA y una plataforma de seguridad WAAP agéntica, ambos aprovechando modelos grandes para resolver problemas de latencia, privacidad y cumplimiento. La arquitectura híbrida busca superar a las herramientas basadas únicamente en embeddings y a los proveedores de WAF tradicionales.
2026-07-13
El expediente de la obsolescencia
Mistral AI acaba de eliminar la mitad de su familia de modelos. Esto es lo que sobrevivió y por qué.
Una auditoría de mediados de 2026 de la cartera de modelos de Mistral AI revela 36 modelos activos en niveles frontera, especialista y heredados, con 19 modelos programados para su eliminación a mediados de 2026. La estrategia de la empresa enfatiza modelos especializados pequeños para agentes y codificación, mientras elimina gradualmente variantes experimentales como Magistrate y versiones anteriores de Devstral.
2026-07-13
Benchmark integrity
GPT-5.6 Sol (max) encabeza CritPt, un nuevo punto de referencia de problemas de investigación en física no publicados
GPT-5.6 Sol (max) lidera CritPt, un nuevo punto de referencia de física basado en problemas de investigación de nivel de posgrado no publicados, obteniendo aproximadamente 5 puntos por encima de GPT-5.5 y 4 puntos por delante de Claude Fable 5, según pruebas independientes de Artificial Analysis.
2026-07-13
IA de Teledetección
Tokens más inteligentes reducen tres veces los costos de IA satelital sin perder precisión
OlmoEarth v1.1 de Ai4earth reduce los costos computacionales hasta 3 veces frente a v1 para el análisis de imágenes satelitales, utilizando una técnica de fusión de tokens más inteligente que mantiene el rendimiento. Los modelos actualizados permiten actualizaciones de mapas a escala planetaria más económicas para organizaciones asociadas.
2026-07-13
IA en la Educación
La Trampa del Aprendizaje con IA: Lo que un Estudio de 26,000 Estudiantes Revela sobre la Deuda Cognitiva en la Educación
Un estudio con 26,000 estudiantes, un experimento de imágenes cerebrales del MIT y una nueva investigación de la OCDE convergen en el mismo hallazgo: la IA generativa eleva las calificaciones de las tareas mientras erosiona silenciosamente el rendimiento en los exámenes y la actividad neuronal, a menos que la enseñanza se rediseñe en torno a ella.
2026-07-13
Análisis del agente de hojas de cálculo con IA
Kimi Sheets escribe fórmulas reales de Excel. La mayoría de las herramientas de IA solo te dicen cómo hacerlo.
Kimi Sheets es un agente de IA que convierte instrucciones en lenguaje natural en hojas de cálculo terminadas, con fórmulas reales, tablas dinámicas, gráficos y formato inteligente. A diferencia de los chatbots que solo dan consejos, Kimi Sheets edita directamente el archivo.
2026-07-12
Tutorial de IA
10 mejores prácticas para sacar el máximo provecho a los agentes de codificación con IA
Guía práctica para trabajar eficazmente con agentes de codificación con IA como GitHub Copilot, Cursor y herramientas basadas en Codex: delimitar tareas, revisar diferencias, asignar herramientas a tareas, disciplina de pruebas y mantener supervisión humana en el código compartido.
2026-07-12
Agentes de IA
Los agentes de codificación de Mistral dejan atrás tu portátil: sesiones paralelas, sin necesidad de supervisión constante
Mistral está trasladando los agentes de codificación a la nube, permitiendo la ejecución de tareas asíncronas y en paralelo mediante el nuevo modelo Mistral Medium 3.5. La actualización introduce agentes remotos en Mistral Vibe y Le Chat, junto con un modo Work para tareas de múltiples pasos, mientras mantiene la supervisión humana para acciones sensibles.
2026-07-12
Lean 4
Leanstral 1.5 demuestra que las viejas reglas de los precios de IA no se aplican a las matemáticas
Leanstral 1.5, un modelo de 6 mil millones de parámetros activos, satura miniF2F, resuelve 587 problemas de PutnamBench y descubre 5 errores no reportados previamente en repositorios de código abierto. A aproximadamente $4 por problema, reduce el costo de Seed-Prover en 75 veces y el de Aleph Prover en 15 veces, desafiando la suposición de que la verificación formal requiere presupuestos de cómputo masivos.
2026-07-12
Optimización de sistemas
DSpark demuestra por qué la inferencia rápida de IA es un problema de planificación, no un truco de modelo
El artículo de DSpark de DeepSeek revela que la decodificación especulativa ingenua degrada el rendimiento bajo alta concurrencia. Su solución, la verificación programada por confianza, adapta la longitud del bloque por solicitud y desplaza la frontera de Pareto del rendimiento del servicio.
2026-07-12
Inteligencia Artificial
El Qoder de Alibaba Cloud aborda el único problema que las herramientas de codificación de IA siguen evadiendo
Alibaba Cloud lanza Qoder, un agente de codificación de IA gratuito centrado en la visibilidad del código base, la comprensión arquitectónica y los flujos de trabajo centrados en especificaciones para cerrar la brecha entre los demos virales de IA y los desafíos reales de la ingeniería de software.
2026-07-12
Inteligencia Artificial
Qoder de Alibaba muestra a los desarrolladores lo que la IA está pensando, no solo el código que escribió
El agente de codificación Qoder de Alibaba Cloud apuesta a que los desarrolladores prefieren visibilidad sobre magia. Dos modos, enrutamiento automático de modelos y una capa de transparencia buscan resolver la complejidad en lugar de ocultarla.
2026-07-12