# InternLM ने Hugging Face पर गणितीय प्रमाणों की जांच के लिए AutoVerifier मॉडल जारी किया

> यह नया मॉडल सामान्य भाषा में लिखे प्रमाणों की जांच करता है, त्रुटियां बताता है और पहली गलत कड़ी को चिह्नित करता है। इससे AdvancedMathBench में जमा किए गए जवाबों का मूल्यांकन करने में मदद मिलती है।

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

Hugging Face पर अब InternLM का AutoVerifier मॉडल उपलब्ध है, जिसे Qwen3_5Moe आर्किटेक्चर पर बनाया गया है। यह किसी समस्या, वैकल्पिक संदर्भ-समाधान और चरण-दर-चरण दिए गए संभावित प्रमाण को पढ़ता है। इसके बाद यह बताता है कि प्रमाण सही है या नहीं, उसमें क्या त्रुटियां हैं और सबसे पहली गलती किस चरण में हुई। इस मॉडल को 40 safetensor shards में पैक किया गया है, जिनका कुल आकार लगभग 68 GiB है। इसमें InternS1Tokenizer का इस्तेमाल होता है। इसे AdvancedMathBench के ProverBench सूट के लिए स्वचालित मूल्यांकनकर्ता के तौर पर बनाया गया है, हालांकि इसके प्रदाता का कहना है कि यह अब भी गलतियां कर सकता है।

मॉडल के वज़न लोड किए बिना भी इसे चलाया जा सकता है। इसके लिए दिए गए proof_verifier.md टेम्पलेट से प्रॉम्प्ट तैयार करें और फिर उसे tokenizer के chat format में दें।

## तथ्य

- मॉडल का आकार: 40 safetensor shards में 68 GiB
- Hugging Face पर प्रकाशित: 29 सितंबर 2026

## यह क्यों मायने रखता है

यह शोधकर्ताओं को जटिल गणितीय प्रमाणों का मूल्यांकन बिना हाथ से जांचे, तेज़ी से और स्वचालित तरीके से करने का साधन देता है।

## स्रोत और संदर्भ

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

अंतिम अपडेट: 2026-09-29