The International Mathematical Olympiad (IMO), held annually since 1959, is widely regarded as the world\u2019s most prestigious maths competition, testing participants with problems that demand deep insight, creativity, and rigorous reasoning, according to Harvard AI researcher Huang Yichen and UCLA computer science professor Yang Lin.\u00a0<\/p>\n
Now, Chinese AI startup DeepSeek<\/a> has made its Math-V2 model widely available, open-sourcing it on Hugging Face and GitHub under a permissive license that allows developers to adapt and repurpose the system.\u00a0<\/p>\n Math-V2 has demonstrated gold-medal-level performance at the IMO, a feat requiring not just correct answers but also transparent reasoning behind them \u2013 a standard only about 8 per cent of human participants achieve.<\/p>\n Lowering global barriers for advanced maths<\/p>\n The company says its Math-V2 model achieved gold-level scores on problems from both this year\u2019s International Mathematical Olympiad and the 2024 Chinese Mathematical Olympiad. By open-sourcing the model, DeepSeek aims to lower barriers for researchers and developers eager to experiment with advanced AI capable of reasoning through high-level mathematical challenges, a domain traditionally dominated by proprietary systems, the South China Morning Post reported<\/a>.<\/p>\n In a Hugging Face post, DeepSeek researchers emphasized<\/a> that further developing AI\u2019s mathematical capabilities could have a transformative impact on scientific research, from complex simulations to theoretical problem-solving.\u00a0<\/p>\n They cautioned, however, that many of today\u2019s AI systems have been primarily optimized to perform well on standard maths benchmarks, achieving high scores without necessarily improving the underlying reasoning and problem-solving abilities that drive real innovation.\u00a0<\/p>\n To strengthen the rigour of its AI\u2019s mathematical<\/a> reasoning, DeepSeek focused on enabling the model to \u201cself-verify\u201d its answers, even for problems without pre-existing solutions, the researchers explained. This self-checking ability allows the AI to assess the consistency and validity of its reasoning, helping ensure that its conclusions are not only correct when known solutions exist, but also reliable when tackling novel or unsolved mathematical challenges.<\/p>\n Self-verifiable reasoning opens new path for advanced mathematical AI<\/p>\n DeepSeek\u2019s approach tackles a longstanding limitation in AI development: most systems only show improvement on tasks where solutions can be easily verified. By enabling self-verifiable reasoning, the model can extend its capabilities to more complex, open-ended problems. The researchers noted that, although significant work remains, these results indicate that self-verifying mathematical reasoning is a promising research direction that could pave the way for more advanced and capable AI systems<\/a> in mathematics and beyond.<\/p>\n