以太坊联合创始人Vitalik Buterin提出快速确认规则（FCR），旨在将存款确认时间缩短至约13秒，优化用户体验。FCR通过验证者证明提供早期确认信号，不需硬分叉。尽管存在集中化和诚实度的担忧，但仍被视为提升网络效率的重要措施，属于Lean Ethereum路线图的一部分。

Mistral AI 发布开源代码代理 Leanstral，专为 Lean 4 形式化验证设计，能生成可自动校验的代码和证明。该模型采用稀疏 MoE 架构，表现优于其他顶级模型，并提供免费下载和 API 调用。