数学证明到底是什么？专栏作家雅各布·阿龙分析了数学家如何绘制路线来回答未解问题，以及找到多个相同问题的解决方案是数学整体努力的重要组成部分。