DeepSeek verbetert de wiskundige capaciteiten van het vProver-model om stellingen en bewijzen te kunnen oplossen.

De Chinese AI-dienst DeepSeek is sinds maandag opnieuw beschikbaar in Zuid-Koreaanse appwinkels, na een afwezigheid van ...

Alibaba’s AI-assistent Quark heeft de grens van 150 miljoen gebruikers bereikt en verslaat daarmee Doubao en DeepSeek als ...

Redeneermodellen van ChatGPT, Gemini en DeepSeek zijn snel populair geworden. Maar ze hebben een probleem: ze hallucineren ...

Het bespaart tijd en hoofdbrekens als een AI-chatbot, zoals ChatGPT, een lang en complex artikel samenvat. Maar pas op: zes ...

SoftBank's 100 miljard dollar investering in OpenAI's Stargate loopt vertraging op door Trump's handelstarieven en ...

De in Hangzhou gevestigde startup heeft zijn nieuwste open-source Prover-V2-model geüpload naar Hugging Face, ’s werelds ...

Een duurzamere toepassing van generatieve AI? Als je Gen AI-toepassingen als ChatGPT en Claude daarnaar vraagt, komen die al ...

Amerikaanse wetgevers willen een wet invoeren die de smokkel van geavanceerde chips naar China moet tegengaan. Het is de ...

BEIJING (ANP/BLOOMBERG) - De Chinese elektronicafabrikant Xiaomi komt met zijn eigen AI-model dat lijkt op dat van de Chinese ...

Xiaomi brengt zijn eigen AI-model uit MiMo uit. Uit de benchmarks die de Chinese elektronicafabrikant deelt, blijkt dat het ...