🚨 完整对话 菲尔兹奖得主特里·陶与Math Inc的@jessemhan和@jdlichtman坐下来讨论数学的未来。 “我被说服了，这就是数学的未来 [...] 这是一种不同的证明写作风格，在某种程度上更容易阅读——对人类来说更难检查，但你能更清楚地看到证明的输入和输出，而传统的写作往往掩盖了这些 [...] 我认为数学家的定义将会扩大。”

即将推出

在极限情况下，形式验证将便宜到无法计量。