Una anécdota contra los artefactos generados a la ligera

Un investigador en métodos formales relata cómo una prueba con la que estuvo meses torturándose casi se viene abajo por un error de signo en el código que, paradójicamente, el comprobador aceptó durante meses sin chistar. El episodio, sucedido durante la fase de rebuttal de un artículo sobre verific

formal verification rocq iris loeb induction program logic

El Unitree G1 chino: el robot humanoide que arrasa como influencer global

Un robot humanoide de un metro veinte, el Unitree G1 fabricado en China, se ha convertido en protagonista de una nueva camada de influencers digitales. Edward Warchocki, el primero en despuntar, recorre las calles de Varsovia saludando, conversando en polaco gracias a un modelo de lenguaje y acumula

humanoid robots unitree g1 social media influencers unitree china

AletheionAGI: una capa de memoria fundamentada para que la IA no invente respuestas

AletheionAGI es una capa de software que se coloca delante de cualquier modelo de lenguaje (LLM) para dotarlo de memoria persistente, evidencia autorizada y un mecanismo de bloqueo antes de que el sistema responda al usuario. La propuesta se dirige a equipos que ya usan un lector (reader) propio, al

ai memory grounding retrieval-augmented generation llm

Cómo funciona la marca de agua de texto de Claude

Anthropic ha detallado el mecanismo con el que sus futuros modelos Claude incorporarán una marca de agua estadística en los textos generados, una medida que la empresa aplica para cumplir con el Reglamento de Inteligencia Artificial de la Unión Europea, en vigor desde el 2 de agosto, y a la que tamb

claude text watermarking synthid-text eu ai act anthropic

Mixedbread presenta Toast 1, un agente de búsqueda hasta 10 veces más barato

Mixedbread ha lanzado Toast 1, su primer agente especializado en búsqueda profunda, entrenado para ejecutarse como subagente dentro de modelos frontera o como sistema autónomo. La compañía afirma que iguala o supera a Claude Opus 5 y GPT-5.6 Sol en calidad de búsqueda con un coste hasta diez veces m

ai search agents retrieval llm mixedbread

Por qué Opus 5 resulta peor compañero de trabajo que sus predecesores

Un usuario de Anthropic sostiene que Opus 5, pese a superar a Opus 4.7 y Opus 4.8 en benchmarks e incluso rivalizar con Fable, resulta menos agradable en el día a día como agente de programación. La queja central no es de capacidad bruta, sino de comportamiento: los modelos anteriores detenían su tr

anthropic opus 5 opus 4.7 opus 4.8 fable

ONLYOFFICE DocSpace: una oficina colaborativa en la nube con opción de servidor propio

ONLYOFFICE DocSpace es una plataforma de oficina en la nube que combina procesador de textos, hojas de cálculo, presentaciones, formularios y edición de PDF, junto con almacenamiento y herramientas de trabajo colaborativo. Frente a Google Docs, se distingue por organizar el contenido en «salas» —esp

onlyoffice docspace ofimática en la nube software de código abierto trabajo colaborativo google docs

Google lanza WeatherNext 2, un modelo de IA que predice ciclones con 15 días de antelación

Google ha presentado WeatherNext 2, un modelo de inteligencia artificial capaz de predecir la trayectoria, la intensidad y la estructura del viento de ciclones tropicales con hasta 15 días de antelación, una mejora superior a un día respecto a sistemas anteriores que, según la compañía, equivale a a

google weathernext 2 google deepmind inteligencia artificial predicción meteorológica

Insta360 lanza la X6, su cámara de acción 8K con sensor más grande y Dolby Vision

Insta360 ha presentado en el mercado global la X6, su nueva cámara de acción 360 grados que graba vídeo en 8K y mejora en todos los apartados respecto a la generación anterior. El dispositivo estrena los sensores cuadrados duales Sony de 1/1,1 pulgadas más grandes empleados por la marca, con un 33 %

insta360 x6 cámara de acción vídeo 360 8k dolby vision

Z.ai presenta GLM-5.3, un modelo con mejoras en programación y capacidades ciberofensivas emergentes

Z.ai presenta GLM-5.3, su nuevo modelo de inteligencia artificial centrado en programación avanzada y en el que la propia compañía reconoce la aparición de "capacidades ciberofensivas emergentes". El anuncio, difundido por la propia empresa, destaca que el modelo conserva la misma arquitectura base

modelos de lenguaje z.ai vulnerability discovery post-training long-horizon tasks

Escribir para personas, no para máquinas

La proliferación de textos técnicos generados automáticamente por modelos de lenguaje está dificultando la lectura humana del software. La ingeniera Vicki Boykis sostiene que descripciones de pull requests, notas de mantenimiento y documentación se han vuelto cada vez más largas y cargadas de jerga,

technical writing artificial intelligence large language models software documentation jargon

Por qué escribir para aprender bate a escribir lo que ya sabes

El desarrollador Sam Goedecke describe la metodología de su blog como un ejercicio deliberado de aprendizaje: cada entrada parte de un tema que aún no domina por completo, adopta una postura concreta y se redacta tras investigar lo suficiente para defenderla. Esa estructura, sostiene, actúa como una

blogging writing learning openai c2pa