IA
Inteligencia artificial: LLMs, agentes, difusión, visión, PLN y lo último de los principales laboratorios.
165 published articles
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
LLMs de contexto largo
La atención bifocal de Jet-Long acaba con el compromiso de escalado fijo para LLMs de contexto largo
Jet-Long adapta el reescalado de RoPE dinámicamente por longitud de secuencia, utilizando una ventana local y una ventana de largo alcance fusionadas mediante inclusión-exclusión. En modelos Qwen3 de hasta 128K de contexto, supera las líneas base zero-shot existentes en más de 2 puntos porcentuales en RULER y logra la menor perplejidad en PG-19, todo ello añadiendo menos de un 4% de sobrecarga en generación.
2026-07-12
Interacción visual con IA
Cursor acaba de dar a los desarrolladores una forma más inteligente de decirle a la IA qué corregir: apuntar a ello
El modo de diseño actualizado de Cursor permite a ingenieros y diseñadores modificar la interfaz haciendo clic en elementos, dibujando sobre la página o diciendo los cambios en voz alta, mientras que el agente de IA extrae la identidad del elemento, los estilos y el contexto de diseño para editar el código. El enfoque acelera la iteración al alinear el ritmo del modelo con la rapidez con que los humanos detectan y actúan sobre problemas visuales.
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
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
Estrategia de datos sintéticos
El atlas de datos de Nvidia muestra por qué los datos sintéticos importan más que los pesos del modelo
El Nemotron Post-Training v3 Prompt Atlas de Nvidia proporciona un mapa interactivo de miles de millones de muestras de datos sintéticos, destacando cómo los datos sintéticos abiertos son la capa faltante para construir agentes de IA confiables. La empresa argumenta que el comportamiento de los agentes debe ser inspeccionable y que los datos sintéticos, publicados de manera abierta, son la única forma de preservar señales propietarias sin exponer secretos comerciales.
2026-07-12
Razonamiento Matemático
El equipo de M3 encontró una forma de evitar que los verificadores de matemáticas de IA hicieran trampa, y es un modelo para todos los laboratorios
El enfoque de M3 para el razonamiento matemático combina tres modelos expertos: Prueba, Verificador y Corrección, con un marco de búsqueda evolutiva. El relato ofrece detalles poco comunes sobre el hackeo de recompensas, la alineación del verificador y la ingeniería necesaria para hacer que los verificadores generativos sean confiables en tareas de razonamiento de alto riesgo.
2026-07-11
Estrategia de Agentes
Atlas ha muerto. La estrategia de agentes de OpenAI se vuelve más estrecha y arriesgada.
OpenAI está retirando su navegador experimental ChatGPT Atlas menos de un año después de su lanzamiento, absorbiendo sus aprendizajes en nuevas funciones de productividad. El cierre refleja un giro en toda la empresa, de la exploración a la consolidación, mientras corre para alcanzar a Anthropic en herramientas de trabajo agentivas.
2026-07-11
Estado del arte
Quince artículos sobre generación de IA revelan tres cambios que importan más que cualquier modelo individual
Una serie de 15 artículos sobre generación de IA revela tres cambios que importan más que cualquier modelo individual: los pipelines multimodales se han vuelto rutinarios, la orquestación agéntica reemplaza el encadenamiento manual y la retroalimentación en tiempo real convierte la generación de una apuesta en una conversación.
2026-07-11
Informe Especial
El cambio más silencioso en la IA empresarial este año es una apuesta de que los agentes trabajan mejor en equipo
OpenAI lanza agentes de espacio de trabajo: trabajadores de IA persistentes basados en la nube que operan en ChatGPT y Slack, manejan flujos de trabajo de múltiples pasos y comparten contexto entre equipos. Gratis hasta el 6 de mayo de 2026, luego basados en créditos. Un cambio estructural de los GPT a la IA organizacional.
2026-07-11
Adquisición
Mistral se abre camino en la física, en una carrera contra NVIDIA y Ansys
Mistral se introduce en la simulación física mediante la adquisición de los sustitutos neuronales de emmi AI para CFD y turbulencia de plasma. El acuerdo sitúa a Mistral en competencia directa con NVIDIA y Ansys por el mercado de ingeniería industrial.
2026-07-11