DeepSeek Prover-V2: Open-Source LLM for Math Proofs
DeepSeek introduces Prover-V2, an open-source LLM for formal theorem proving, using DeepSeek-V3 and Lean 4. It includes ProverBench for comprehensive evaluation.
Tag: DeepSeek
The Deepseek-R1 Effect: Reasoning Model Innovation
Deepseek-R1 has catalyzed reasoning-enabled language model innovation, spurring replication and new approaches with data quality, RL, and training strategies.
DeepSeek's 100 Days: AI Innovation Catalyst
DeepSeek's rise has reshaped AI ventures, investments, and competition, boosting startups and sparking innovation in applications and transparency.
DeepSeek: The Rise of a Chinese AI Powerhouse
Explore DeepSeek's rapid rise in AI, its innovative models, disruptive approach, and the challenges it faces amid scrutiny and geopolitical tensions.
Taiwan's AI Sovereignty Pursuit Against DeepSeek
Taiwan responds to DeepSeek with AI reflecting its culture and values, challenging Chinese AI influence and data integrity concerns.
AI Password Generation: Experts Warn of Risks
Experts warn against using AI for passwords. Models like DeepSeek and Llama are vulnerable to hacking, creating a false sense of security.
The AI Battlefield: DeepSeek R1 Sparks Global Response
DeepSeek R1's open-source launch ignited a global AI race, pushing leading companies to accelerate development and refine strategies in response.
China's DeepSeek AI for Warplane Development
China leverages DeepSeek AI to revolutionize warplane design, boosting aerospace capabilities and aiming for technological self-reliance.
Vimicro Unveils Single-Chip DeepSeek LLM Solution
Zhongxing Micro's Starlight Intelligence No. 5 runs DeepSeek models independently, boosting edge AI with enhanced performance, security, and domestic production.
DeepSeek: Democratizing AI with Lower Costs
DeepSeek's discounted foundation models tackle AI adoption costs, potentially revolutionizing enterprise use. This move empowers smaller companies and accelerates AI implementation across industries.