🚨 完整對話 菲爾茲獎得主泰瑞·陶與 Math Inc 的 @jessemhan 和 @jdlichtman 坐下來討論數學的未來。 「我開始相信這是數學的未來 [...] 這是一種不同的證明寫作風格，在某些方面其實更容易閱讀——對人類來說更難檢查，但你能更清楚地看到證明的輸入和輸出，而傳統的寫作往往隱藏了這些 [...] 我認為數學家的定義將會擴大。」

即將推出

在極限情況下，形式驗證將便宜到無法計量。