3 ms·

They do have AI on their roadmap, though: https://lean-fro.org/about/roadmap-y2/ https://lean-fro.org/about/roadmap-y2/

• bobxmax 2y ago
  Seems more like applying LEAN to AI development, no?
  • ofrzeta 2y ago
    Partially, I guess, but also: "We will seek to provide tooling, data, and other support that enables AI organizations and researchers to advance Lean’s contribution at the intersection of AI, math, and science."