发布每日快讯
每日快讯
智汇 AI，速览前沿
5月03
-
DeepSeek-Prover-V2 震撼登场：解锁数学推理新高度，构建 ProverBench 数据集
10:10 作者:willai人工智能领域，DeepSeek-Prover-V2 重磅发布，被视为通向 AGI 的关键一步。该模型提供 671B 和 7B 两种参数版本，推理性能与训练效率实现革新。其核心采用递归与强化学习结合的训练方法，能拆解复杂数学定理、形成思维链，提升数学证明效率，揭示 AI “黑盒” 逻辑。此外，DeepSeek-Prover-V2 建立 ProverBench 基准数据集，含 325 道题目，覆盖竞赛…
-
谷歌 DeepMind 新突破！Gemini 借 SAS 提示，助机器人打乒乓实现自我改进
10:10 作者:willai谷歌 DeepMind 新成果引关注。其利用大语言模型（LLMs）助力机器人自我提升，推出总结、分析、综合（SAS）提示。以乒乓球为媒介，基于过往行动分析任务执行情况并给出改进建议。像 Gemini 这类大语言模型具备固有问题解决能力，无需针对特定任务重训。机器人能通过与世界互动及从中学习实现操作改进。此外，还发布乒乓球投掷数据集与 MuJoCo 模拟环境 。
-
打破规模束缚！微软 Phi-4-reasoning 以 140 亿参数，跃升推理模型性能前列
10:10 作者:willai微软推出 140 亿参数的开源推理模型 Phi-4-reasoning 。该模型基于约 140 万精心整理的推理示例进行监督微调（SFT），并经少量强化学习（RL）。虽规模不大，但在数学基准测试（如 AIME、HMMT、OmniMath 等）中，性能优于部分更大规模模型。它在推理能力上表现突出，通过 SFT 展现出推理技能的可迁移性，RL 进一步优化推理机制。
-
谷歌 NotebookLM 升级！“音频概览” 新增 76 种语言支持，中文在列
10:10 作者:willai英伟达推出新工具 Nvidia AI Blueprint for 3D-guided generative AI 并开放下载。该工具需配备 RTX 4080 GPU 或更高型号计算机，通过连接 Blender 3D 建模软件与 Black Forest Lab 的 FLUX.1 图像生成器运行。用户可利用 Blender 中 3D 对象绘制场景，以此为参考创建 2D 图像，并能手动调整观看位置、对…
-
英伟达新工具上线！依托 3D 场景生成 AI 图像，需 RTX 4080 及以上配置
10:10 作者:willai2025 年第一季度，中国 AI 耳机市场迎来爆发式增长。洛图科技数据显示，传统主流电商平台 AI 耳机销量达 38.2 万副，同比增长 960.4%。其因具备实时翻译、会议记录、情感陪伴等智能功能备受青睐。市场上，AI 耳机产品丰富且价格分层，0-1000 元、1000-1500 元、1500 元以上价格段分别由不同品牌占据优势。洛图科技预测，2025 年传统主流电商渠道 AI 耳机总销量将达 …
-
亚马逊推最强 AI 模型 Nova Premier！多模态处理上线 Bedrock，定价对标 Gemini 2.5 Pro
10:10 作者:willai4 月 30 日消息，人工智能公司 Anthropic 周三表态，“强烈支持” 美国商务部将于 5 月 15 日实施的 “人工智能扩散框架”，该框架由拜登 1 月提出，旨在强化人工智能芯片出口管制，其中中国被列入限制最严的第三级。不过，Anthropic 建议降低二级国家免审芯片购买量，鼓励其通过政府间协议采购，并呼吁美国政府增加资金保障管制执行。此前，英伟达等曾对类似措施表示反对，而 Anthr…
-
阿里再发力！Qwen2.5-Omni-3B 震撼登场，显存减半适配消费级 GPU
10:10 作者:willai4 月 29 日消息，Meta 正式发布免费独立 Meta AI 应用，该应用基于 Llama 4 系列模型，能学习用户偏好，提供流畅语音交互，已登陆 iOS 及网页端。同时，Meta 宣布与 Cerebras Systems 合作推出 Llama API，开发者能借此获得比传统 GPU 方案快 18 倍的推理速度，每秒可处理 2600 Token。这使 Meta 加入 AI 推理服务市场竞争，与…
-
暴增 960.4%！2025 年 Q1 中国 AI 耳机市场狂飙，全年销量或再翻三倍
10:10 作者:willaixAI 旗下人工智能聊天机器人 Grok 即将迎来重大更新，其最新版本 Grok 3.5 预计下周向 SuperGrok 订阅用户开放早期测试版。该版本训练采用约 27.5 万张 NVIDIA H100 GPU，推理能力大幅提升，能从第一性原理解答复杂技术问题。同时，多模态功能进一步完善，语音模式有望新增多语言支持。Grok 3.5 被视为对谷歌 Gemini 2.5 Pro 及 OpenAI G…
-
Meta 智能眼镜隐私政策大改！AI 摄像头常开，语音强制云端存储
10:10 作者:willai在一对一的 Geoguessr 比赛中，OpenAI 的 o3 模型以 23179 比 22054 的分数战胜大师 I 级人类玩家，正确识别全部五个国家，两次将位置锁定在几百米之内。即便人类在图像 EXIF 中嵌入虚假 GPS 坐标，o3 仍能通过视觉推理和即时网络侦查忽略欺骗信息，准确找出真实位置。虽然 o3 单局推理耗时 2–6 分钟，速度不及人类，但其强大的跨模态推理能力展露无遗，彰显出 A…
-
Anthropic 力挺美 AI 芯片出口管制！建议加码管控二级国家，呼吁增资金保执行
10:10 作者:willai在中美科技竞争加剧之际，曾任职微软研究院的顶尖 AI 研究员亚历克斯・兰博确认将于秋季入职清华大学人工智能学院任助理教授。他履历亮眼，曾在亚马逊、谷歌脑等从事深度学习研究。兰博已开放招收清华硕博学生，青睐机器学习、强化学习领域且有顶会论文成果的人才。清华 AI 学院自去年成立便致力于全球揽才。当下美国对中科技限制增多，部分美科研人员另寻出路，而中国持续加大 AI 领域投入，工信部设立 600 亿元…
5月02
-
DeepSeek-Prover-V2 震撼登场：解锁数学推理新高度，构建 ProverBench 数据集
10:10 作者:willai人工智能领域，DeepSeek-Prover-V2 重磅发布，被视为通向 AGI 的关键一步。该模型提供 671B 和 7B 两种参数版本，推理性能与训练效率实现革新。其核心采用递归与强化学习结合的训练方法，能拆解复杂数学定理、形成思维链，提升数学证明效率，揭示 AI “黑盒” 逻辑。此外，DeepSeek-Prover-V2 建立 ProverBench 基准数据集，含 325 道题目，覆盖竞赛…
-
谷歌 DeepMind 新突破！Gemini 借 SAS 提示，助机器人打乒乓实现自我改进
10:10 作者:willai谷歌 DeepMind 新成果引关注。其利用大语言模型（LLMs）助力机器人自我提升，推出总结、分析、综合（SAS）提示。以乒乓球为媒介，基于过往行动分析任务执行情况并给出改进建议。像 Gemini 这类大语言模型具备固有问题解决能力，无需针对特定任务重训。机器人能通过与世界互动及从中学习实现操作改进。此外，还发布乒乓球投掷数据集与 MuJoCo 模拟环境 。
-
打破规模束缚！微软 Phi-4-reasoning 以 140 亿参数，跃升推理模型性能前列
10:10 作者:willai微软推出 140 亿参数的开源推理模型 Phi-4-reasoning 。该模型基于约 140 万精心整理的推理示例进行监督微调（SFT），并经少量强化学习（RL）。虽规模不大，但在数学基准测试（如 AIME、HMMT、OmniMath 等）中，性能优于部分更大规模模型。它在推理能力上表现突出，通过 SFT 展现出推理技能的可迁移性，RL 进一步优化推理机制。
-
谷歌 NotebookLM 升级！“音频概览” 新增 76 种语言支持，中文在列
10:10 作者:willai英伟达推出新工具 Nvidia AI Blueprint for 3D-guided generative AI 并开放下载。该工具需配备 RTX 4080 GPU 或更高型号计算机，通过连接 Blender 3D 建模软件与 Black Forest Lab 的 FLUX.1 图像生成器运行。用户可利用 Blender 中 3D 对象绘制场景，以此为参考创建 2D 图像，并能手动调整观看位置、对…
-
英伟达新工具上线！依托 3D 场景生成 AI 图像，需 RTX 4080 及以上配置
10:10 作者:willai2025 年第一季度，中国 AI 耳机市场迎来爆发式增长。洛图科技数据显示，传统主流电商平台 AI 耳机销量达 38.2 万副，同比增长 960.4%。其因具备实时翻译、会议记录、情感陪伴等智能功能备受青睐。市场上，AI 耳机产品丰富且价格分层，0-1000 元、1000-1500 元、1500 元以上价格段分别由不同品牌占据优势。洛图科技预测，2025 年传统主流电商渠道 AI 耳机总销量将达 …
-
亚马逊推最强 AI 模型 Nova Premier！多模态处理上线 Bedrock，定价对标 Gemini 2.5 Pro
10:10 作者:willai4 月 30 日消息，人工智能公司 Anthropic 周三表态，“强烈支持” 美国商务部将于 5 月 15 日实施的 “人工智能扩散框架”，该框架由拜登 1 月提出，旨在强化人工智能芯片出口管制，其中中国被列入限制最严的第三级。不过，Anthropic 建议降低二级国家免审芯片购买量，鼓励其通过政府间协议采购，并呼吁美国政府增加资金保障管制执行。此前，英伟达等曾对类似措施表示反对，而 Anthr…
-
阿里再发力！Qwen2.5-Omni-3B 震撼登场，显存减半适配消费级 GPU
10:10 作者:willai4 月 29 日消息，Meta 正式发布免费独立 Meta AI 应用，该应用基于 Llama 4 系列模型，能学习用户偏好，提供流畅语音交互，已登陆 iOS 及网页端。同时，Meta 宣布与 Cerebras Systems 合作推出 Llama API，开发者能借此获得比传统 GPU 方案快 18 倍的推理速度，每秒可处理 2600 Token。这使 Meta 加入 AI 推理服务市场竞争，与…
-
暴增 960.4%！2025 年 Q1 中国 AI 耳机市场狂飙，全年销量或再翻三倍
10:10 作者:willaixAI 旗下人工智能聊天机器人 Grok 即将迎来重大更新，其最新版本 Grok 3.5 预计下周向 SuperGrok 订阅用户开放早期测试版。该版本训练采用约 27.5 万张 NVIDIA H100 GPU，推理能力大幅提升，能从第一性原理解答复杂技术问题。同时，多模态功能进一步完善，语音模式有望新增多语言支持。Grok 3.5 被视为对谷歌 Gemini 2.5 Pro 及 OpenAI G…
-
Meta 智能眼镜隐私政策大改！AI 摄像头常开，语音强制云端存储
10:10 作者:willai在一对一的 Geoguessr 比赛中，OpenAI 的 o3 模型以 23179 比 22054 的分数战胜大师 I 级人类玩家，正确识别全部五个国家，两次将位置锁定在几百米之内。即便人类在图像 EXIF 中嵌入虚假 GPS 坐标，o3 仍能通过视觉推理和即时网络侦查忽略欺骗信息，准确找出真实位置。虽然 o3 单局推理耗时 2–6 分钟，速度不及人类，但其强大的跨模态推理能力展露无遗，彰显出 A…
-
Anthropic 力挺美 AI 芯片出口管制！建议加码管控二级国家，呼吁增资金保执行
10:10 作者:willai在中美科技竞争加剧之际，曾任职微软研究院的顶尖 AI 研究员亚历克斯・兰博确认将于秋季入职清华大学人工智能学院任助理教授。他履历亮眼，曾在亚马逊、谷歌脑等从事深度学习研究。兰博已开放招收清华硕博学生，青睐机器学习、强化学习领域且有顶会论文成果的人才。清华 AI 学院自去年成立便致力于全球揽才。当下美国对中科技限制增多，部分美科研人员另寻出路，而中国持续加大 AI 领域投入，工信部设立 600 亿元…
