Math proof draws new boundaries around black hole formation | Hacker News Reader