Hosted on MSN

China’s DeepSeek sets new benchmark with AI model scoring top marks in maths

The International Mathematical Olympiad (IMO), held annually since 1959, is widely regarded as the world’s most prestigious maths competition, testing participants with problems that demand deep ...
Yahoo News Singapore

DeepSeek releases first open AI model with gold-level scores at maths olympiad

Chinese artificial intelligence company DeepSeek has released the world's first open AI model to test and score a gold medal-level performance at the annual International Mathematical Olympiad (IMO), ...
GIGAZINE

DeepSeek quietly releases 'DeepSeek-Prover-V2', a tool specialized for mathematical inference, capable of formal proof of complex theorems

Chinese AI company DeepSeek has released ' DeepSeek-Prover-V2 ', the second generation model of Prover, an AI specialized in mathematical reasoning, on Hugging Face and GitHub. It is ...
moneycontrol.com

DeepSeek’s math model hits Olympiad gold and goes fully open-source

DeepSeek, the artificial intelligence start up based in Hangzhou, has become the first company to release an open-source AI model that reaches gold medal level performance in the International ...