fromTechCrunch1 month agoDeepSeek upgrades its AI model for math problem solving | TechCrunchProver V2 represents the latest evolution in DeepSeek's quest to enhance AIâs ability to resolve complex mathematical proofs, leveraging over 671 billion parameters.Artificial intelligence