Comment by ofrzeta 1 year ago They do have AI on their roadmap, though: https://lean-fro.org/about/roadmap-y2/ 2 comments ofrzeta Reply bobxmax 1 year ago Seems more like applying LEAN to AI development, no? ofrzeta 1 year 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."
bobxmax 1 year ago Seems more like applying LEAN to AI development, no? ofrzeta 1 year 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."
ofrzeta 1 year 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."
Seems more like applying LEAN to AI development, no?
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."