Click any tag below to further narrow down your results
Links
DeepSeek's AI model, DeepSeekMath-V2, earned gold by solving five of six problems at the International Mathematics Olympiad 2025. The model is open-source under the Apache 2.0 license, enhancing access to advanced mathematical AI tools.
DeepMath-103K is a newly released dataset designed to enhance mathematical reasoning in language models, featuring a broad range of challenging and diverse math problems. It includes rigorous decontamination processes to ensure fair evaluation, with detailed problem structures that support various research applications. The accompanying models and code are open-sourced to facilitate further exploration and development in the field.