# InternLM pubblica su Hugging Face il modello AutoVerifier per valutare le dimostrazioni matematiche

> Il nuovo modello esamina dimostrazioni in linguaggio naturale, segnala gli errori e individua il primo passaggio sbagliato, aiutando a valutare i risultati inviati ad AdvancedMathBench.

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

Hugging Face ospita ora il modello AutoVerifier di InternLM, basato sull’architettura Qwen3_5Moe. Il modello legge un problema, un’eventuale soluzione di riferimento e una dimostrazione candidata articolata passaggio per passaggio; restituisce quindi un giudizio sulla correttezza della dimostrazione, gli eventuali errori e l’indice del primo errore. Il modello è distribuito in 40 shard safetensor, per un totale di circa 68 GiB, e usa InternS1Tokenizer. È pensato come valutatore automatico per la suite ProverBench di AdvancedMathBench, anche se il fornitore avverte che può ancora commettere errori.

È possibile usare il modello senza caricarne i pesi: basta creare un prompt con il template proof_verifier.md fornito e poi passarlo al tokenizer nel formato chat.

## I fatti

- Dimensioni del modello: 68 GiB distribuiti in 40 shard safetensor
- Pubblicato su Hugging Face: 29 set 2026

## Perché conta

Offre ai ricercatori un modo rapido e automatico per valutare dimostrazioni matematiche complesse senza doverle correggere manualmente.

## Fonti e riferimenti

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

Ultimo aggiornamento: 2026-09-29