Mistral lanza Leanstral 1.5, un modelo gratis para demostrar teoremas en Lean 4
Mistral ha lanzado Leanstral 1.5, un modelo especializado en demostrar teoremas matemáticos en Lean 4, y lo ofrece gratis en su nivel Labs, [según su…
Noticias
Últimas noticias de IA
Venice AI se hace unicornio con una Series A de 65 millones y su IA sin censura ya es rentable
Venice AI ha cerrado una ronda Series A de 65 millones de dólares a una valoración de 1.000 millones, lo que la convierte en unicornio. Lidera Dragonfly,…
Anthropic estaría negociando su propio chip con Samsung, según The Information
The Information adelanta, y lo recogen TechCrunch y…
Hugging Face y Cerebras corren Gemma 4 a 1.851 tokens por segundo para voz en tiempo real
Hugging Face y Cerebras han montado un asistente de voz que responde en tiempo real, y el truco no está en el micrófono ni en el altavoz. Está en el…
Nvidia estrena un modelo de compute sin capital por adelantado: reparte ingresos y avala crédito a cambio de GPUs
Nvidia va a financiar el acceso a sus propias GPUs. En un [anuncio en su…
Wayve recompra 85 millones en acciones a sus empleados a una valoración de 8.500 millones
La británica Wayve, que desarrolla software de conducción autónoma con IA, ha abierto una recompra de acciones a empleados por valor de 85 millones de…
MGX de Abu Dhabi cierra un fondo de IA de 49.000 millones, el mayor dedicado solo a IA
MGX, la firma de inversión de Abu Dhabi que respalda a Anthropic y OpenAI, cerró el 1 de julio de 2026 un fondo de 49.000 millones de dólares dedicado…
Microsoft usa Copilot para desmantelar dos de las mayores herramientas de cibercrimen
Se habla mucho de la IA como arma de los atacantes. Este caso va del otro lado. Microsoft dice que su IA [Copilot ayudó a…
Portugal lanza Amalia, su primer modelo de IA abierto, con 5,5 millones de fondos europeos y para uso público
Portugal ya tiene modelo de IA propio y abierto. El país presentó el 1 de julio Amália, un modelo de lenguaje diseñado para el portugués europeo, según…
SpaceX habría enseñado un prototipo de dispositivo de IA a inversores, aunque Musk lo desmiente
Elon Musk ha desmentido la noticia de que SpaceX esté desarrollando un dispositivo de IA con forma de teléfono. La calificó de "utterly false"…
Cloudflare obliga a las IA a pagar por rastrear contenido con su modelo Pay Per Use
Cloudflare puso en marcha "Pay Per Use", un modelo que obliga a los crawlers de IA a pagar por acceder al contenido de los medios. Los editores dejan de…
Together AI capta 800 millones y llega a 8.300 de valoración montando la infraestructura del código abierto
Together AI ha captado [800 millones de dolares en una Serie C que la valora en 8.300…
Bridgewater enseña a un modelo abierto a igualar a sus analistas por 14 veces menos coste
AIA Labs, el laboratorio de IA de Bridgewater (el mayor hedge fund del mundo), se junto con Thinking Machines para resolver un problema que suena facil y…
Fable 5 vuelve con un filtro nuevo que desvía código a Opus 4.8
Anthropic ha vuelto a poner Claude Fable 5 disponible en todo el mundo este 1 de julio, un dia…
Los 5 roles del futuro según el creador de Claude Code, y qué significan para tu equipo
Boris Cherny, el responsable de Claude Code en Anthropic, publicó en X una reflexión que va más allá…
Fable 5 automatiza el 16% del trabajo freelance y sextuplica la marca de la IA en un año
El Remote Labor Index acaba de poner numero a algo que se intuia: la IA ha dado…
OpenAI fabrica su primer chip propio con Broadcom para depender menos de Nvidia
OpenAI ya no quiere depender solo de Nvidia para mover sus modelos. El 24 de junio, junto a Broadcom, presentó Jalapeño, su primer chip propio. No es…
Google lleva Gemini Spark, su asistente agéntico, al Mac para pelear con Claude Desktop
Google llevó Gemini Spark, su asistente agéntico, a macOS en beta. De momento solo para suscriptores de Google AI Ultra en Estados Unidos. Spark se…
Adobe compra Topaz Labs para llevar la IA de imagen y vídeo a tu propio dispositivo
Adobe se lleva a uno de los nombres más queridos de la edición de imagen y vídeo con IA. El 25 de junio [anunció un acuerdo definitivo para comprar Topaz…
Meta racionará Claude Code y Codex entre sus ingenieros por miedo a que copien sus modelos
Meta ha dicho a sus ingenieros que dejen de apoyarse en Claude Code y en Codex. Lo cuenta [The…
Zuckerberg admite que los agentes de IA de Meta van más lentos de lo esperado
En un town hall interno, Mark Zuckerberg reconoció que el desarrollo de agentes de IA en Meta no va como esperaban. Lo cuenta…
El 68% de los empleados ya usa agentes de IA: el miedo de las plantillas es un mito
Se habla mucho del miedo de los trabajadores a la IA. Los datos cuentan otra cosa. Según una encuesta de KPMG que recoge [The Deep…
Microsoft mete Skills en Excel: guarda un análisis una vez y que lo use todo el equipo
Excel sigue siendo el sitio donde la mayoría de equipos hace de verdad sus números. Hasta ahora la IA ahí era pedir cosas sueltas una y otra vez. El 25…
NotebookLM de Google ya resume tu investigación en un clip vertical de 60 segundos
Google acaba de meter creación de vídeo corto dentro de NotebookLM. La nueva función Video Overviews en formato Short genera clips verticales de 60…