当数学从“证明稀缺”走向“证明过剩”，经济学还有研究价值吗？