Leancoin价格
LEAN该加密货币未在 Gate 上线进行交易和服务
Leancoin (LEAN) 价格实时图表
Leancoin (LEAN) 今日价格
Leancoin (LEAN) 今日价格是 ¥0.0003236 ，24h 交易额是 ¥2.91K ，Leancoin (LEAN) 的市值为 --，市场占有率为 0.000012%。Leancoin (LEAN) 价格在过去 24h 内变动为 +0.14%。
LEAN 价格数据
- 24h 交易额¥2.91K
- 历史最高价格¥0.003116
- 24h 最高价¥0.0003259
- 历史最低价格¥0.0003188
- 24h 最低价¥0.0003229
LEAN 市值信息
- 全流通市值¥2.35M
- 市场情绪中性
LEAN 发行量
- 总供应量7.26B LEAN
- 最大供应量∞
*数据仅供参考
关于Leancoin (LEAN)
合约地址
7297kx7se...9umwig4os
浏览器
solscan.io
官网
leancoin.io
社区
标签
- GateNewsGate 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 之前。...
- GateNews以太坊联合创始人Vitalik Buterin提出快速确认规则（FCR），旨在将存款确认时间缩短至约13秒，优化用户体验。FCR通过验证者证明提供早期确认信号，不需硬分叉。尽管存在集中化和诚实度的担忧，但仍被视为提升网络效率的重要措施，属于Lean Ethereum路线图的一部分。
- GateNewsMistral AI 发布开源代码代理 Leanstral，专为 Lean 4 形式化验证设计，能生成可自动校验的代码和证明。该模型采用稀疏 MoE 架构，表现优于其他顶级模型，并提供免费下载和 API 调用。
