Formal Theorem Proving AI News & Updates
DeepSeek Updates Prover V2 for Advanced Mathematical Reasoning
April 30, 2025 12:20
Chinese AI lab DeepSeek has released an upgraded version of its mathematics-focused AI model Prover V2, built on their V3 model with 671 billion parameters using a mixture-of-experts architecture. The company, which prev...