Lean 4 software scaling laws

(gwern.net)

2 points | by yuppiemephisto 12 hours ago ago