DeepSeek releases first open AI model with gold-level scores at maths olympiad | DeepSeek发布首款在数学奥林匹克中获金牌水平的开源AI模型
中国人工智能公司DeepSeek宣布推出全球首个开源AI模型，用于测试和评分国际数学奥林匹克（IMO）中的金牌水平表现。该公司将其Math-V2模型在Hugging Face和GitHub平台上开源，允许开发者自由使用和改造。IMO作为自1959年以来每年举行的顶级数学竞赛，以题目复杂、需要深刻洞察力、创造力和严谨性著称，AI系统要获得高分，必须展示推理过程，而非仅提供答案。
DeepSeek的这一突破预计将降低全球开发者使用强大数学AI模型的门槛。此前，美国谷歌DeepMind和OpenAI也曾在IMO中使用专有模型取得类似成绩。该中国公司声称，其Math-V2模型在今年的IMO以及2024年中国数学奥林匹克中都达到了金牌水平，并在2025年国际数学奥林匹克中表现出强大的定理证明能力，显示出其在高难度数学题目中的优越性能。
via SCMP Full Text Feed
中国人工智能公司DeepSeek宣布推出全球首个开源AI模型，用于测试和评分国际数学奥林匹克（IMO）中的金牌水平表现。该公司将其Math-V2模型在Hugging Face和GitHub平台上开源，允许开发者自由使用和改造。IMO作为自1959年以来每年举行的顶级数学竞赛，以题目复杂、需要深刻洞察力、创造力和严谨性著称，AI系统要获得高分，必须展示推理过程，而非仅提供答案。
DeepSeek的这一突破预计将降低全球开发者使用强大数学AI模型的门槛。此前，美国谷歌DeepMind和OpenAI也曾在IMO中使用专有模型取得类似成绩。该中国公司声称，其Math-V2模型在今年的IMO以及2024年中国数学奥林匹克中都达到了金牌水平，并在2025年国际数学奥林匹克中表现出强大的定理证明能力，显示出其在高难度数学题目中的优越性能。
via SCMP Full Text Feed
