DeepSeek pakt uit met Prover-V2, AI-model voor wiskundige bewijzen
Het nieuwe model, Prover-V2, verscheen woensdag op het AI-platform Hugging Face, maar werd nergens op DeepSeeks eigen kanalen aangekondigd. De timing van deze stille release is opvallend, gezien de toenemende concurrentie tussen Chinese techbedrijven om te domineren in de wereld van generatieve AI. Dat schrijft de South China Morning Post.
Uit de bestanden op Hugging Face blijkt dat Prover-V2 gebaseerd is op DeepSeeks krachtige V3-basismodel, dat beschikt over 671 miljard parameters en gebruikmaakt van een mixture-of-experts-architectuur. Daarmee mikt het op maximale prestaties tegen minimale kosten en energieverbruik, iets waar DeepSeek eerder al wereldwijd lof voor kreeg.
Nichemodel voor wiskundige problemen
De Prover-reeks is bedoeld voor het oplossen van wiskundige problemen en het bewijzen van stellingen. Met deze modellen wil DeepSeek de wiskundige capaciteiten van algemene AI-systemen verbeteren, een domein waar zelfs toonaangevende modellen van OpenAI en Google nog tekortschieten.
Hoewel DeepSeek zelden openlijk vooruitblikt op nieuwe releases, toont het bedrijf zich consistent in het delen van onderzoeksresultaten en modelupdates. Met Prover-V2 wil DeepSeek laten zien dat het voor topprestaties gaat in niches waar veel andere AI-modellen nog steken laten vallen.
AI-wedloop duurt voort
Prover-V2 is een opvolger van Prover-V1.5, dat in augustus vorig jaar werd uitgebracht. In een eerder rapport stelde DeepSeek dat het werk op Prover-V1.5 leidde tot betere formele bewijsvoering en wiskundige redenering in het hoofdmodel. Vorige maand kreeg ook V3 een stevige upgrade, met onder meer sterkere redeneervermogen, geoptimaliseerde codeervaardigheden en betere prestaties in het Chinees.
De lancering van Prover-V2 volgt kort op de release van Qwen3, dat volgens Alibaba’s eigen benchmarks beter presteert dan zowel DeepSeek-R1 als OpenAI’s o1-model. Hoewel DeepSeek geen officiële reactie gaf op woensdag, versterkt de plotse verschijning van Prover-V2 het beeld dat het bedrijf zich wil blijven mengen in de AI-wedloop.
