Port3 Network主打Web3社交数据层，聚合链上与链下数据。资料显示，PORT3历史最高价为0.33美元，当前流通量约6.93亿枚，最大供应量为10亿枚。

Cartesi定位为面向去中心化网络的可扩展Linux基础设施。最新资料显示，CTSI流通量约9.24亿枚，最大供应量10亿枚，较历史高点1.75美元回撤98.28%。

美团LongCat团队开源LongCat-Flash-Prover，这是一款面向Lean4形式化定理证明的5600亿参数MoE模型，在MiniF2F-Test上以72步推理取得97.1%通过率，刷新开源模型表现。

美团LongCat团队开源LongCat-Flash-Prover，这是一款面向Lean4定理证明的5600亿参数MoE模型，在MiniF2F-Test上以72步推理实现97.1%通过率，并在多项基准中刷新开源模型表现。

4月加密预售市场持续活跃，六个项目横跨DeFi借贷、AI公链、跨链流动性与抗量子安全等赛道。其中Mutuum Finance融资已超2100万美元，BlockchainFX接近封顶。

Vercel CEO确认公司遭高度复杂黑客组织入侵，攻击或借助AI加速推进。事件源于第三方AI工具被攻破，部分客户凭证暴露，也让大量依赖Vercel托管前端的加密项目面临更高安全压力。

区块链基础设施提供商Uniblock宣布完成520万美元新一轮融资，由SBI领投，累计融资达750万美元。公司正通过单一API连接超300条区块链，服务3000个项目与4000名开发者。

CertiK推出面向Web3开发流程的AI Auditor，在35个真实案例测试中取得88.6%完全匹配率，并通过多扫描器与多阶段验证机制降低误报，强调以AI辅助人工审计。