The geometric Langlands conjecture poses deep questions for mathematicians, and a 1000-page proof published this year has left them both celebrating and puzzled