熱門話題
#
Bonk 生態迷因幣展現強韌勢頭
#
有消息稱 Pump.fun 計劃 40 億估值發幣，引發市場猜測
#
Solana 新代幣發射平臺 Boop.Fun 風頭正勁
Jared Duker Lichtman
數論家，@Stanford Szegő 數學助理教授
與 Terry Tao 進行了一場關於數學未來的精彩對話。
對新的一年感到非常興奮。
2025年12月31日
🚨 完整對話
菲爾茲獎得主泰瑞·陶與 Math Inc 的 @jessemhan 和 @jdlichtman 坐下來討論數學的未來。
「我開始相信這是數學的未來 [...]
這是一種不同的證明寫作風格，在某些方面其實更容易閱讀——對人類來說更難檢查，但你能更清楚地看到證明的輸入和輸出，而傳統的寫作往往隱藏了這些 [...]
我認為數學家的定義將會擴大。」
94
這只是即將到來的開始
2025年12月16日
🚀 Gauss just autoformalized the proof of the Kakeya conjecture for finite fields! 🧵 (1/5)
159
熱門
排行
收藏