- Separate NP from Logarithmic space. I gave four approaches in a pre-blog 2001 survey on diagonalization (Section 3) though none have panned out. Should be much easier than separating P from NP.
Section 3 in the linked survey claims that there are no meaningful oracle collapse results:
While the P != NP question remains quite formidable, the L != NP question seems much more tractable. We have no reason to think this question is difficult. The lack of good relativization models for space means we have no meaningful oracle model where L and NP collapse. Also since L is a uniform class, the Razborov-Rudich [RR97] limitations do not apply.
A question about known relativization barriers to L != NP on this site got an answer pointing out that the PSPACE-complete problem TQBF can be used as oracle to get such a collapse. An objection about whether this was a meaningful oracle model seems to be answered too.
But even if I would understand why "we have no meaningful oracle model where L and NP collapse" should be considered to be a correct statement, I would still have my doubts whether proving L != NP is any more feasible than proving P != NP. If proving L != NP should really be easier than proving P != NP, then proving ALogTime != PH should definitively be within reach. (The survey article hints at the possibility to separate $\Sigma_2^p$ from $L$.) I guess ALogTime != PH is still open, and I would like to know whether there are good reasons to expect that it will be hard to prove.