DeepSeek verbetert de wiskundige capaciteiten van het vProver-model om complexe stellingen en bewijzen te kunnen oplossen.
Het vProver-model van DeepSeek heeft een upgrade gekregen om complexere wiskundige problemen op te lossen. DeepSeek publiceerde het model zonder al te veel poespas op de opensource ontwikkelaarsplatforms HuggingFace en GitHub, zoals het dat tot nu toe consequent heeft gedaan. De belangrijkste upgrade van het model is achter de schermen.
De nieuwe versie van het wiskundige AI-model is gebouwd op de V3-architectuur die de wereld begin dit jaar met verstomming sloeg. DeepSeek zette zichzelf op de AI-kaart met het R1-model, dat dezelfde architectuur deelt als vProver, omdat het de beste modellen van OpenAI, Google en Anthropic kon evenaren terwijl het aan veel lagere kosten ontwikkeld werd. Dankzij de upgrade kan het vProver-model overweg met complexere wiskundige stellingen en bewijzen.
China doet mee
Een opvolger van het R1-model wordt spoedig verwacht, maar DeepSeek laat niet in zijn kaarten kijken wat toekomstige lanceringen betreft. De Verenigde Staten mogen zichzelf dan hebben uitgeroepen tot de onbetwistbare wereldleider in AI, maar Chinese technologiebedrijven doen zeker ook mee in de race. Alibaba pakte eerder deze week uit met Qwen3. Amerikaans president Donald Trump probeert Chinese bedrijven zo veel mogelijk stokken in de wielen te steken, maar ze blijken niet zo eenvoudig klein te krijgen.
De onverwachte opmars van DeepSeek lokte zowel positieve als negatieve aandacht uit. De DeepSeek-onderzoekers blijken namelijk minder kennis te hebben van hoe AI-modellen te beveiligen, waardoor verschillende Europese overheden het model liever niet zien komen. DeepSeek werd door OpenAI beschuldigd van plagiaat, al is dat de pot die de ketel verwijt.
lees ook