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