Lean 4 software scaling laws

(gwern.net)

2 points | by yuppiemephisto 11 hours ago ago