Comment by mFixman

I assumed all new breakthroughs in advanced complexity theory would be theoretical and non-constructive, as in "we prove that this algorithm must exist but we do not provide it".

I'm genuinely shook at today's results, specially at the fact that there _is_ a constructive algorithm.