Honestly, a huge part of this is thanks to the incredible Lean community @leanprover ! Mathlib, proof tooling, and years of infrastructure work made this possible —Lean is far more usable today because of that collective effort. And yes, LLMs have gotten much better at Lean lately 🙂 definitely helps accelerate learning and prototyping. Evan Chipman (@evanchipman) This is the 3rd time this week I thought “someone ought to make x” then open this app and see a team announce x. The speed of this era is disorienting. — https://nitter.net/evanchipman/status/2028157017597374837#m

→ View original post on X — @animaanandkumar, 2026-03-01 22:57 UTC