AI在线 AI在线

DeepSeek

数学推理新标杆！DeepSeek-Prover-V2 实现数学证明的飞跃

数学推理新标杆！DeepSeek-Prover-V2 实现数学证明的飞跃
在人工智能领域，最近一项重磅技术发布引发广泛关注 ——DeepSeek-Prover-V2。 这一模型不仅在推理性能上取得了显著提升，还被誉为通向人工通用智能（AGI）的关键一步。 DeepSeek-Prover-V2在推理能力和训练效率上都进行了革命性的创新，给数学推理研究带来了新的希望。
5/1/2025 10:00:51 AM
AI在线
DeepSeek-Prover-V2 登场：AI 数学推理新王者，88.9% 通过率设新标杆

DeepSeek-Prover-V2 登场：AI 数学推理新王者，88.9% 通过率设新标杆
深度求索（DeepSeek）昨日（4 月 30 日）在 AI 开源社区 Hugging Face 上，发布名为 DeepSeek-Prover-V2-671B 的新模型，随后在 GitHub 等平台上公布了论文信息。
5/1/2025 9:14:27 AM
故渊
看不懂新开源的DS-Prover V2版本？解读来了，攻克像人类一样数学证明，达到SoTA水平，不知道如何测？样题来了

看不懂新开源的DS-Prover V2版本？解读来了，攻克像人类一样数学证明，达到SoTA水平，不知道如何测？样题来了
五一凌晨，DeepSeek终于更新了新开源的 DeepSeek-Prover V2的自述文件。 速览一下： - 解决近 90% 的 miniF2F 问题（88.9%） - 显著提高 PutnamBench 上的 SoTA 性能 - 在正式版本中对 AIME 24 和 25 问题取得了惊艳的通过率点评：亮点上来看，DeepSeek-Prove V2模型在死磕LLM在推理数学问题上能给出答案但却给不出严格正确的推理步骤的问题。 而且在一中先进模型中达到了SoTA的水平，图四是前十榜单。
5/1/2025 8:33:20 AM
DeepSeek-Prover-V2-671B 模型开源，数学推理领域迎来新突破

DeepSeek-Prover-V2-671B 模型开源，数学推理领域迎来新突破
中国 AI 初创公司 DeepSeek 再次掀起开源 AI 领域的热潮，正式发布其最新开源模型 DeepSeek-Prover-V2-671B。 这一拥有6710亿参数的超大规模语言模型，专为数学推理和问题解决设计，展现了 DeepSeek 在高效 AI 开发上的持续创新能力。 根据社交媒体上的最新讨论，这一模型被认为是 DeepSeek 在数学领域的重要里程碑，或将推动全球 AI 研究与应用的进一步发展。
4/30/2025 6:00:51 PM
AI在线
Meta AI 独立App炸场上线！小扎力挺开源：与 DeepSeek、Qwen 一起对抗“闭源”AI

Meta AI 独立App炸场上线！小扎力挺开源：与 DeepSeek、Qwen 一起对抗“闭源”AI
Meta又搞了个大活。 就在LlamaCon开发者大会上，这家社交巨头一口气发布了Meta AI独立App和Llama 云 API，正式把自家的AI推到了“社交 个性化 开放生态”的新维度。 图片是的，你没看错——继在WhatsApp、Instagram、Facebook、Messenger里塞满AI助手之后，Meta终于把AI单独做成了App，直接对标ChatGPT。
4/30/2025 2:12:36 PM
文摘菌
DeepSeek定制训练：微调与推理技术应用

DeepSeek定制训练：微调与推理技术应用
一. 前言介绍本文内容：模型加载与预处理：详细讲解如何加载预训练模型、分词器，并处理输入数据集。 LoRA配置：介绍如何使用LoRA技术配置模型，并高效进行微调，节省计算资源。
4/30/2025 9:19:32 AM
性能与效率的双赢:Qwen3横空出世，MoE架构大幅降低部署成本

性能与效率的双赢:Qwen3横空出世，MoE架构大幅降低部署成本
阿里云旗下通义千问（Qwen）团队正式发布Qwen3系列模型，共推出8款不同规格的模型，覆盖从移动设备到大型服务器的全部应用场景。 这是国内首个全面超越DeepSeek R1的开源模型，也是首个配备混合思维模式的国产模型。 模型阵容丰富，满足各类部署需求Qwen3系列包含6款Dense模型和2款MoE模型:Dense模型:0.6B、1.7B、4B、8B、14B、32BMoE模型:Qwen3-235B-A22B （总参数235B，激活参数22B）Qwen3-30B-A3B （总参数30B，激活参数3B）所有模型均支持128K上下文窗口，并配备了可手动控制的"thinking"开关，实现混合思维模式。
4/29/2025 4:00:41 PM
AI在线
三招教你私有化部署 DeepSeek

三招教你私有化部署 DeepSeek
在数字化转型的进程中，企业不仅需要高效、智能的工具来提升运营效率，还需确保数据安全与满足隐私保护要求。 DeepSeek 私有化部署正是为解决这一需求而生的，它通过将 DeepSeek 智能助手从公共云端迁移至企业内部服务器，为企业提供了一种安全、可控且高度定制化的解决方案。 这种部署方 式不仅能够满足企业对敏感数据的保护需求，还能根据具体业务场景进行灵活 调整，从而为企业数字化转型提供强有力的支持。
4/29/2025 8:04:10 AM
全国首个黑土侵蚀阻控技术智慧配置平台上线试运行

全国首个黑土侵蚀阻控技术智慧配置平台上线试运行
近日，由中国科学院东北地理与农业生态研究所牵头，西北农林科技大学、中国科学院南京土壤研究所、中国农业科学院农业资源与农业区划研究所、吉林农业大学、吉林省水土保持科学院等联合开发的“智保黑土”上线试运行，这是全国首个大语言模型驱动的黑土侵蚀阻控技术智慧配置平台。
4/28/2025 6:56:21 AM
归泷
宝马中国宣布新车型接入DeepSeek 含5系、全新X3

宝马中国宣布新车型接入DeepSeek 含5系、全新X3
宝马中国宣布旗下的新车型将在第三季度接入先进的 DeepSeek 技术。 这一技术将应用于搭载第九代操作系统的多款新车，标志着宝马在智能车载系统方面迈出了重要一步。 根据规划，首批适配车型包括 BMW5系长轴距版、纯电动 i5以及全新 X3长轴距版等，届时，现有车主也将能够体验到这一全新功能。
4/27/2025 2:00:48 PM
AI在线
美国政府「AI行动计划」万言书发布！ OpenAI与Anthropic呼吁联手封锁中国AI

美国政府「AI行动计划」万言书发布！ OpenAI与Anthropic呼吁联手封锁中国AI
AI战打到现在，下一步怎么走？ 4月25日，美国网络与信息技术研究与发展（NITRD）公开了美国各界就「AI行动计划」提交的全部书面意见。 网站链接：，在现在这届政府是行不通了，现在，特朗普政府需要一个全新的AI行动计划，继续保持美国的AI领先地位。
4/27/2025 9:17:00 AM
新智元
如何用DeepSeek+Cursor加速开发微信小程序（实战级指南）

如何用DeepSeek+Cursor加速开发微信小程序（实战级指南）
一、工具链核弹级组合1. 双AI引擎配置复制技术协同原理：• Cursor：实时代码生成/缺陷修复（相当于AI程序员）• DeepSeek：业务逻辑设计/架构优化（相当于CTO）2. 环境闪电部署复制二、小程序开发加速流水线1.
4/27/2025 2:25:00 AM
架构师秋天
李彦宏谈DeepSeek现存痛点 称Deepseek又慢又贵

李彦宏谈DeepSeek现存痛点 称Deepseek又慢又贵
今日，百度在武汉举办的Create2025AI开发者大会上，创始人李彦宏以“模型的世界，应用的天下”为主题发表近60分钟演讲，正式发布文心大模型4.5Turbo与X1Turbo版本，并披露DeepSeek模型在百度生态中的落地进展与现存挑战。 李彦宏透露，百度旗下文小言、百度搜索、百度地图等核心产品已接入DeepSeek满血版模型，在智能客服、搜索增强等场景实现效率提升。 但他同时坦言，DeepSeek目前仍存在技术局限:“该模型仅支持文本处理，无法完成图片、音频、视频的多模态内容生成，而百度智能云超六成企业客户对多模态能力有明确需求。
4/25/2025 4:00:48 PM
AI在线
李飞飞/DeepSeek前员工领衔，复现R1强化学习框架，训练Agent在行动中深度思考

李飞飞/DeepSeek前员工领衔，复现R1强化学习框架，训练Agent在行动中深度思考
什么开源算法自称为DeepSeek-R1（-Zero） 框架的第一个复现？ 新强化学习框架RAGEN，作者包括DeepSeek前员工Zihan Wang、斯坦福李飞飞团队等，可训练Agent在行动中深度思考。 图片论文一作Zihan Wang在DeepSeek期间参与了Deepseek-v2和Expert Specialized Fine-Tuning等工作，目前在美国西北大学读博。
4/25/2025 1:34:53 PM
DeepSeek在数据领域的30个应用场景

DeepSeek在数据领域的30个应用场景
在这个数据AI的时代，DeepSeek作为新一代AI模型正在改变我们处理、分析和理解数据的方式。  本文为您揭秘DeepSeek在数据领域的30个颠覆性应用场景，带大家一窥AI如何重塑数据价值链。 一、数据获取与处理篇1.
4/25/2025 12:50:00 AM
大数据AI智能圈
国家知识产权局：中国成为全球AI专利最大拥有国，占比达60%

国家知识产权局：中国成为全球AI专利最大拥有国，占比达60%
国家知识产权局局长申长雨在国务院新闻办公室的发布会上透露，中国在人工智能领域正展现出强劲的发展势头。 根据世界知识产权组织的报告，中国已成为全球人工智能专利的最大拥有国，专利数量占全球总量的60%。 这一成就不仅反映了中国在科技创新方面的突破，也彰显了其在新兴产业中的领导地位。
4/24/2025 2:00:46 PM
AI在线
宝马将在中国新车型中引入DeepSeek人工智能

宝马将在中国新车型中引入DeepSeek人工智能
在近日于上海举行的汽车展上，德国汽车制造商宝马（BMW）宣布，将于今年晚些时候在其新车型中集成中国初创公司 DeepSeek 的人工智能技术。 宝马首席执行官奥利弗・齐普塞(Oliver Zipse)在展会上表示，这一举措标志着宝马在中国市场进一步加强与本地科技公司的合作。 齐普塞强调，中国在人工智能领域的创新步伐迅速，宝马希望借助这种技术提升其汽车的智能化水平。
4/23/2025 11:00:57 AM
AI在线
外媒：DeepSeek震撼世界 中国大学成为AI人才池

外媒：DeepSeek震撼世界 中国大学成为AI人才池
近年来，美国频繁渲染所谓的“中美争夺AI霸权”，尽管这一说法是否契合现实尚存争议，但不可否认的是，在美国的AI战略视野中，中国已被明确界定为核心竞争对手。 《巴伦周刊》报道称，当前美国在AI创新领域依然保持领先地位，不过中国正在快速缩小差距。 在学术研究、资本投入以及政策战略布局等关键层面，中国展现出强大的追赶态势：海量论文产出彰显科研活力，持续增长的投资为产业发展注入动力，而系统的政策支持更是为AI技术发展筑牢根基。
4/23/2025 9:34:46 AM