购物车
我要投稿
版权投诉
2025-2030年全球与中国4-硝基氮氧化喹啉行业市场现状
2025-06-02
计算机行业周报：创数学推理新高，阿里通
- 2025-05-07 15:35:36上传人：乄秒**無形
-
Aa 小 中 大
投资要点算力：算力租赁价格平稳，DeepSeek-Prover-V2创数学推理新高4月30日，DeepSeek发布名为DeepSeek-Prover-V2的数学推理模型，提供7B和671B两种参数规模。在多个标准基准测试中，DeepSeek-Prover-V2-671B都取得了神经定理证明领域的最先进性能水平。并且，面对从著名的AIME竞赛（2024-2025年）中挑选的15个问题，该模
- 1、 算力动态：算力租赁价格平稳， DEEPSEEK-PROVER-V2 创数学推理新高
- 1.1、 数据跟踪：算力租赁价格平稳
- 1.2、 产业动态： DeepSeek-Prover-V2 创数学推理新高
- 2、 AI应用动态： GEMINI平均停留时长环比 +3.45%，阿里通义千问推出 QWEN3模型
- 2.1、 流量跟踪： Gemini平均停留时长环比 +3.45%
- 2.1、 产业动态：阿里通义千问推出 Qwen3模型
- 3、 AI融资动向： 身份验证平台 PERSONA 获 2 亿美元融资，估值达 20 亿
- 4、 行情复盘
- 5、 投资建议
- 6、 风险提示
- 图表1：本周算力租赁情况
- 图表2：和其他模型相比，在 DeepSeek-Prover-V2-7B在 MiniF2F 测试中的通过率更高
- 图表3：2025.4.26-2025.4.30 AI相关网站流量
- 图表4：在两种思考模式中 Qwen3 均展现出可扩展且平滑的性能提升
- 图表5：Qwen、Llama、Mistral 系列开源模型的衍生模型数量随时间的增加情况
- 图表6：本周AI初创公司融资动态
- 图表7：本周指数日涨跌幅
- 图表8：本周AI算力指数内部涨跌幅度排名
- 图表9：本周AI应用指数内部涨跌幅度排名
- 图表10：重点关注公司及盈利预测
- 上一篇社会服务点评报告：五一消费数据如何？
- 下一篇没有了！
报告网所有机构报告是由用户上传分享，未经用户书面授权，请勿作商用！
