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 ...

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

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

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

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

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

De gemeente Amsterdam heeft een AI-assistent ontwikkeld voor alle ambtenaren van de gemeente met de naam ChatAmsterdam. De ...

Nieuwe kleine taalmodellen van Microsoft combineren efficiëntie met hoog niveau van wiskundig en wetenschappelijk redeneren.

De gemeente Amsterdam heeft een AI-assistent ontwikkeld voor alle ambtenaren van de gemeente. ChatAmsterdam moet een veilig ...