深奥的定理曾经稀缺且艰深,因而成为识别深刻思想的有力机制。人... 笔记

深奥的定理曾经稀缺且艰深,因而成为识别深刻思想的有力机制。人工智能已打破了这一体系。

[本文来自 Bryna Kra 的客座文章。该博客文章最初以不同的文件格式撰写,并使用 AI 进行了转换。— T.] 数学家们历来将定理的产出视为成功的明确指标。定理越强,证明越深,联系越出人意料,其价值就越大……