#Lean

Coverage under “Lean” focuses on startup and venture capital approaches that emphasize efficiency, disciplined execution, and making progress with limited resources. It also includes AI stories where teams use lean methods to build, test, and iterate quickly while staying focused on product-market fit and sustainable growth.

OpenAI posts 700-plus math manuscripts on GitHub

OpenAI released 700-plus AI-generated math manuscripts with proof artifacts and Lean formalizations on GitHub.

Oct 15, 2026 · 4 min