Terence Tao: Evidence for mathematical conjectures short of proof | Hacker News Reader