The path to gender equality is paved with both progress and persistent challenges.
In computational complexity, we are not just dealing with the limits of what we can compute, but also with the limits of what we can prove.