MathOverflow will be down for maintenance for approximately 3 hours, starting Monday evening (06/24/2013) at approximately 9:00 PM Eastern time (UTC-4).
show/hide this revision's text 2 added 35 characters in body

Yes, Eschenburg constructed an infinite family of simply connected 7-dimensional examples and proved that many of them are not homotopy equivalent to homogeneous spaces. His examples are biquotients however. In fact the only known examples of closed positively curved manifolds are biquotients or spaces of cohomogeneity one and above dimension 13 only homogeneous examples (and space forms) are known.

show/hide this revision's text 1

Yes, Eschenburg constructed an infinite family of 7-dimensional examples and proved that many of them are not homotopy equivalent to homogeneous spaces. His examples are biquotients however. In fact the only known examples of closed positively curved manifolds are biquotients or spaces of cohomogeneity one and above dimension 13 only homogeneous examples are known.