2002年，在国际数学家大会上，36岁的弗拉基米尔·沃沃斯基（Vladimir Voevodsky）站在领奖台上，接过了数学界的最高荣誉——菲尔兹奖。他的获奖理由是“对代数几何的贡献，特别是对 motives 理论和米尔诺猜想的证明”。但很少有人知道，这位改变代数几何格局的数学家，最初学的是化学；更鲜为人知的是，他后来的工作还为数学证明的自动化和基础理论的革新埋下了种子。

沃沃斯基1966年出生于莫斯科的一个科学家庭：父亲是物理学家，母亲是化学家。或许是家庭氛围的熏陶，他从小对自然科学充满好奇，但最初选择的是化学专业。在莫斯科大学化学系就读时，他却被抽象数学的魅力吸引——尤其是代数和拓扑学中那些关于结构与变形的问题。他不顾家人的担忧，毅然转去数学系，从此踏上了数学探索之路。

打开网易新闻 查看精彩图片

转专业后，沃沃斯基的天赋很快显现。他在莫斯科国立大学获得硕士学位后，前往美国哈佛大学深造，师从著名代数几何学家迈克尔·阿廷。1992年，他以一篇关于代数簇上同调的论文获得博士学位，随后加入普林斯顿高等研究院，成为那里最年轻的终身教授之一。

他的第一个里程碑式贡献是motives理论。代数几何研究的是多项式方程解构成的几何对象（比如椭圆曲线、曲面），而这些对象的“不变量”（如 cohomology，上同调）是理解它们性质的关键。但不同的不变量来自不同的理论框架，像拼图碎片散落在各处，难以统一。沃沃斯基提出的 motives 理论，就是要把这些碎片拼成一幅完整的图景：他定义了一种叫做“motive”的抽象结构，作为所有不变量的“通用载体”。打个比方，每个代数簇都有一个对应的 motive，就像每个物体都有一个“本质指纹”，而各种不变量不过是这个指纹的不同投影。这个理论不仅统一了代数几何的诸多分支，还为解决长期悬而未决的问题提供了工具——比如他在1996年证明了米尔诺猜想，这个猜想连接了二次型理论和代数K理论，是当时代数几何领域的重大突破。

如果说 motives 理论是沃沃斯基在代数几何领域的巅峰，那么同伦类型论（HoTT）则是他对数学基础的革命性贡献。2000年后，沃沃斯基开始反思数学的基础——传统的集合论虽然支撑了现代数学，但在处理复杂证明时显得笨拙，尤其是在与计算机结合时。他发现，类型论（一种用于计算机证明的逻辑系统）和同伦论（拓扑学中研究连续变形的分支）可以奇妙地结合：在 HoTT 中，每个“类型”对应一个拓扑空间；两个元素“相等”的证明对应空间中连接这两点的路径；不同的证明对应不同的路径（甚至路径的路径）。更关键的是单值化公理：如果两个类型是等价的（比如自然数和正整数可以一一对应），那么它们在 HoTT 中可以被视为“相等”。这个公理打破了集合论中“相等”的严格定义，让数学证明更灵活，也更容易被计算机处理。

HoTT 的出现，为数学证明的自动化打开了大门。比如，数学家可以用 HoTT 指导计算机辅助证明工具（如 Lean、Coq）来验证复杂定理——甚至有人尝试用它形式化证明费马大定理。沃沃斯基领导的“单值基础”项目，更是试图用 HoTT 重新构建整个数学基础，这可能是自集合论诞生以来最具颠覆性的尝试。

遗憾的是，沃沃斯基于2017年因动脉瘤突然去世，年仅51岁。但他留下的遗产却在持续发酵：motives 理论仍是代数几何的核心工具，HoTT 则成为连接数学与计算机科学的桥梁，影响着人工智能、形式化验证等领域。他的故事也告诉我们：数学的进步往往来自跨领域的碰撞——从化学到数学，从代数几何到逻辑与计算机科学，沃沃斯基始终敢于跳出舒适区，用创新的视角重新定义问题。

沃沃斯基曾说：“数学不是一堆定理，而是一种思考方式。”他用自己的一生证明了这句话——用好奇心驱动探索，用跨学科思维打破边界，最终为数学的未来开辟了新的方向。他的工作不仅改变了我们理解数学的方式，更让我们看到：数学的魅力，在于永无止境的创新与突破。