News list for " See"
Stablecoin infrastructure startup Nodu announced the completion of a $1.45 million Pre-Seed round led by Digital Space Ventures, which is building a MiCA-compliant stablecoin alternative to vendors such as Zerohash and Bridge to provide European institutions with a native option for programmable currencies.
稳定币基础设施初创公司 Nodu 宣布完成 145 万美元 Pre-Seed 轮融资，Digital Space Ventures 领投，该公司正在构建一个符合 MiCA 标准的稳定币替代方案，以取代 Zerohash 和 Bridge 等供应商，为欧洲机构提供可编程货币的原生选择。
Solana生态预测市场worm.wtf完成450万美元Pre-Seed融资，6MV、Alliance、Solana Ventures、Borderless及Advancit Capital等参投。
Gondor completed a $2.50 million Pre-Seed round of financing with participation from Prelude, Castle Island Ventures and Maven 11. It is reported that Gondor will launch a protocol next week that allows users to borrow against Polymarket positions and trade with 2x leverage.
预测市场 DeFi 层协议 Gondor 完成 250 万美元 Pre-Seed 轮融资，Prelude，Castle Island Ventures 和 Maven 11 参投。据悉，Gondor 下周将推出一项协议，允许用户以 Polymarket 持仓为抵押进行借款，并以 2 倍杠杆进行交易。
Today, we are releasing two official models simultaneously: DeepSeek-V3.2 and DeepSeek-V3.2-Speciale. DeepSeek-V3.2 is our first model that integrates thinking into tool use, and supports tool calls in both thinking and non-thinking modes. We propose a large-scale agent training data synthesis method, which constructs a large number of "difficult-to-answer, easy-to-verify" reinforcement learning tasks (1800 + environments, 85,000 + complex instructions), which greatly improves the generalization...
今天，我们同时发布两个正式版模型：DeepSeek-V3.2和DeepSeek-V3.2-Speciale。DeepSeek-V3.2是我们推出的首个将思考融入工具使用的模型，并且同时支持思考模式与非思考模式的工具调用。我们提出了一种大规模Agent训练数据合成方法，构造了大量“难解答，易验证”的强化学习任务（1800+环境，85,000+复杂指令），大幅提高了模型的泛化能力。（DeepSeek）
DeepSeek has launched a new mathematical reasoning model, DeepSeekMath-V2, using a self-validating training framework. The model is built on DeepSeek-V3.2-Exp-Base, automatically reviews the generated mathematical proofs through an LLM validator, and continuously optimizes performance using difficult samples. (Securities Times)
DeepSeek推出新型数学推理模型DeepSeekMath-V2，采用可自我验证的训练框架。该模型基于DeepSeek-V3.2-Exp-Base构建，通过LLM验证器自动审查生成的数学证明，并利用高难度样本持续优化性能。（证券时报）
