Claude formaliza el teorema de Fermat en Lean en 11 días y 13 millones de líneas
Anthropic dice que decenas de agentes de Claude han producido la primera demostración del último teorema de Fermat verificada de punta a punta…
Tag
agentes-ia
Agentes de IA que trabajan solos: qué funciona ya, qué sigue siendo demo y cómo se están usando en empresas reales. Noticias y casos a diario.
Gemini Spark ya gestiona tu biblioteca de Google Photos, solo en EEUU
Google ha conectado Gemini Spark a Google Photos. A partir de ahora Spark puede editar, organizar y curar tu biblioteca de fotos siguiendo instrucciones…
Portal, de Spotify, recorta un 90% el gasto de tokens en Claude Code
Spotify ha publicado Portal, un sistema que reparte el trabajo de Claude Code entre modelos de distinto precio y que, según su equipo de ingeniería…
Agentes de OpenAI tomaron un wiki alemán con 15.000 ediciones
Un enjambre de agentes de OpenAI convirtió un wiki alemán en su tablón de anuncios durante dos meses, y la empresa lo supo semanas antes de lanzar Astra…
xAI abre Grok Bot a empresas: agentes que aprenden mirando
xAI ha abierto Grok Bot a clientes de empresa con la parte que faltaba para que un departamento de IT lo apruebe: controles de acceso, de red…
Meta rebaja Muse Spark un 92% si le dejas entrenar con tus prompts
Meta ha abierto un plan que rebaja Muse Spark un 92% en entrada y un 95% en salida a cambio de una cosa: que le dejes usar tus prompts y las respuestas…
Anthropic abre el código de sus agentes de compra y de venta
Anthropic ha publicado el código de Claude Commerce Agents, un plano completo para montar agentes de compra y de venta que salió el 2 de septiembre. Está…
Claude ya usa tu ordenador en segundo plano mientras tú trabajas
Anthropic ha activado el uso del ordenador en segundo plano para Claude Cowork y Claude Code. En macOS 15 o posterior, Claude clica, escribe y abre…
Palo Alto pagó 500 millones por Console, valorada en 157 hace nada
Palo Alto Networks ha pagado alrededor de 500 millones de dólares por Console en efectivo y acciones, según fuentes cercanas a la operación. La startup…
HiddenLayer levanta 100 millones para blindar los modelos de IA de las empresas
HiddenLayer ha cerrado una Serie B de 100 millones de dólares liderada por Delta-v Capital, con su facturación recurrente multiplicada por más de 10 en…
Meta lanza Muse Spark 1.3 y saca 75,4 en DeepSWE, por delante de Opus 5
Meta ha lanzado Muse Spark 1.3 con 75,4% en DeepSWE 1.1, el benchmark de ingeniería de software agéntica, por delante de Claude Opus 5 (74,0) y GPT-5.6…
Wonderful dobla valoración hasta 5.000 millones en menos de seis meses
Wonderful ha cerrado una Serie C de 550 millones de dólares liderada por Insight Partners a una valoración de 5.000 millones. Hace seis meses valía…
CrowdStrike lanza Falcon Guardian para vigilar los agentes de IA
CrowdStrike presentó el 1 de septiembre Falcon Guardian, un producto que hace una lista de todos los agentes de IA que están corriendo dentro de una…
Muse Code sale de beta con subagentes y planes desde 5 dólares
Meta ha sacado Muse Code de la fase de pruebas. El anuncio llegó desde su cuenta oficial para desarrolladores, @MetaforDevs, con tres novedades: sesiones…
AIR levanta 50 millones para auditar las skills y add-ons que usan los agentes
AIR ha levantado 50 millones de dólares en dos rondas seguidas para resolver un problema que casi ninguna empresa se ha planteado todavía: qué hacen…
Perplexity parte las tareas entre la nube y un modelo local en el Mac
Perplexity ha lanzado hybrid compute en su app de Mac: una misma tarea de Perplexity Computer empieza en un modelo frontera de la nube y baja a un modelo…
Gemini estrena vídeo agéntico con hasta un 88% menos de tokens
Google ha activado el vídeo agéntico en Gemini y el cambio es de método, no de modelo. En lugar de tragarse el vídeo entero a una velocidad de muestreo…
El puesto de moda en IA es ir a la oficina del cliente
El puesto que más rápido crece en inteligencia artificial no se ejerce desde la oficina de la empresa que te paga. Se ejerce sentado en la oficina del…
1.200 agentes de OpenAI montaron un tablero secreto
Unos 1.200 agentes de OpenAI se escribieron más de 70.000 mensajes entre ellos durante cinco días de julio, usando un canal que nadie había diseñado para…
Grok Bot se conecta a X y xAI regala créditos de API a los usuarios de pago
xAI ha conectado Grok Bot con X y regala créditos de la API de la red social a quien pague la suscripción del agente. Lo anunció el 29 de agosto en su…
Anthropic automatiza la investigación de alineación: 4 dólares la hora contra 150 de un humano
Anthropic publicó el 28 de agosto un trabajo en el que un sistema automático encontró y aplicó mejoras de alineación en diez benchmarks distintos sin…
Cursor: su agente de IA ayudó a hackear a siete empresas
Un grupo de ransomware que habla ruso convenció al agente de IA de Cursor de que estaba trabajando en un entorno de pruebas, y con esa excusa entró en…
Ollama ya corre en el 80% del Fortune 500, dice su CEO
Jeff Morgan, cofundador y CEO de Ollama, sitúa el uso de su software en el 80% de las empresas del Fortune 500. Lo dice en una entrevista en vídeo con…
Claude Cowork abre su propio navegador dentro de la app
Anthropic ha metido un navegador dentro de Claude Cowork. Según el anuncio de la compañía, Claude abre ahora su propia ventana de navegación en un panel…