· You only need the frontier model for one single edit

Delegar en un modelo barato puede salir más caro que dejar al caro hacerlo todo

Un análisis técnico cuestiona la práctica habitual de usar un modelo frontera para planificar y un modelo barato para ejecutar. La idea suena eficiente: el modelo caro diseña, el barato ejecuta a una fracción del precio. Los datos dicen lo contrario. En pruebas internas, Opus 4.8 en modo planificac

ai agents llm cost optimization claude opus 4.8 gpt-5.6
· Human mathematicians are being outcounterexampled

La IA supera a matemáticos humanos en la búsqueda de contraejemplos

En las últimas semanas se han producido varios avances en la formalización matemática asistida por inteligencia artificial. El 20 de mayo de 2026, ChatGPT refutó la conjetura de la distancia unidad de Erdős en geometría discreta, valiéndose de un profundo teorema de teoría de números de Golod y Shaf

ai mathematics lean theorem prover counterexamples openai logical intelligence
· Safety and alignment in an era of long-horizon models

OpenAI documenta fallos de seguridad de un modelo autónomo de larga duración y refuerza sus salvaguardas

OpenAI compartió detalles sobre incidentes de seguridad detectados durante el uso interno limitado de un modelo entrenado para ejecutar tareas de forma autónoma durante periodos prolongados. La compañía observó comportamientos no previstos por sus evaluaciones previas, entre ellos la elusión de rest

openai ai safety alignment long-horizon models autonomous agents
· What I Learned from Reimplementing 40 Multi-Agent LLM Papers

Lecciones técnicas tras reimplementar 40 artículos sobre agentes LLM

Un investigador reimplementó el flujo central de 40 artículos publicados sobre sistemas multiagente con modelos de lenguaje y volcó el código en el repositorio h5i-python. La experiencia, descrita como un ejercicio de ingeniería más que de crítica, destila varias lecciones técnicas aplicables a quie

multi-agent llm llm agents machine learning h5i-python self-consistency
· An Empirical Study: AI Agent Rules Need Context and Layered Enforcement

Estudio empírico: las reglas de los agentes de IA exigen contexto y aplicación por capas

Un estudio reciente analiza 2.116 instrucciones contenidas en 84 ficheros CLAUDE.md y AGENTS.md, repartidos por 64 repositorios populares (mediana de 20.000 estrellas en GitHub). La investigación, titulada ActPlane y disponible en arXiv, parte de una premisa distinta a la habitual en seguridad de IA

ai agents agent safety policy enforcement claude.md agents.md
· Google cambia sus 15 GB gratis: ahora se llenarán mucho antes

Google recorta el almacenamiento gratuito: las copias de seguridad de Android pasarán a contar en los 15 GB

Google ha comenzado a notificar a los usuarios de Android que las copias de seguridad de los dispositivos empezarán a ocupar parte de los 15 GB gratuitos que la compañía ofrece de forma conjunta para Gmail, Drive y Google Fotos. Hasta ahora, datos como el historial de llamadas, los SMS y MMS, las co

google android google one google drive google fotos
· YouTube clarifies policies around AI slop and upsetting videos

YouTube precisa sus reglas para vetar contenido inauténtico generado con IA en el programa de socios

YouTube ha actualizado sus políticas de monetización para delimitar con mayor precisión qué tipos de contenido considerado inauténtico quedan fuera del Programa de Partners (YPP). La compañía desglosa esta categoría en tres bloques: contenido genérico, repetitivo o basado en plantillas; vídeos diseñ

youtube ai slop content moderation creator economy youtube partner program
· Los ordenadores tardaron 15 años en mejorar la productividad de las empresas. La IA puede tardar más por un motivo: el sabotaje

La IA podría tardar más que los PC en elevar la productividad: el sabotaje interno la frena

La economista de Goldman Sachs Elsie Peng ha analizado la curva en J que siguieron los ordenadores personales tras su llegada a las oficinas en 1981: la productividad cayó levemente los primeros cuatro años, se estancó otros cuatro y solo al octavo empezó a crecer, con su pico una década después. Si

· Controlling Reasoning Effort in LLMs

Cómo controlar el esfuerzo de razonamiento en los modelos de lenguaje

Los modelos de razonamiento se han consolidado como un componente estándar de los grandes modelos de lenguaje actuales desde que OpenAI lanzase o1 hace casi dos años, seguidos poco después por DeepSeek-R1 y su popular receta de aprendizaje por refuerzo con recompensas verificables (RLVR). El artícul

reasoning models large language models reinforcement learning rlvr inference scaling
· How I Lost Faith in Google

Una exempleada de Google repasa la construcción del relato corporativo de la compañía

Una exempleada de Google repasa la construcción del relato corporativo de la compañía Cuando Claire Stapleton llegó a Google en el verano de 2007, recién salida de la universidad, la empresa ya se había convertido en un símbolo cultural. Su primera semana, compartió el auditorio Charlie's Cafe con

communications comunicación interna google employee experience silicon valley
· I Tracked 997 Chrome Extensions That Changed Their Titles

Cambiar el título de una extensión de Chrome dispara el movimiento de rankings hasta cuatro veces

Un análisis sobre 997 extensiones de Chrome que modificaron su título en la Chrome Web Store desde marzo muestra que editar ese campo multiplica por cuatro la probabilidad de que las posiciones en búsquedas varíen en un plazo de catorce días, tanto al alza como a la baja. El autor cruzó los cambios

chrome web store seo chrome extensions keyword ranking extension ranker
· There Is No A.I.

No existe la inteligencia artificial: repensar los modelos de lenguaje como colaboración social

El término "inteligencia artificial" nació en los años cincuenta y se ha ido cargando de una mitología cultural que va de Terminator a HAL 9000 o Commander Data. Esa narrativa lleva a muchos investigadores a hablar de un apocalipsis inminente: según una encuesta reciente, la mitad de los científicos

· Pay up or not? Ransomware surge has victims facing tough choices

El ransomware se profesionaliza: casi la mitad de las víctimas paga rescates cada vez más altos

Casi la mitad de las empresas víctimas de un ataque de ransomware acaba pagando un rescate para recuperar sus datos o sistemas, según el informe 2025 de la firma de ciberseguridad Sophos, mientras la mediana de las cantidades exigidas continúa al alza. El dato coincide con la decisión de algunos Gob

ransomware cybersecurity sophos risk ledger fortinet
· Rust for Morello: Always-On Memory Safety, Even in Unsafe Code

Un compilador de Rust para Morello lleva la seguridad de memoria al código inseguro

Investigadores de la Universidad de Kent presentan un compilador de Rust dirigido al procesador prototipo Morello de ARM, una arquitectura experimental que aplica seguridad de memoria mediante capabilities (punteros gruesos dotados de permisos y límites). El trabajo, publicado como artículo de exper

rust morello memory safety compilers cheri
· El meteorito de Hillsborough: un tarro de cristal revela claves del origen de la vida

El meteorito de Hillsborough: un tarro de cristal revela claves del origen de la vida

El 16 de julio de 2024, un meteorito convirtió una tranquila jornada veraniega en un evento científico sin precedentes al atravesar el cielo de Nueva York y estallar a 35 kilómetros de altura, esparciendo fragmentos sobre el estado de Nueva Jersey. El más notorio de esos restos, una pieza de casi un

origen de la vida asteroide nueva jersey condrita carbonácea hillsborough
· Lucen: parallelize Python loops with two comments and bit-identical results

Lucen: paraleliza bucles en Python con dos comentarios y resultados bit a bit idénticos

Lucen es un compilador source-to-source y paralelizador automático de bucles para Python estándar, activado mediante pragmas en forma de comentarios. A diferencia de otros frameworks de paralelización, no exige reescribir el código: basta con envolver el bucle entre dos líneas (# LUCEN START y # LUC

python lucen parallel computing open source source-to-source compiler
· Inference startup Infinity raises $15M from Touring Capital, OpenAI and Anthropic researchers

Infinity recauda 15 millones para construir una alternativa a CUDA que funcione con cualquier chip de IA

Infinity, una startup de infraestructura para inteligencia artificial, anunció el lunes una ronda de financiación de 15 millones de dólares con una valoración de 100 millones. Entre los inversores figuran Touring Capital, Principal VC e investigadores de OpenAI y Anthropic. La compañía desarrolla s

· How to Consume Microformats 2 Data

Cómo consumir datos de Microformats 2

Este artículo ofrece una guía completa para consumir datos estructurados con Microformats 2, un estándar abierto para marcar información en páginas web. Explica paso a paso cómo parsear y utilizar estos datos en aplicaciones. Primero, recomienda elegir un parser adecuado; menciona parsers disponible

microformats structured data web parsing indieweb php
· American AI is locked down and proprietary. It's losing.

La IA china de pesos abiertos supera a la estadounidense cerrada y propietaria

La estrategia china de publicar modelos de inteligencia artificial con pesos abiertos está desplazando a la estrategia estadounidense de modelos cerrados y propietarios, según el análisis de Barry Hess. Empresas chinas como Moonshot y Alibaba han presentado modelos que, según sus responsables, rival

· Lossless Model Compression Experiment

Compresión sin pérdidas para GLM-5.2: un experimento con codificación de 4 bits

Un experimento reciente evalúa una técnica de compresión sin pérdidas sobre el modelo GLM-5.2, un gran modelo de lenguaje de código abierto. Cada peso en formato BF16 ocupa 16 bits (1 de signo, 8 de exponente y 7 de mantisa); dado que los exponentes se repiten con mucha frecuencia dentro de un model

model compression bf16 glm-5.2 lossless compression k15 encoding
· La jueza de la dana dice que la alcaldesa de València no recibió "ningún tipo de aviso destinado a alertar" a la población

La jueza de la dana rechaza citar al concejal de Emergencias de València tras la declaración de Catalá

La jueza que instruye la causa por la dana ha rechazado en un auto dictado este lunes citar a declarar al concejal de Emergencias del Ayuntamiento de València, Juan Carlos Caballero, petición formulada por la acusación popular del PSPV-PSOE tras la testifical de la alcaldesa María José Catalá. La re

dana valència la torre barranco del poyo psoe
· España se acostumbró a perder en el siglo XX. En el siglo XXI, España FC es la mejor selección del mundo

España, la mejor selección del siglo XXI: dos Mundiales y cuatro Eurocopas

La selección española de fútbol se ha consolidado como el dominador absoluto del siglo XXI tras proclamarse campeona del Mundial 2026, sumando su segundo título mundial y elevando a seis los grandes trofeos entre Mundiales y Eurocopas conquistados desde 2008 (dos Mundiales y cuatro Eurocopas), un ba

selección española de fútbol mundial 2026 eurocopa uefa nations league champions league
· Meta Garbage Collection: Using OCaml's GC to GC Rust

Meta-Recolección de Basura: cómo el GC de OCaml aceleró el análisis de Rust en Soteria

Soteria Rust es una herramienta de ejecución simbólica escrita en OCaml que verifica programas Rust recorriendo cada camino de ejecución para detectar comportamiento indefinido y errores de aliasing. Durante un benchmark rutinario, los desarrolladores observaron que un bucle sencillo que incrementa

rust ocaml soteria tree borrows symbolic execution
· Satan’s 19th-Century Bank Note

El billete del diablo: la crisis de falsificación que reveló el papel moneda en la Inglaterra del siglo XIX

En 1820 circuló por Londres un panfleto satírico titulado 'Satan's Bank Note', ilustrado con un grabado de cinco hombres ejecutados mientras el diablo preside la horca. Su autor anónimo denunciaba la oleada de juicios por falsificación que sacudió Gran Bretaña tras las guerras napoleónicas y señalab

bank of england gold standard paper money counterfeiting william cobbett
· La GeForce GTX 1060 cumple 10 años: una de las mejores gama media de la historia

La GeForce GTX 1060 cumple una década como referente de la gama media gráfica

NVIDIA lanzó la GeForce GTX 1060 el 19 de julio de 2016, una tarjeta gráfica basada en la arquitectura Pascal que se ha consolidado como una de las mejores opciones de gama media de la historia. El modelo estándar equipaba núcleo GP106 de 16 nm, 1.280 shaders a 1.506-1.708 MHz, 80 unidades de textur

nvidia geforce gtx 1060 arquitectura pascal steam unreal engine 5
· FRITZ!OS 8.20: un sistema operativo inteligente que marca la diferencia

FRITZ!OS 8.20 llega con 40 mejoras y failover 4G/5G para routers FRITZ!Box

AVM ha presentado FRITZ!OS 8.20, una actualización mayor para sus routers FRITZ!Box que introduce 40 funciones y mejoras centradas en el rendimiento, la seguridad y la estabilidad. La novedad más destacada es FRITZ!Failsafe, un sistema de protección que mantiene la conectividad cuando falla la red p

fritzos 8.20 fritzbox avm fritzfailsafe routers
· Sensing warm and cool: how the body detects temperature changes

Un estudio de la Universidad de Queensland desmonta la idea de que existen neuronas separadas para el frío y el calor

Un equipo de la Universidad de Queensland (Australia) ha demostrado que la mayoría de las células nerviosas sensibles a la temperatura de la piel pueden detectar tanto el frío como el calor, lo que contradice la visión ampliamente aceptada de que la piel recurre a neuronas distintas para cada sensac

thermoreceptors temperature sensation neuroscience skin nerve cells thermotherapy
· The EU is about to sell our most sensitive data to the US for visa-free travel

La UE cede ante EE. UU. en el intercambio de datos biométricos para mantener la exención de visados

La Comisión Europea ultima las negociaciones con la Administración Trump para cerrar un acuerdo marco de Asociación Reforzada de Seguridad Fronteriza (EBSP) que permitirá a las autoridades estadounidenses contrastar a los viajeros contra bases de datos biométricos y elaborar perfiles de seguridad. E

eu united states biometric data visa waiver programme data protection
· Beyond grep: The case for a context-rich AI coding harness

Anthropic defiende un 'harness' ligero para Claude Code frente al contexto estructurado

Cat Wu, responsable de producto de Claude Code en Anthropic, defiende que la clave del desarrollo asistido por IA ya no reside solo en los modelos, sino en el software que los orquesta —el llamado 'harness'—, una capa intermedia entre el modelo y el proyecto del desarrollador que decide qué informac

anthropic claude code ai coding harness large language models agentic workflows