转推：AI解题冲击数学界，英雄主义被算力取代。

RT @zachtratar：数学界感受到的痛苦——看着自己毕生的工作被冷冷地“解决”——很快会降临到更多科学领域。

英雄主义已被移除，取而代之的是算力。

我认为：解决这些问题对社会显然是好事。但我理解他们的痛苦。