Čínská společnost DeepSeek zpřístupnila aktualizovanou verzi svého AI modelu Prover, určeného pro matematické důkazy.
Nová verze, Prover-V2, se objevila na platformě Hugging Face bez větší publicity. Jde o vylepšenou variantu Prover-V1.5, který byl představen v srpnu 2024. Tehdy vývojáři uvedli, že model pomáhá s formálními důkazy teorémů a složitými matematickými úvahami.
Prover-V2 je postaven na větším modelu DeepSeek V3, který má 671 miliard parametrů. Používá architekturu Mixture-of-Experts (MoE) – to znamená, že složité úlohy se dělí na části a každou řeší samostatný „expertní“ modul. Tento přístup zvyšuje efektivitu výpočtů.
DeepSeek zatím nezveřejnil podrobnosti o nových funkcích modelu. Podle souborů na Hugging Face se však aktualizace týká především matematických schopností.
Naposledy společnost aktualizovala Prover v srpnu 2024. Tehdy byl prezentován jako nástroj pro výzkumníky a vývojáře pracující s teorémy a náročnými výpočty.
