Joan Birman popularized the Burau representation problem decades ago. Now she and two colleagues have a proof that reveals brand new insights into the geometry of braids