fromTechCrunch1 week agoArtificial intelligenceDeepSeek upgrades its AI model for math problem solving | TechCrunchDeepSeek's latest AI update, Prover V2, enhances its theorem-solving capability using a sophisticated model with extensive parameters.