五度妙笔
企业透视镜
API商城
数据库菲尔兹奖得主Michael Freedman：数学的本质，是数据压缩
单击上方“图灵人工智能”，选择“星标”公众号
您想知道的人工智能干货，第一时间送达
近期，AI推理能力的边界再次被刷新，OpenAI的下一代模型Astra一口气攻克了10项长期悬而未决的数学难题，涉及高维几何、群论、编码理论等多个方向。
Astra引人注目的成果包括：首次证明了“非sofic群”的存在性、推翻了自1982年以来的“Connes刚性猜想”，并在“高维球体堆积”问题上取得首次突破，该问题已困扰数学界40余年。
而它的“前辈”在更早之前就终结了一个困扰数学界近80年的难题——匈牙利数学家保罗·埃尔德什1946年提出的“平面单位距离猜想”。
AI用代数数论的工具，推翻了这一猜想。它构造出一个无限的点集示例，其单位距离点对数量实现了多项式级别的优化，证明了埃尔德什认为的“最佳排列”并非最优。
当AI开始证明这些人类顶尖头脑几十年解不开的数学题时，我们该如何迈向未来的数学之路？
菲尔兹奖得主迈克尔·弗里德曼（Michael Freedman）给出了超越一般认知的答案。在论文《压缩即一切》中，他围绕“压缩”这一核心概念，探讨数学发展的本质，以及未来数学家如何与AI共同驶向未知。
迈克尔·弗里德曼，美国数学家，因攻克四维庞加莱猜想荣获菲尔兹奖。之后，他走出纯数学领域，创立了微软 Station Q 实验室，开创了拓扑量子计算这一全新领域。
NO.1
数学的核心是数据压缩
NO.2
AI的推理优势，只在形式数学
要理解AI为什么能证明数学定理，首先需要厘清一个根本区别：形式数学与人类数学。
形式数学是指将数学完全转化为无意义的符号串和机械的推理规则。像Lean、Coq等证明助手中的数学库，就是形式数学的典型载体，每个定义、每条定理都必须展开到底层概念，结果就是极其冗长。
NO.3
未来的数学，AI推理与人类直觉缺一不可
NO.4
结语：创新始于对已有压缩的突破
文章精选：
1.图灵奖得主姚期智最新演讲： AI有边界，恰恰是好事
