Mathematical Models of Progress? — LessWrong