Chinese AI lab DeepSeek has quietly updated Prover, its AI model that’s designed to solve math-related proofs and theorems. According to South China Morning Post, DeepSeek uploaded the latest version of Prover, V2, to AI dev platform Hugging Face late on Wednesday. It appears to be built on top of the startup’s V3 model, which […]
Anthropic CEO claims AI models hallucinate less than humans
Anthropic CEO Dario Amodei believes today’s AI models hallucinate, or make things up and present them as if they’re true, at a lower rate than humans do, he said during…