Hogar
Meituan presenta LongCat, con 56 000 millones de parámetros, y establece un nuevo referente en el razonamiento matemático de código abierto
A medida que los grandes modelos de lenguaje se expanden hacia ámbitos especializados, Meituan ha presentado una solución destacada que ha despertado el interés tanto del mundo académico como del sector empresarial.
El 21 de marzo, Meituan presentó oficialmente LongCat-Flash-Prover, un modelo de razonamiento matemático a gran escala. Este potente sistema, con 567 700 millones de parámetros, utiliza una arquitectura avanzada MoE (Mixture of Experts) y está optimizado específicamente para abordar demostraciones matemáticas formales de gran complejidad.
En las pruebas de referencia de primer nivel que evalúan el razonamiento lógico, LongCat-Flash-Prover ha demostrado un rendimiento excepcional:
Rendimiento récord: ha alcanzado una notable puntuación del 97,1 % en la prueba MiniF2F-Test, con solo 72 intentos de razonamiento.
Superación de problemas difíciles: resolvió con éxito el 41,5 % de los retos del conjunto de datos PutnamBench. Ambos resultados establecen nuevos récords mundiales de vanguardia (SOTA).
Para dotar a los modelos de gran tamaño de la precisión de un matemático, Meituan implementó varias innovaciones técnicas fundamentales:
Reducción de las «alucinaciones»: se introdujo un proceso de verificación en varias etapas basado en árboles de sintaxis abstracta (AST), junto con la integración del lenguaje formal Lean4, lo que minimizó eficazmente los errores lógicos y las «alucinaciones» en las deducciones de la IA.
Métodos avanzados de entrenamiento: para abordar la inestabilidad que suele observarse en tareas de largo plazo dentro de los modelos MoE, Meituan implementó su algoritmo propio HisPO. Combinado con una comprobación de consistencia de teoremas, este enfoque evita el «reward hacking» durante el aprendizaje por refuerzo.
Arquitectura optimizada: con un total de 560 000 millones de parámetros, el modelo mantiene una base de conocimientos profunda, mientras que la estructura MoE garantiza una inferencia eficiente y flexible.
Meituan ha publicado el modelo y su código fuente de forma totalmente abierta en GitHub y Hugging Face.
Con el lanzamiento de LongCat-Flash-Prover
Artículo relacionado
Las acciones de EE. UU. alcanzan un hito histórico mientras gigantes de la IA y la aeroespacial se preparan para su debut de un billón de dólares
Elon Musk, Sam Altman y Dario Amodei, tres titanes del sector tecnológico, están avanzando hacia ofertas públicas iniciales para sus respectivas empresas. Con SpaceX, OpenAI y Anthropic, tres gigantes de la industria que se acercan a valoraciones de
La startup sueca de inteligencia artificial Lovable Eyes alcanza una valoración de 13.200 millones de dólares tras una importante ronda de financiación
Mientras las herramientas de codificación impulsadas por inteligencia artificial ganan terreno, la startup sueca Lovable ha asegurado una importante ronda de financiación. La empresa tiene como objetivo recaudar 3 000 millones de dólares, lo que podr
Google prueba el agente Remy AI para Gemini a medida que el enfoque se desplaza hacia el control del usuario
Según Business Insider, Google está probando Remy, un nuevo agente personal de IA para Gemini. Esta herramienta tiene como objetivo ejecutar tareas en nombre de los usuarios, optimizando tanto los flujos de trabajo profesionales como las rutinas diar
Recomendaciones de temas especiales relacionados
SEO
Las mejores herramientas de análisis de SERP basadas en IA para la estrategia de búsqueda
Las mejores herramientas de análisis de SERP con IA mejor valoradas de 2026 para la estrategia de búsqueda han sido seleccionadas por XIX.AI tras rigurosas pruebas en condiciones reales y clasificaciones que se actualizan semanalmente. Estas potentes herramientas te ayudan a descubrir oportunidades de optimización ocultas, a mejorar el rendimiento de tu contenido y a obtener una ventaja competitiva en los motores de búsqueda. Descubre hoy mismo la herramienta perfecta para mejorar tu estrategia de búsqueda. ¡Explora ahora!
13 herramientas
xix.ai
Análisis de datos
Mejores herramientas de IA para la detección de anomalías en el monitoreo de KPIs para equipos de SaaS y comercio electrónico
¡Las mejores herramientas de detección de anomalías con IA de 2026, más valoradas y destacadas para el monitoreo de KPI en equipos de SaaS y comercio electrónico! XIX.AI ha recopilado una poderosa colección transformadora basada en rigurosas pruebas del mundo real y clasificaciones actualizadas semanalmente. Encontrarás comparaciones detalladas entre versiones gratuitas y de pago que te ayudarán a identificar la solución imprescindible para aumentar la productividad y desbloquear tu ventaja con IA. ¡Explora ahora!
10 herramientas
xix.ai
escribiendo
Los mejores generadores de esquemas basados en IA para artículos largos optimizados para SEO
Los mejores generadores de esquemas con IA mejor valorados de 2026 para artículos largos optimizados para SEO, seleccionados minuciosamente por XIX.AI. Estas potentes herramientas ofrecen una ayuda revolucionaria a la hora de crear contenido de alta calidad rápidamente, lo que aumenta considerablemente la eficiencia a la hora de escribir. Consigue una comparación entre las versiones gratuitas y de pago, junto con pruebas en condiciones reales y clasificaciones detalladas, que te ayudarán a encontrar la opción imprescindible que mejor se adapte a tus necesidades. Explora ahora para descubrir las ventajas que te ofrece la IA.
8 herramientas
xix.ai
Educación y aprendizaje
Herramientas de estudio basadas en IA para los deberes y la preparación de exámenes
¡Las mejores herramientas de IA de 2026 para hacer los deberes y prepararse para los exámenes! XIX.AI ha elaborado una lista con las herramientas mejor valoradas, potentes y revolucionarias que ayudan a los estudiantes a aumentar su productividad, agilizar la realización de los deberes y sacar sobresaliente en los exámenes gracias a pruebas reales. Consigue una comparación entre versiones gratuitas y de pago, clasificaciones detalladas y opciones imprescindibles para sacar el máximo partido a la IA. ¡Explora ahora!
10 herramientas
xix.ai
composicion musical
Herramientas de demostración vocal con IA para compositores, ganchos, melodías principales y sesiones de borrador multilingüe
¡Las mejores herramientas de demostración vocal con IA de 2026 para compositores, creadores de ganchos y equipos de contenido multilingüe! XIX.AI ha recopilado una lista de herramientas poderosas y transformadoras, rigurosamente probadas en el mundo real. Encontrarás datos detallados de comparación entre versiones gratuitas y de pago, clasificaciones completas y opciones imprescindibles para ayudarte a aumentar tu eficiencia de escritura y desbloquear todo tu potencial creativo. ¡Explora ahora para descubrir la herramienta perfecta para todas tus necesidades de contenido!
9 herramientas
xix.ai
Negocio
Las mejores herramientas de investigación competitiva basadas en IA para pequeñas empresas
¡Las mejores herramientas de investigación competitiva basadas en IA mejor valoradas de 2026 para pequeñas empresas! XIX.AI ha seleccionado una colección revolucionaria y muy potente, que se actualiza semanalmente con rigurosas pruebas en el mundo real y clasificaciones detalladas. Encontrarás una comparación exhaustiva entre las opciones gratuitas y las de pago que te ayudará a identificar las herramientas imprescindibles que impulsarán tu productividad y te proporcionarán una ventaja competitiva. ¡Explora ahora mismo y descubre la herramienta perfecta para ti!
9 herramientas
xix.ai
comentario (0)
0/500
A medida que los grandes modelos de lenguaje se expanden hacia ámbitos especializados, Meituan ha presentado una solución destacada que ha despertado el interés tanto del mundo académico como del sector empresarial.
El 21 de marzo, Meituan presentó oficialmente LongCat-Flash-Prover, un modelo de razonamiento matemático a gran escala. Este potente sistema, con 567 700 millones de parámetros, utiliza una arquitectura avanzada MoE (Mixture of Experts) y está optimizado específicamente para abordar demostraciones matemáticas formales de gran complejidad.
En las pruebas de referencia de primer nivel que evalúan el razonamiento lógico, LongCat-Flash-Prover ha demostrado un rendimiento excepcional:
Rendimiento récord: ha alcanzado una notable puntuación del 97,1 % en la prueba MiniF2F-Test, con solo 72 intentos de razonamiento.
Superación de problemas difíciles: resolvió con éxito el 41,5 % de los retos del conjunto de datos PutnamBench. Ambos resultados establecen nuevos récords mundiales de vanguardia (SOTA).
Para dotar a los modelos de gran tamaño de la precisión de un matemático, Meituan implementó varias innovaciones técnicas fundamentales:
Reducción de las «alucinaciones»: se introdujo un proceso de verificación en varias etapas basado en árboles de sintaxis abstracta (AST), junto con la integración del lenguaje formal Lean4, lo que minimizó eficazmente los errores lógicos y las «alucinaciones» en las deducciones de la IA.
Métodos avanzados de entrenamiento: para abordar la inestabilidad que suele observarse en tareas de largo plazo dentro de los modelos MoE, Meituan implementó su algoritmo propio HisPO. Combinado con una comprobación de consistencia de teoremas, este enfoque evita el «reward hacking» durante el aprendizaje por refuerzo.
Arquitectura optimizada: con un total de 560 000 millones de parámetros, el modelo mantiene una base de conocimientos profunda, mientras que la estructura
Meituan ha publicado el modelo y su código fuente de forma totalmente abierta en GitHub y Hugging Face.
Con el lanzamiento de LongCat-Flash-Prover
Las acciones de EE. UU. alcanzan un hito histórico mientras gigantes de la IA y la aeroespacial se preparan para su debut de un billón de dólares
Elon Musk, Sam Altman y Dario Amodei, tres titanes del sector tecnológico, están avanzando hacia ofertas públicas iniciales para sus respectivas empresas. Con SpaceX, OpenAI y Anthropic, tres gigantes de la industria que se acercan a valoraciones de
La startup sueca de inteligencia artificial Lovable Eyes alcanza una valoración de 13.200 millones de dólares tras una importante ronda de financiación
Mientras las herramientas de codificación impulsadas por inteligencia artificial ganan terreno, la startup sueca Lovable ha asegurado una importante ronda de financiación. La empresa tiene como objetivo recaudar 3 000 millones de dólares, lo que podr
Google prueba el agente Remy AI para Gemini a medida que el enfoque se desplaza hacia el control del usuario
Según Business Insider, Google está probando Remy, un nuevo agente personal de IA para Gemini. Esta herramienta tiene como objetivo ejecutar tareas en nombre de los usuarios, optimizando tanto los flujos de trabajo profesionales como las rutinas diar
Las mejores herramientas de análisis de SERP con IA mejor valoradas de 2026 para la estrategia de búsqueda han sido seleccionadas por XIX.AI tras rigurosas pruebas en condiciones reales y clasificaciones que se actualizan semanalmente. Estas potentes herramientas te ayudan a descubrir oportunidades de optimización ocultas, a mejorar el rendimiento de tu contenido y a obtener una ventaja competitiva en los motores de búsqueda. Descubre hoy mismo la herramienta perfecta para mejorar tu estrategia de búsqueda. ¡Explora ahora!
13 herramientas
xix.ai
¡Las mejores herramientas de detección de anomalías con IA de 2026, más valoradas y destacadas para el monitoreo de KPI en equipos de SaaS y comercio electrónico! XIX.AI ha recopilado una poderosa colección transformadora basada en rigurosas pruebas del mundo real y clasificaciones actualizadas semanalmente. Encontrarás comparaciones detalladas entre versiones gratuitas y de pago que te ayudarán a identificar la solución imprescindible para aumentar la productividad y desbloquear tu ventaja con IA. ¡Explora ahora!
10 herramientas
xix.ai
Los mejores generadores de esquemas con IA mejor valorados de 2026 para artículos largos optimizados para SEO, seleccionados minuciosamente por XIX.AI. Estas potentes herramientas ofrecen una ayuda revolucionaria a la hora de crear contenido de alta calidad rápidamente, lo que aumenta considerablemente la eficiencia a la hora de escribir. Consigue una comparación entre las versiones gratuitas y de pago, junto con pruebas en condiciones reales y clasificaciones detalladas, que te ayudarán a encontrar la opción imprescindible que mejor se adapte a tus necesidades. Explora ahora para descubrir las ventajas que te ofrece la IA.
8 herramientas
xix.ai
¡Las mejores herramientas de IA de 2026 para hacer los deberes y prepararse para los exámenes! XIX.AI ha elaborado una lista con las herramientas mejor valoradas, potentes y revolucionarias que ayudan a los estudiantes a aumentar su productividad, agilizar la realización de los deberes y sacar sobresaliente en los exámenes gracias a pruebas reales. Consigue una comparación entre versiones gratuitas y de pago, clasificaciones detalladas y opciones imprescindibles para sacar el máximo partido a la IA. ¡Explora ahora!
10 herramientas
xix.ai
¡Las mejores herramientas de demostración vocal con IA de 2026 para compositores, creadores de ganchos y equipos de contenido multilingüe! XIX.AI ha recopilado una lista de herramientas poderosas y transformadoras, rigurosamente probadas en el mundo real. Encontrarás datos detallados de comparación entre versiones gratuitas y de pago, clasificaciones completas y opciones imprescindibles para ayudarte a aumentar tu eficiencia de escritura y desbloquear todo tu potencial creativo. ¡Explora ahora para descubrir la herramienta perfecta para todas tus necesidades de contenido!
9 herramientas
xix.ai
¡Las mejores herramientas de investigación competitiva basadas en IA mejor valoradas de 2026 para pequeñas empresas! XIX.AI ha seleccionado una colección revolucionaria y muy potente, que se actualiza semanalmente con rigurosas pruebas en el mundo real y clasificaciones detalladas. Encontrarás una comparación exhaustiva entre las opciones gratuitas y las de pago que te ayudará a identificar las herramientas imprescindibles que impulsarán tu productividad y te proporcionarán una ventaja competitiva. ¡Explora ahora mismo y descubre la herramienta perfecta para ti!
9 herramientas
xix.ai
