What are some of the current "relatively" low ambitious frontiers for MA/PhD thesis in complexity theory class separations/containment or quantum computing?
For example: In the draft version of Arora & Barak's book, it is mentioned that: Frontier 2.1: Exhibit a language in NEXP that is not in ACC0 (6) This was solved by Williams soon after that.