Sublime

Woohoo!! The "Medium" strength Prime Number Theorem was just proved in @leanprover Lean: (the bottom node in the picture is Green) The main `MediumPNT` file is about 8000 lines of code, which uses a big `ZetaBounds` file with around 4000 lines of code, and another ~1000 lines for residue calculus on... See more

Princeton's "Probability in High Dimension" PDF: https://t.co/l9EdLWpo02 https://t.co/vrgCh9bbg6

卡内基梅隆大学这本 628 页的 《无限深入纯数学》的教科书页太好了，关键可以免费下载阅读⚡️ 作者的目标是帮助读者从数学「消费者」变为数学《生产者》，从学习计算导数转为从导数定义推导链式法则，特别适合像 OpenAI O1 这类应用数学原理进行推理的模型理解🔥 阅读地址👉 https://t.co/Xbxje4q1pW https://t.co/0D8x9u921Q