🚨 突发消息: 菲尔兹奖得主特里·陶谈数学的未来 (3/3): “我确信这就是数学的未来,因此我开始就此进行采访。 这是一种不同的证明写作风格,在某种程度上更容易阅读——对人类来说更难检查,但你可以更清楚地看到证明的输入和输出,而传统的写作往往会掩盖这些。 我认为数学家的定义将会扩大。” 与Math, Inc.的@jessemhan和@jdlichtman的完整对话即将发布。