DeepSeek AI Releases DeepSeekMath-V2: The Open Weights Maths Model That Scored 118/120 on Putnam 2024
How can an AI system show complicated olympiad degree math issues in clear pure language whereas additionally checking that its personal reasoning is definitely right? DeepSeek AI has launched DeepSeekMath-V2, an open weights massive language mannequin that’s optimized for pure language theorem proving with self verification. The mannequin is constructed on DeepSeek-V3.2-Exp-Base, runs as a…
