Lean 소프트웨어 스케일링 법칙

AI 모델이 코드베이스를 이해하고, 수정하며, 작성하는 능력은 점차 향상될 것입니다. 현재 Lean 프로그래밍 언어는 기존 코드베이스에 대해 다른 언어보다 낮은 베이스라인 상수와 총 손실(total loss)을 보이고 있습니다.

하지만 Lean은 더 나은 **스케일링 구성 요소(scaling components)**를 보유하고 있습니다. 이는 규모가 커질수록 Lean을 활용한 구현이 프로그램의 정확성을 글로벌 규모에서 확보하는 데 더 큰 이점을 제공할 수 있음을 시사합니다.

따라서 기존 코드베이스를 Lean으로 재작성하거나, 새로운 Lean 코드를 작성하는 데 대규모 투자를 하는 것이 정당화될 수 있습니다.