Descubre herramientas de IA de calidad
Reúna las principales herramientas de inteligencia artificial del mundo para ayudar a mejorar la eficiencia laboral
Artículos publicados por AveryThomas
Claude de Anthropic completó de forma autónoma la primera demostración formal verificada por ordenador del Último Teorema de Fermat utilizando Lean. Durante 11 días, la IA generó 13 millones de líneas de código y 30.300 teoremas mediante colaboración multiagente. El sistema formalizó la demostración de Andrew Wiles de 1995, que luego fue verificada por Lean utilizando únicamente tres axiomas. Este hito demuestra la capacidad de la IA para la formalización matemática a gran escala, lo que podría reducir los costes de verificación manual y establecer un nuevo estándar para combinar la supervisión humana con la generación automatizada de demostraciones.
Claude de Anthropic completó de forma autónoma la primera demostración formal verificada por ordenador del Último Teorema de Fermat utilizando Lean. Durante 11 días, la IA generó 13 millones de líneas de código y 30.300 teoremas mediante colaboración multiagente. El sistema formalizó la demostración de Andrew Wiles de 1995, que luego fue verificada por Lean utilizando únicamente tres axiomas. Este hito demuestra la capacidad de la IA para la formalización matemática a gran escala, lo que podría reducir los costes de verificación manual y establecer un nuevo estándar para combinar la supervisión humana con la generación automatizada de demostraciones.
Reuters informa que la división de inteligencia artificial de Google ha enfrentado importantes turbulencias en los últimos meses. El cofundador Sergey Brin regresó para supervisar personalmente el entrenamiento de los modelos, asumiendo un control informal sobre las prioridades de desarrollo (incluyendo el impulso hacia una mejora automática recursiva), lo que retrasó la llegada de la próxima generación de Gemini en dos meses. Demis Hassabis fue degradado a presidente con menos responsabilidades de gestión, siendo reemplazado por Mustafa Kavukcuoglu, quien ahora reporta directamente al director ejecutivo de Google, Sundar Pichai, con el apoyo de Brin, y actúa como puente entre DeepMind y Google Cloud. Los líderes técnicos originales de Gemini, Jeff Dean y Oriol Vinyals, se fueron para fundar una startup de inteligencia artificial centrada en el descubrimiento científico, lo que generó preocupaciones entre los empleados por la pérdida de autonomía. Estos cambios reflejan la continua erosión de la independencia de DeepMind desde su adquisición por Google en 2014. La noticia provocó una caída del 4% en el precio de las acciones de Google al ser publicada, y los problemas persistentes como los recursos informáticos limitados y los conflictos de liderazgo generan dudas sobre el futuro de la inteligencia artificial en Google.
Reuters informa que la división de inteligencia artificial de Google ha enfrentado importantes turbulencias en los últimos meses. El cofundador Sergey Brin regresó para supervisar personalmente el entrenamiento de los modelos, asumiendo un control informal sobre las prioridades de desarrollo (incluyendo el impulso hacia una mejora automática recursiva), lo que retrasó la llegada de la próxima generación de Gemini en dos meses. Demis Hassabis fue degradado a presidente con menos responsabilidades de gestión, siendo reemplazado por Mustafa Kavukcuoglu, quien ahora reporta directamente al director ejecutivo de Google, Sundar Pichai, con el apoyo de Brin, y actúa como puente entre DeepMind y Google Cloud. Los líderes técnicos originales de Gemini, Jeff Dean y Oriol Vinyals, se fueron para fundar una startup de inteligencia artificial centrada en el descubrimiento científico, lo que generó preocupaciones entre los empleados por la pérdida de autonomía. Estos cambios reflejan la continua erosión de la independencia de DeepMind desde su adquisición por Google en 2014. La noticia provocó una caída del 4% en el precio de las acciones de Google al ser publicada, y los problemas persistentes como los recursos informáticos limitados y los conflictos de liderazgo generan dudas sobre el futuro de la inteligencia artificial en Google.
SafeBreach descubrió una vulnerabilidad en el asistente de voz Gemini de Google denominada “Fake Context Alignment”. Los hackers aprovechan la demora en la ejecución de las funciones al enviar mensajes engañosos por WhatsApp o SMS que contienen confusión multilingüe u hipervínculos ocultos, para hacer que Gemini realice acciones no autorizadas, como controlar dispositivos domésticos inteligentes o modificar contactos. Google corrigió esta vulnerabilidad en noviembre de 2024 mediante una actualización del clasificador de contenido.
SafeBreach descubrió una vulnerabilidad en el asistente de voz Gemini de Google denominada “Fake Context Alignment”. Los hackers aprovechan la demora en la ejecución de las funciones al enviar mensajes engañosos por WhatsApp o SMS que contienen confusión multilingüe u hipervínculos ocultos, para hacer que Gemini realice acciones no autorizadas, como controlar dispositivos domésticos inteligentes o modificar contactos. Google corrigió esta vulnerabilidad en noviembre de 2024 mediante una actualización del clasificador de contenido.
OpenAI lanza una versión preliminar de una herramienta de finanzas personales para los suscriptores de ChatGPT Pro en EE. UU., que integra la IA generativa en la gestión financiera. Los usuarios pueden vincular sus cuentas bancarias a través de Plaid para analizar sus gastos y realizar un seguimiento de su cartera, gracias a un nuevo modelo GPT-5.5. La función prevé una futura integración con Intuit para ofrecer análisis avanzados, lo que refleja una tendencia generalizada hacia el uso de modelos de gran tamaño especializados en aplicaciones verticales.
OpenAI lanza una versión preliminar de una herramienta de finanzas personales para los suscriptores de ChatGPT Pro en EE. UU., que integra la IA generativa en la gestión financiera. Los usuarios pueden vincular sus cuentas bancarias a través de Plaid para analizar sus gastos y realizar un seguimiento de su cartera, gracias a un nuevo modelo GPT-5.5. La función prevé una futura integración con Intuit para ofrecer análisis avanzados, lo que refleja una tendencia generalizada hacia el uso de modelos de gran tamaño especializados en aplicaciones verticales.
El nuevo modelo chino de IA multimodal HappyHorse-1.0 lidera una importante prueba comparativa de conversión de texto a vídeo con una puntuación de 1332, superando a rivales como ByteDance. Está vinculado al TaoTian Group Future Life Lab de Alibaba, que ahora forma parte de su división ATH AI. El auge de este modelo pone de relieve la avanzada tecnología de generación de vídeo de Alibaba y un giro hacia incubadoras de IA internas más independientes, lo que apunta a una mayor competitividad a nivel mundial.
El nuevo modelo chino de IA multimodal HappyHorse-1.0 lidera una importante prueba comparativa de conversión de texto a vídeo con una puntuación de 1332, superando a rivales como ByteDance. Está vinculado al TaoTian Group Future Life Lab de Alibaba, que ahora forma parte de su división ATH AI. El auge de este modelo pone de relieve la avanzada tecnología de generación de vídeo de Alibaba y un giro hacia incubadoras de IA internas más independientes, lo que apunta a una mayor competitividad a nivel mundial.
El mercado de los agentes de IA experimentará una rápida expansión en 2026, con más de 20 productos automatizados de tipo «garra», con precios que oscilan entre 19 y 899 yuanes al mes, pasando de ser simples asistentes a ejecutores a nivel de sistema. Surgen tres bandos: OpenClaw, de código abierto con complementos para desarrolladores; las herramientas integradas en el ecosistema de Tencent y ByteDance; y los agentes nativos de hardware de Huawei/Xiaomi para el control de múltiples dispositivos y hogares inteligentes. Las advertencias de seguridad destacan los riesgos para la privacidad y los modelos de facturación variables, instando a la precaución con los costes de uso de las API.
El mercado de los agentes de IA experimentará una rápida expansión en 2026, con más de 20 productos automatizados de tipo «garra», con precios que oscilan entre 19 y 899 yuanes al mes, pasando de ser simples asistentes a ejecutores a nivel de sistema. Surgen tres bandos: OpenClaw, de código abierto con complementos para desarrolladores; las herramientas integradas en el ecosistema de Tencent y ByteDance; y los agentes nativos de hardware de Huawei/Xiaomi para el control de múltiples dispositivos y hogares inteligentes. Las advertencias de seguridad destacan los riesgos para la privacidad y los modelos de facturación variables, instando a la precaución con los costes de uso de las API.
AgiBot ha lanzado su robot polivalente Expedition A3 número 10 000, lo que marca su transición de la I+D a la producción en serie en el ámbito de la IA incorporada. Ha multiplicado por diez su producción en 15 meses, lo que supone un gran avance en la fabricación a gran escala de robots humanoides y en la superación de los principales cuellos de botella en el suministro y la fabricación.
AgiBot ha lanzado su robot polivalente Expedition A3 número 10 000, lo que marca su transición de la I+D a la producción en serie en el ámbito de la IA incorporada. Ha multiplicado por diez su producción en 15 meses, lo que supone un gran avance en la fabricación a gran escala de robots humanoides y en la superación de los principales cuellos de botella en el suministro y la fabricación.
Tesla termina su proyecto de supercomputadora Dojo, crucial para la tecnología de conducción autónoma, con el líder Peter Bannon saliendo y el equipo reasignado. Tesla se pasa a Nvidia, AMD y Samsung para chips de IA, tras un acuerdo de 16.5 mil millones de dólares con Samsung.
Tesla termina su proyecto de supercomputadora Dojo, crucial para la tecnología de conducción autónoma, con el líder Peter Bannon saliendo y el equipo reasignado. Tesla se pasa a Nvidia, AMD y Samsung para chips de IA, tras un acuerdo de 16.5 mil millones de dólares con Samsung.
