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