1 link tagged with all of: open-source + deepseek + ai-models + imo-2025 + mathematics
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.
deepseek ✓
imo-2025 ✓
open-source ✓
mathematics ✓
ai-models ✓