刷盘子的博士，改写了 160 年数学难题