在新一期的On the SAIR对话中，我们迎来了迈克尔·弗里德曼（Michael Freedman），菲尔兹奖得主、拓扑量子计算奠基人、微软研究院Station Q创始人，为我们揭示了数学与人工智能之间最深刻的联系。
弗里德曼因破解四维庞加莱猜想而荣获菲尔兹奖。这项被誉为拓扑学中最棘手难题之一的突破，并未让他止步。此后，他开辟了拓扑量子计算这一全新领域，如今又将那非凡的直觉带入人工智能世界。
在最新论文《压缩即一切》（Compression Is All You Need）中，他与合作者通过代数模型，回答了数学认知中一系列根本性问题：人类究竟是如何构建数学知识的？人类数学与形式数学的本质区别何在？数学家又该如何与AI协作？
论文的核心发现令人震撼：人类数学之所以能在形式系统中高效运转，本质上依赖于层层嵌套的“压缩”。
这是一场关于数学本质、智能边界，以及人机协作新范式的深度对话。
