Talagrand's Convexity Conjecture proof proposal | Dark Hacker News