This is the problem Yu Deng got this year's Fields Medal for I think?