6月17日·DeepSeek-R1跻身编程能力第一梯队，2025年上半年AI竞争格局生变

6月17日·周二  AI工具和资源推荐

DeepSeek-R1跻身编程能力第一梯队，2025年上半年AI竞争格局生变

在2025年上半年的AI领域，DeepSeek-R1凭借其卓越的编程能力成功晋级，与Gemini 2.5 Pro、Claude 4并列第一。根据LMArena公布的WebDev Arena排行榜，DeepSeek-R1在编程能力上表现出色，成为开源模型中的佼佼者。与此同时，SimilarWeb的报告显示，AI行业竞争激烈，OpenAI保持领先地位，谷歌凭借Gemini的崛起成为流量增长的亮点，而Meta则稍显落后。此外，生成式AI在开发与编码领域的流量持续增长，代码补全和DevOps工具成为增长热点，语音与音频生成工具也展现出强劲的发展势头。传统搜索领域则受到冲击，流量呈下降趋势。整体来看，AI行业在2025年上半年呈现出快速发展的态势，各领域竞争格局不断变化。来源：微信公众号【新智元】

豆包爱学App的AI拿下高考数学满分，AI教育迎来新突破

豆包爱学App的AI大模型教育版在高考数学全国卷中取得了惊人成绩：全国Ⅰ卷144分、全国Ⅱ卷满分150分。这一成绩由6位平均教龄超10年的资深数学教师严格评分，包括对主观题步骤的详细打分。豆包大模型教育版不仅解题思路清晰、逻辑严谨，还展现了强大的多模态能力，能够处理文字、图表等多种题型。其解题过程稳定，经过5次测试均能准确作答。这一成果预示着AI教育的潜力巨大，未来有望为教育资源不均衡地区的学生提供高质量学习支持，推动教育模式变革。来源：微信公众号【新智元】

CMU与英伟达发布Multiverse框架，大模型实现原生并行生成

大语言模型（LLM）的生成效率一直是技术瓶颈。传统自回归生成方式逐个生成token，无法充分利用现代硬件的并行计算能力，导致速度缓慢。近日，卡耐基梅隆大学（CMU）和英伟达的研究团队提出了名为“Multiverse”的全新生成式建模框架，支持原生并行生成。该框架通过揭示自回归模型输出中的内在并行性，实现了任务的自动分解、并行执行和无损合并。实验表明，Multiverse-32B模型在相同上下文长度下，性能比传统自回归模型高出1.87%，且在不同batch size下速度提升可达两倍。此外，Multiverse的生态系统已开源，包括数据、模型权重、引擎和工具等，为未来LLM的发展提供了新的方向。来源：微信公众号【机器之心】

小鹏汽车在CVPR 2025展示下一代自动驾驶模型，迈向L3智能驾驶新时代

在2025年全球计算机视觉顶会CVPR上，小鹏汽车作为唯一受邀的中国车企，展示了其下一代自动驾驶基座模型的最新进展。小鹏汽车通过自研的超大规模自动驾驶基座模型，结合大算力、大数据和大模型技术，正在推动自动驾驶从L2向L3级别迈进。小鹏G7车型首次搭载了三颗自研图灵AI芯片，具备超过2200TOPS的有效算力，并部署了视觉大模型（VLM）和智驾大脑+小脑模型（VLA-OL），显著提升了车辆在复杂路况下的决策和控制能力。小鹏的基座模型通过强化学习和蒸馏技术，实现了云端模型到车端的高效部署，展现了强大的泛化能力和拟人化驾驶风格。此外，小鹏还在开发世界模型，用于实时建模和反馈，进一步提升自动驾驶的安全性和效率。小鹏的实践表明，AI基础设施的投入和全链路优化将成为未来自动驾驶技术突破的关键。来源：微信公众号【机器之心】

MiniMax开源推理大模型MiniMax-M1，性价比极高，性能比肩DeepSeek-R1

国产推理大模型MiniMax-M1正式开源，迅速引发关注。该模型具备原生支持100万token输入长度的能力，是DeepSeek-R1的约8倍，同时支持8万输出token，成为世界最长输出。在生成10万token时，推理算力仅需DeepSeek-R1的25%。MiniMax团队仅用3周时间、512块H800 GPU完成强化学习训练阶段，算力租用成本仅383.9万元。MiniMax-M1在多个基准测试中表现优异，甚至在复杂任务上超越了OpenAI o3和Claude 4 Opus。其技术亮点包括采用Lightning Attention机制的混合注意力架构，以及创新的CISPO强化学习算法。模型权重已在HuggingFace开放下载，技术报告也已公开，用户可通过MiniMax Chat网页版在线试用。来源：微信公众号【量子位】