Lean teaches Claude efficient reasoning paths, reducing median token use by 8×

Summary

Lean is a technique that teaches Claude to find efficient reasoning paths before obvious ones, achieving 8× fewer tokens on the median real-world task across 17 benchmarks.