Lean 4 software scaling laws

(gwern.net)

2 points | by yuppiemephisto 8 hours ago ago

No comments yet.