DeepSeek今日于AI开源社区Hugging Face上发布新模型

4月30日财经报道，DeepSeek今日于AI开源社区Hugging Face上发布了一个名为DeepSeek-Prover-V2-671B的新模型。据悉，DeepSeek-Prover-V2-671B 使用了更高效的 safetensors文件格式，并支持多种计算精度，方便模型更快、更省资源地训练和部署，参数达6710亿，或为去年发布的Prover-V1.5数学模型升级版本。在模型架构上，该模型使用了DeepSeek-V3架构，采用MoE（混合专家）模式，具有61层Transformer层，7168维隐藏层。同时支持超长上下文，**位置嵌入达16.38万，使其能处理复杂的数学证明，并且采用了FP8量化，可通过量化技术减小模型大小，提高推理效率。

4月30日财经报道，以太坊再质押协议Kelp披露，在最近的升级中发现了费用铸造合约中的一个错误，导致多余的rsETH被铸造到其费用地址。所有资金在智能合约中仍然安全。团队正在努力解决此问题。为安全起见，充值和提现功能已暂停。

4月30日财经报道，以太坊联合创始人 Vitalik Buterin 公布其 2025 年的关注点：1、以太坊发展，包括 L1 长期路线图中的单时隙最终性、长期虚拟机、无状态性、安全性等，以及全栈安全、开源和隐私保护；2、宏观层面的去中心化加速，涉及通信工具、社交层面、治理机制设计、密码学、基础设施等。