The Burau representation of the braid group is faithful for n = 4

· Hacker News