Terence Tao: Protecting math problems from automated solvers | Dark Hacker News