Hogar
Herramientas
Modelos
Aplicación
Prompts
Noticias
Temas
Enviar para su inclusión
español
English 日本語 한국어 Português español Deutsch Русский Français 繁體中文 简体中文
opción
Hogar Cerca
Hogar
Herramientas
Categoría Categoría Generar portada Generar imagen Skill
Modelos
Modelo de lenguaje grande Modelo multimodal
Aplicación
Prompts
Prompts Prompts de imagen
Noticias
Noticias Última hora
Temas
Enviar para su inclusión
Enviar app Enviar herramienta
Crear una cuenta Iniciar sesión
Cambiar lenguaje español Cambiar lenguaje
Ajustes
English EN 日本語 JA 한국어 KO Português PT español ES Deutsch DE Русский RU Français FR 繁體中文 ZH-TW 简体中文 ZH-CN
Hogar
Última hora
Contenido
EdwardScott
EdwardScott
6 de julio de 2026

Mistral AI lanzó Leanstral 1.5, un modelo de prueba matemática formal con 119 mil millones de parámetros que solo activa 6 mil millones de ellos, y cuyo código está disponible bajo licencia Apache-2.0. Este modelo logró una precisión del 100% en el test miniF2F, resolvió 587 de los 672 problemas de PutnamBench, y su costo es de 4 dólares por problema, frente a los más de 300 dólares que cobran sus competidores. Además, detectó 47 infracciones en el código de 57 repositorios, incluyendo 5 problemas en GitHub que no habían sido reportados anteriormente.

Mistral AI lanzó Leanstral 1.5, un modelo de prueba matemática formal con 119 mil millones de parámetros que solo activa 6 mil millones de ellos, y cuyo código está disponible bajo licencia Apache-2.0. Este modelo logró una precisión del 100% en el test miniF2F, resolvió 587 de los 672 problemas de PutnamBench, y su costo es de 4 dólares por problema, frente a los más de 300 dólares que cobran sus competidores. Además, detectó 47 infracciones en el código de 57 repositorios, incluyendo 5 problemas en GitHub que no habían sido reportados anteriormente.
0
0
Compartir Haga clic para copiar el enlace
comentario (0)
0/300
Enviar
Autor HarperJones HarperJones 13 de octubre de 2026
OpenAI integra GPT-6 con una interfaz de usuario inteligente en ChatGPT, lo que permite incluir gráficos interactivos y widgets en las conversaciones. Esto transforma los grandes modelos, que pasan de ser meros proveedores de información a convertirse en puntos de entrada para la interacción en tareas, lo que supone una revolución en las interfaces fijas de las aplicaciones. Esta iniciativa supone una amenaza para las herramientas de IA independientes y las plataformas de contenido, ya que elimina la necesidad de utilizar aplicaciones separadas. Mientras tanto, las «superapps» como WeChat y Douyin obtienen ventajas competitivas al aprovechar los ecosistemas y canales de distribución existentes para integrar los puntos de acceso directamente en los escenarios de uso de los usuarios.
0
0
Autor DouglasAnderson DouglasAnderson 13 de octubre de 2026
Qwen aclara que Qwen Go es un agente de IA personal integrado en su aplicación, y no una descarga independiente. Los usuarios pueden solicitar acceso a funciones como la tramitación de reclamaciones de vuelos y la comparación de precios. El objetivo de esta función es convertirse en un asistente más inteligente y personalizado, aprovechando el ecosistema de Alibaba para gestionar diversas tareas personales directamente dentro de la plataforma existente, en lugar de lanzar una aplicación independiente.
0
0
Autor DouglasThomas DouglasThomas 13 de octubre de 2026
ByteDance Seed crea el departamento de Alineación de Modelos y Preparación, dirigido por Yan Lin, con el objetivo de mejorar la seguridad de la IA. Esta nueva unidad se centra en garantizar la seguridad de los modelos de agentes inteligentes y en mitigar los riesgos CBRN mediante la regulación, la evaluación y la formación en alineación. Como primer laboratorio chino de vanguardia en IA en crear un departamento dedicado a la seguridad, Seed tiene como objetivo garantizar que los modelos funcionen dentro de unos límites seguros, reduciendo el uso indebido y las desviaciones de comportamiento, al tiempo que promueve la colaboración abierta con investigadores externos para apoyar su aplicación a gran escala.
0
0
Autor KevinRoberts KevinRoberts 13 de octubre de 2026
MiniMax se une a Taobao con su primera tienda insignia, en la que comercializa suscripciones al Plan M. Esto refleja un cambio más amplio en el sector, en el que proveedores de IA como Zhipu y Alibaba Cloud trasladan la venta de tokens de sus sitios web oficiales a plataformas de comercio electrónico. Taobao ha lanzado una «Estación Espacial de IA» para consolidar estos servicios. La estrategia se dirige al gran público al convertir el uso técnico de las API en productos minoristas accesibles, desplazando la competencia de los parámetros técnicos a la accesibilidad directa para el consumidor y los precios.
0
0
Autor JoseJackson JoseJackson 13 de octubre de 2026
Amazon está en conversaciones para adquirir Decart por 7.000 millones de dólares. La startup, con tres años de antigüedad y fundada en 2023, ofrece un software de compatibilidad entre chips que permite que los modelos de IA se ejecuten sin problemas en diferentes hardware, como las GPU de NVIDIA, los TPUs de Google y los Trainium de Amazon. Esta tecnología tiene como objetivo reducir los costos y mejorar el rendimiento hasta en ocho veces. Decart anteriormente no logró cerrar acuerdos con NVIDIA y Anthropic, quienes abandonaron la mesa tras realizar la debida diligencia. Amazon está pagando una prima significativa en comparación con la valoración reciente de 4.000 millones de dólares de Decart, con el objetivo de fortalecer su ecosistema de AWS y reducir los costos por token para sus chips Trainium, al tiempo que apoya sus estrategias más amplias de nube e inteligencia encarnada.
0
0
OR