# InternLM выпустила на Hugging Face модель AutoVerifier для проверки математических доказательств

> Новая модель проверяет доказательства на естественном языке, указывает на ошибки и отмечает первый неверный шаг, помогая оценивать работы для AdvancedMathBench.

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

Теперь на Hugging Face доступна модель AutoVerifier от InternLM, созданная на архитектуре Qwen3_5Moe. Она получает задачу, необязательное эталонное решение и пошаговое доказательство-кандидат, а затем сообщает, верно ли доказательство, указывает на ошибки и отмечает индекс первого неверного шага. Модель состоит из 40 шардов в формате safetensors общим объёмом около 68 GiB и использует InternS1Tokenizer. Она предназначена для автоматической проверки задач из набора ProverBench, входящего в AdvancedMathBench, однако разработчик отмечает, что модель всё ещё может ошибаться.

Модель можно запускать, не загружая веса: достаточно сформировать запрос с помощью шаблона proof_verifier.md, а затем передать его токенизатору в формате чата.

## Факты

- Размер модели: 68 GiB в 40 шардах safetensors
- Опубликована на 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