【“压缩”将是未来科学界一个长期的热门话题】

三千年前，人类发明了第一个伟大的“压缩”：位值记数法。

用“一”在特定位置代表“十”，换个位置代表“百”——这样一组对数增长的“宏”，让人能在线性时间内，写下指数级增长的整数。这不仅是算术的便利，更贯穿了整个数学的肌理。

菲尔兹奖得主弗里德曼回忆，他读研第一堂课，教授写下：“设Ω为向量丛截线芽的层。”仅十个字，却压缩了十余层抽象概念。数学家之所以能轻松思考微分方程，并非问题简单，而是他们将数十层基础信息，压缩进了几个术语。

如今，他用lean数据库验证了神秘力量：结果令人震撼。最长的那个展开语句，长度达到了10^104，远远超过一个“古戈尔”（10^100）。而它的原始表述，只有600个“词”。

这，就是压缩的力量。

#菲尔兹奖##AIforscience##AI##SAIR##人工智能 ##AGI # http://t.cn/AXIav6jE