The Burau representation of the braid group is faithful for n = 4 (arxiv.org)

<a href="https://news.ycombinator.com/item?id=49077209">Comments</a>