# InternLM, Hugging Face’te matematiksel kanıtları değerlendiren AutoVerifier modelini yayımladı

> Yeni model, doğal dilde yazılmış kanıtları kontrol ediyor, hataları belirtiyor ve yanlış yapılan ilk adımı işaretliyor. Böylece AdvancedMathBench başvurularının değerlendirilmesine yardımcı oluyor.

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

Hugging Face’te artık Qwen3_5Moe mimarisi üzerine kurulu InternLM AutoVerifier modeli yer alıyor. Model bir problemi, varsa referans çözümünü ve adım adım sunulan bir kanıtı okuyor; ardından kanıtın doğru olup olmadığını, varsa hataları ve ilk hatanın hangi adımda yapıldığını bildiriyor. Model, toplam boyutu yaklaşık 68 GiB olan 40 safetensors parçası hâlinde sunuluyor ve InternS1Tokenizer kullanıyor. AdvancedMathBench’in ProverBench paketinde otomatik değerlendirici olarak kullanılmak üzere tasarlanan model için geliştiricisi, yine de hata yapabileceği uyarısında bulunuyor.

Model, sağlanan proof_verifier.md şablonuyla bir istem oluşturup bunu tokenizer’ın sohbet biçimine vererek ağırlıkları yüklemeden çalıştırılabiliyor.

## Gerçekler

- Model boyutu: 40 safetensors parçasında toplam 68 GiB
- Hugging Face’te yayımlanma tarihi: 29 Eylül 2026

## Neden önemli

Araştırmacılara, karmaşık matematiksel kanıtları elle değerlendirmeden hızlı ve otomatik biçimde inceleme olanağı sunuyor.

## Kaynaklar ve referanslar

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

Son güncelleme: 2026-09-29