Chinese AI company DeepSeek has launched the world’s first open AI model, Math-V2, which scored gold medal-level performance at the International Mathematical Olympiad (IMO). This revolutionary model is now available on platforms like Hugging Face and GitHub under a permissive license, allowing developers to repurpose it freely. The IMO, held annually since 1959, is renowned as the most prestigious mathematics competition, challenging participants, including AI systems, with complex questions requiring deep reasoning, creativity, and rigor. Historically, only about 8% of human participants earn gold medals. DeepSeek’s achievement aims to democratize access to advanced math AI models, following similar successes by leading US firms like Google DeepMind and OpenAI. The Math-V2 model demonstrated impressive theorem-proving skills, securing gold-level scores at recent IMO events and the upcoming 2024 Chinese Mathematical Olympiad. This development positions DeepSeek as a key player in the growing landscape of AI-driven mathematics.
Source link
Share
Read more