Option 2. Formulas can take input values from an aggregate view.
Just terminology, but I wouldn't call aggregate views "cached", exactly. That suggests that they are pulled in (and may fall out) as needed. I'd say they are "persisted" or "materialized", i.e. saved to disk.