文章从1829年雅可比致勒让德的信谈起：科学唯一的目的是人类精神的荣誉。作者梳理了数学史上'为了用'与'为了它自己'两种目的观近两百年的交锋，从巴比伦记账泥板、傅里叶的热传导，到哈代的《辩白》、布尔巴基与四色定理。文章指出无论哪种立场，具体的人都常被排除在目的之外——诺特被制度挡在门外，密码学家隐姓埋名，孩子们默默核对证明。布劳威尔、外尔、瑟斯顿等人则不断把'人'收回数学的中心。最后文章回应2025-2026年AI冲击数学界的现实：机器达到IMO金牌线、代理证明费马大定理、千禧年问题的争议，追问在机器时代谁来署名、谁负责，重申'人是目的，构是手段'的核心论断。
文章介绍了希尔伯特1900年提出的第六问题，即“物理学公理的数学处理”。文章详细梳理了该问题的历史背景，包括当时的物理学危机、原子论与唯能论的争论，以及希尔伯特试图从微观原子运动严格推导出宏观连续介质定律的数学野心。文章还关联了2026年菲尔兹奖得主邓煜对该问题相关领域的研究贡献。
本文回顾了1970年代之后现代数学的发展历程。随着物理学进展放缓，数学失去了最大的外部“客户”，导致代数几何、朗兰兹纲领等结构化数学分支陷入内循环和高塔化。与此同时，计算机科学与AI的崛起为数理逻辑和形式化证明带来了新的机遇。文章探讨了在基础物理停滞和计算机加速的背景下，纯数学界面临的“象牙塔”困境及AI是否会成为新的推动力。
本文回顾了二十世纪上半叶数学发展的核心脉络。不同于十九世纪的开荒式扩张，二十世纪数学转向对代数、几何、分析及基础的系统化与结构化。文章重点讲述了代数如何从解方程演变为研究结构，涵盖了诺特及其对对称性与守恒量联系的证明、抽象代数的建立、范德瓦尔登《代数学》的普及、布尔巴基学派的结构主义风格，以及范畴论对“结构之间的关系”的探索。文中强调了物理学和计算机作为两大外部力量对数学发展的深刻塑造。
本文回顾了十九世纪数学史的波澜壮阔。文章指出，十九世纪数学家们将数学从描述世界的工具转变为创造世界的工具，彻底改写了“数学是什么”。重点阐述了非欧几何的诞生（罗巴切夫斯基、鲍耶、黎曼）如何解放了几何学，使其不再局限于描述经验世界，而是研究空间结构与公理本身。这些变革为二十世纪的相对论、量子力学及计算机理论奠定了核心基础。
