Talagrand's Convexity Conjecture proof proposal · HackerLangs