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

In 2023 richtte hij DeepSeek op. "Chinese bedrijven zijn normaliter volgers en geen innovators. Maar nu is het anders", zei hij in de zomer van 2024 in een interview met The China Academy .

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

Een Chinese AI-start-up, DeepSeek, heeft in samenwerking met onderzoekers van de Tsinghua University een nieuwe techniek ontwikkeld om het redeneervermogen van grote taalmodellen (LLM’s ...

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

De Amerikaanse techaandelen stortten naar beneden toen bleek dat DeepSeek zijn chatbot had ontwikkeld voor veel minder geld en met minder geavanceerde chips dan zijn Amerikaanse rivalen. Het doet de ...

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

Fantasy Pepe is hier om alles flink op te schudden. Deze token introduceert virtuele voetbalclubs beheerd door AI-giganten in de cryptowereld ...

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

Investing.com -- Nvidia (NASDAQ:NVDA)’s CEO Jensen Huang heeft onlangs een vertrouwelijk gesprek gevoerd met de Amerikaanse Commissie voor Buitenlandse Zaken van het Huis van Afgevaardigden over de gr ...