据悉，DeepSeek-Prover-V2-671B 使用了更高效的 safetensors 文件格式，并支持多种计算精度，方便模型更快、更省资源地训练和部署，参数达 6710 亿，或为去年发布的 Prover-V1.5 ...

Qwen3 在推理、指令遵循、工具调用、多语言能力等方面均大幅增强，创下所有国产模型及全球开源模型的性能新高：在奥数水平的 AIME25 测评中，Qwen3 斩获 81.5 分，刷新开源纪录；在考察代码能力的 LiveCodeBench 评测中，Qwen3 突破 70 分大关，表现甚至超过 Grok3；在评估模型人类偏好对齐的 ArenaHard 测评中，Qwen3 以 95.6 分超越 ...

4 月 29 日消息，Meta 正式发布了其独立的 AI 助手应用——Meta AI，旨在与 ChatGPT 等竞争对手抗衡。该应用具备当前 AI 助手的典型功能，用户可以通过文字输入或语音对话与其交互，生成图像，并获取实时网络搜索结果。

Qwen3 性能全面超越 R1、OpenAI-o1 等全球顶尖模型，旗舰型号的参数量仅为 DeepSeek-R1 的 1/3。

匪夷所思的「交易」背后，藏着脸书初心的「社交」本质。

在这一进程中，阿里云、百度智能云、火山云等云厂商正形成新一轮的竞争态势。各大厂商纷纷将目光投向大模型能力的打造与AI基础设施的完善，抢占AI产业的新高地。特别是在企业级AI Agent的需求激增下，2025年这一领域成为了AI落地的重点方向之一。

从拍照识别到 AI 相机这个概念，更像是从「Know-What」到「Get it Done」的一个产品形态跃迁——我们其实已经在过去 1-2 年看到过不少类似产品都在依托 AI 能力，完成这样类似「鲤鱼跃龙门」一般的变迁。

美团官方账号「小团有话说」今日再发表关于「限制骑手去其他平台接单」传闻的声明；包括两位诺贝尔奖得主，以及前总统顾问在内的 24 名经济学家联名发布了一份「反关税宣言」；，小顽童队身高 1.2 米的松延动力 N2 机器人同款上线京东拍卖平台。

十年里，苹果累计售出了超 3 亿只 Apple Watch。与 AirPods 和其他家庭设备一起，Apple Watch 所在的「配件」业务板块，每年能为苹果贡献约 400 亿美元营收，高于 iPad 和 Mac 业务，是仅次于 iPhone ...

先科普一下什么是虚拟制作（Virtual Producttion）。其基本原理是将 LED 虚拟影棚和虚幻引擎结合起来，直接在拍摄时生成动态数字场景，从而替代传统的绿幕和后期合成，实现实时可视化和更逼真的视觉效果。