x
Mathematical Models of Progress? — LessWrong