イーサリアムの共同創設者ビタリック・ブテリンは、確認時間を約13秒に短縮し、ユーザー体験を向上させることを目的とした高速確認ルール（FCR）を提案しました。FCRは検証者の証明を通じて早期の確認信号を提供し、ハードフォークを必要としません。集中化や誠実性に関する懸念はありますが、それでもネットワークの効率性を向上させる重要な措置と見なされており、Lean Ethereumのロードマップの一部です。

Mistral AI は、Lean 4 の形式的検証専用に設計されたオープンソースのコードエージェント「Leanstral」をリリースしました。自動的に検証可能なコードと証明を生成でき、稀疎な MoE アーキテクチャを採用しており、他のトップレベルモデルよりも優れた性能を示します。無料でダウンロードでき、API 呼び出しも可能です。