"3"的搜索结果
今天
05:21

DeepSeek V4 引发美国争论:智库质疑芯片使用,Replit CEO 为开放创新辩护

Gate News 消息,4 月 24 日——围绕 DeepSeek V4 的技术能力与合规性,美国爆发了一场争论。Chris McGuire 是外交关系委员会 (CFR) 的资深研究员,曾任白宫国家安全委员会以及国防部官员,发表了分析文章,称 V4 并未改变美中 AI 的竞争格局。根据 McGuire 的说法,DeepSeek 自己的 V4 报告承认,其推理能力比前沿模型大约落后 3 到 6 个月,并以发布于六个月前的 GPT-5.2 与 Gemini 3.0 Pro 作为基准。 McGuire 提出担忧:尽管 V4 报告披露了在推理阶段对 NVIDIA GPU 以及华为 Ascend NPU 的适配,但并未公开说明开发过程中所使用的 GPU 型号或训练成本。他质疑这种沉默是否意味着使用了受出口管制的 NVIDIA Blackwell 芯片,并指出 V3 先前曾声称使用了 2,000 张 H800 GPU,成本为 5.57 million 美元。DeepSeek 已否认使用 Blackwell,表示该模型是在 NVIDIA H800 与华为 Ascend 910C 处理器上训练的。 Replit 首席执行官 Amjad Masad 反驳了 McGuire 的分析,认为中国科学家正在公开分享真正的 AI 突破,而美国政策制定者与游说者则放大“China distillation”(中国蒸馏)的担忧。Masad 强调了 DeepSeek 在官方声明中披露的架构创新,包括 DeepSeek 稀疏注意力 的按 token 级别注意力压缩,以及针对长上下文计算的显著效率提升。他指出,V4-Pro 在 1M 上下文长度下,展现出比 V3.2 更低得多的按 token 推理计算量与 KV 缓存需求,并强调这些架构进展与训练数据蒸馏无关,所有研究人员——包括美国的实验室——都可以从开源发展中获益。
展开
04:49

DeepSeek V4 在 Putnam-2025 上取得满分成绩,与 Axiom 在形式化数学推理中并列第一

Gate News 消息,4月24日——DeepSeek V4 已发布来自形式化数学推理评测的结果,在 Putnam-2025 上获得满分 120/120,与 Axiom 并列第一。 在使用 LeanExplore 和受约束采样的实际模式下,V4-Flash-Max 在 Putnam-200 Pass@8 基准测试中得分 81.00,显著优于 Seed-2.0-Prover 35.50、Gemini 3 Pro 26.50 和 Seed-1.5-Prover 26.50。前沿模式的结果显示,V4 在 Seed-1.5-Prover 110/120 与 Aristotle 100/120 之前。 V4 采用混合的形式化-非形式化推理方法:非形式化推理生成候选自然语言解答,自我验证用于筛选结果,而形式化智能体在 Lean 中完成严格证明。前沿结果采用了大规模计算扩展,而实际模式分数更能反映标准部署能力。
展开
03:23

比特币在 $77.8K 附近止步:日本通胀飙升与伊朗战争紧张局势引发扰动

Gate News 消息,4月24日——周五加密市场走弱,比特币徘徊在约 $77,800 附近,以太坊跌至 $2,300,24小时跌幅为 0.8%。周三从 $65,000 启动的上涨趋势已明显放缓,以太坊的表现落后于比特币。 市场压力源自日本 3月企业服务价格指数同比上涨 3.1%,高于预期并推动核心通胀加速。市场参与者预计日本央行可能在下一次政策会议上释放加息信号。更强势的日元可能引发全球套息交易的平仓,从而压制风险资产。
展开
BTC0.51%
ETH0.21%
02:31

霍尔木兹海峡中断后,因石脑油短缺三星、SK海力士面临芯片供应风险

Gate 新闻消息,4月24日——日本光刻胶(photoresist)供应商已警告三星电子(Samsung Electronics)和SK海力士(SK Hynix),称在3月初霍尔木兹海峡(Strait of Hormuz)被事实上关闭之后,可能出现原材料供应中断。风险源于更趋紧张的石脑油(naphtha)供应。石脑油是一种油基原料,用于生产用于光刻胶的特种化学品,这是一种芯片制造中的关键材料。
展开
01:23

3F 融资 $4M 以通过 Morpho 实现代币化现实世界资产的杠杆敞口

Gate News 消息,4月24日——基于 Morpho 构建的金库协议 3F 已筹集 $4 百万美元,旨在为代币化的现实世界资产提供杠杆敞口。该融资包括一笔 (在 2025 年 11 月封闭)的 750,000 美元 pre-seed 轮,以及一笔 (在 2026 年 3 月封闭)的 3.3 million 美元 seed 轮,两者均以 SAFEs 结构,并配有一对一的代币认股权证
展开
MORPHO-0.23%
RUNE1.9%
SKY2.73%
CFG1.1%
19:03

3F 募集 $4 百万美元,以在 Morpho 上实现对代币化现实世界资产的杠杆敞口

Gate News 消息,4 月 23 日——3F 是一个基于 Morpho 构建的金库协议,已募集 $4 百万美元资金,用于提供对代币化现实世界资产的杠杆敞口。该融资包括一笔 750,000 美元的 pre-seed 轮 (2025 年 7 月–11 月),以及一笔 3.3 million 美元的 seed 轮 (2025 年 11 月–2026 年 3 月),其结构为未来股权简单协议(SAFEs),并配套一对一股权对代币转换的认股权证。
展开
MORPHO-0.23%
RUNE1.9%
SKY2.73%