Chinese start-up DeepSeek has released Prover-V2, an AI model designed for complex math problems, on Hugging Face, highlighting the competitive landscape in generative AI technology.
DeepSeek Quietly Launches Prover-V2 AI Model Following Alibaba's Qwen3 – News and Statistics
