# InternLM lanza en Hugging Face AutoVerifier, un modelo para evaluar demostraciones matemáticas

> El nuevo modelo revisa demostraciones en lenguaje natural, señala errores e identifica el primer paso incorrecto para ayudar a evaluar los ejercicios de AdvancedMathBench.

Oossa · 2026-09-29 · https://oossa.com/es/internlm-releases-autoverifier-model-for-grading-math-proofs-on-hugging-face

Hugging Face ya aloja el modelo AutoVerifier de InternLM, desarrollado sobre la arquitectura Qwen3_5Moe. El modelo recibe un problema, una solución de referencia opcional y una demostración candidata paso a paso; luego indica si es correcta, señala los errores y marca el índice del primer fallo. El modelo está distribuido en 40 archivos safetensors que suman unos 68 GiB y utiliza InternS1Tokenizer. Está pensado como evaluador automático para el conjunto ProverBench de AdvancedMathBench, aunque sus creadores advierten que todavía puede cometer errores.

Se puede ejecutar sin cargar los pesos: basta con crear una instrucción usando la plantilla proof_verifier.md incluida y pasarla al formato de chat del tokenizador.

## Los hechos

- Tamaño del modelo: 68 GiB distribuidos en 40 archivos safetensors
- Publicado en Hugging Face: 29 de septiembre de 2026

## Por qué importa

Ofrece a los investigadores una forma rápida y automatizada de evaluar demostraciones matemáticas complejas sin calificarlas manualmente.

## Fuentes y referencias

1. [New model on Hugging Face: internlm/AdvancedMathBench-AutoVerifier (image-text-to-text)](https://huggingface.co/internlm/AdvancedMathBench-AutoVerifier) – InternLM, 2026-09-29

Última actualización: 2026-09-29