The Burau representation of the braid group is faithful for n = 4 July 27, 2026 · Hacker News Read full story at source