"SEED"的搜索结果
2026-04-24
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 中完成严格证明。前沿结果采用了大规模计算扩展,而实际模式分数更能反映标准部署能力。
展开
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 结构,并配有一对一的代币认股权证
展开
RUNE0.02%
SKY0.11%
CFG-12.4%
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),并配套一对一股权对代币转换的认股权证。
展开
RUNE0.02%
SKY0.11%
15:42

Enhanced Labs 完成 100 万美元 Pre-Seed 轮融资

Gate News 消息,4 月 9 日,DeFi 解决方案提供商 Enhanced Labs 宣布完成 100 万美元 Pre-Seed 轮融资,Maximum Frequency Ventures 领投,GSR、Selini、Flowdesk 以及一批天使投资人参投。新资金将用于支持产品开发和运营,同时推动将基于期权的收益策略扩展到更广泛的链上资产,包括代币化的现实世界资产。