“Closing the data gap, as we’ve seen from the impact women have in politics, in peace talks, in design and urban planning, is good for everyone. Even mathematicians.”