, , :
28.11.2025
°C
$ 78.25
€ 90.79

中国引入了新的人工智能模型进行数学分析

Математика

中国公司DeepSeek发布了改进的DeepSeekMath-V2模型,能够以高精度生成和验证数学证明。

DeepSeekMath-V2作为一个自我测试系统工作:一个模型形成推理和证据,第二个模型审查每个逻辑动作。 这种方法不仅可以让您收到正确的答案,还可以确保其透明的理由。 开发人员强调,双重检查机制显着提高了复杂计算解决方案的可靠性。

在测试过程中,该模型显示了2025年国际数学奥林匹克和2024年中国数学奥林匹克金牌得主的水平。 该公司认为,新架构为为基础数学问题创建更强大,可解释的AI系统铺平了道路,其中证据质量尤为重要。

人工智能领域的快速增长使中国成为全球发展的中心之一。 阿里巴巴,百度,DeepSeek,Moonshot AI,腾讯和智浦AI等主要参与者正在积极参与行业竞争,通过新模式和自己的研究平台巩固自己的地位。