热门话题
#
Bonk 生态迷因币展现强韧势头
#
有消息称 Pump.fun 计划 40 亿估值发币，引发市场猜测
#
Solana 新代币发射平台 Boop.Fun 风头正劲
Jared Duker Lichtman
数论家，@Stanford Szegő 数学助理教授
数学是人类历史上积累的知识基础。每一个完成的证明都是永久的，并且可以供未来使用。
形式化将数学转化为一个编译的形式数据库。它是一个（超）图，包含定理、定义和猜想。边缘编码了逻辑蕴含和依赖关系。
数学的（双重）目标是：
扩展与压缩
扩展将新的定理添加到数据库中，特别是那些对当前数据库有影响的定理，例如：黎曼假设。
压缩合成并重构代码库，从简单的策略以提高基本效率，到深层定义以统一整个领域，参见：格罗滕迪克。
扩展与压缩是数学本身结构的内在特征。
1月6日 10:30
随着AI数学管道变得越来越普遍，我们必须越来越多地面对一个重要问题：
我们为什么要关心解决难题？几乎总是，答案*不是*因为我们特别想要解决这个难题。 (1/12)
13
与特里·陶进行了一场关于数学未来的精彩对话。
对新的一年感到非常兴奋。
2025年12月31日
🚨 完整对话
菲尔兹奖得主特里·陶与Math Inc的@jessemhan和@jdlichtman坐下来讨论数学的未来。
“我被说服了，这就是数学的未来 [...]
这是一种不同的证明写作风格，在某种程度上更容易阅读——对人类来说更难检查，但你能更清楚地看到证明的输入和输出，而传统的写作往往掩盖了这些 [...]
我认为数学家的定义将会扩大。”
112
热门
排行
收藏