Shanghai AI Laboratory presentó InternLM2-Math-20B, un modelo de lenguaje fundacional abierto diseñado para la resolución de problemas matemáticos complejos y demostración formal mediante cadenas de pensamiento con código integrado y verificación rigurosa.
La noticia en una frase
Shanghai AI Lab liberó InternLM2-Math-20B, un modelo abierto que supera a sistemas comerciales de mayor tamaño en benchmarks de matemáticas avanzadas como MATH y GSM8K combinando síntesis algorítmica y ejecución de Python.
El alcance que cambia la lectura
Los modelos generalistas suelen alucinar en pasos intermedios de demostraciones algebraicas complejas porque intentan calcular probabilidades de texto en lugar de computar operaciones formales con rigor simbólico.
InternLM2-Math-20B introduce un enfoque híbrido en el que el modelo no solo predice la cadena de razonamiento discursiva, sino que delega el cálculo numérico y simbólico a un intérprete de Python en un ciclo cerrado de retroalimentación automática.
