Terence Tao：数学已从证明稀缺进入证明过剩时代

Terence Tao 判断，数学已从证明稀缺进入证明过剩时代，机器可大规模破解旧日标志性难题。随着“解决问题”的价值发生恶性通胀，人类工作的意义正转向提出好问题并判断哪些结果重要。