【Gemini 翻译】《数学家们，这里有一种思考你们存在主义危机的方式》作者 Kent Beck 网页链接

两年前，程序员们都在想：“我做的是写代码。我是个程序员。现在神灯精灵（AI）能写代码了。那我又是谁呢？”如今，数学家们也都在想：“我做的是证明定理。我是个定理证明者。现在神灯精灵能写代码/做证明了。那我又是谁呢？”这里有一个框架，曾对我自己回答这个问题很有帮助。

特性与期货（Features & Futures）

编程与数学这两个领域的结构有一个相似之处：都存在一个（相对）显见的部分——在编程中是“特性（features）”，在数学中是“证明（proofs）”——以及一个庞大的（相对）隐形的部分。隐形的部分是理解、教育、简化和使能抽象。

如果我们只在显见的部分下功夫，那么显见部分的进展最终会放缓至爬行般缓慢。但没有人会因为做隐形的工作而获得赞誉，所以我们依靠一种职业道德规范来确保隐形工作得以完成，从而让所有人能够继续在显见的事情上取得进展。

我把这个隐藏的维度称为“期货（futures）”，尽管“期权性（optionality）”可能是一个更准确的词（即便它不那么押头韵）。

在编程中，我们也把这个维度的反面称为由沃德·坎宁安（Ward Cunningham）创造的“[技术债务]”。有时你必须偿还你的债务，让“利息”支付降得足够低，以便能够重新在“本金”上取得进展。

精灵讨厌隐形之物

我在想，数学家们的焦虑是否源于以下几点：

1. 精灵极其擅长做显见的事情2. 没有隐形的工作，显见的进展最终都会放缓至爬行般缓慢，无论有没有精灵3. 没有人会因为隐形的工作而获得赞誉

把这些放在一起，你就会面对这样一个世界：数学家不再获得任何赞誉。显见的事情由机器来做更好；而隐形的事情，终究是隐形的。

那又怎样？

对于程序员的身份危机，一种积极的应对方式是说：嘿，我在这里是为了让精灵保持在正确的航线上。在精灵的帮助下，我能够比以往任何时候都学得更快。我仍然可以用我磨练出来的直觉快速止损无效的方向。我的能力边界被拓展了。是的，我的工作已经改变，但我的战略决策比以往任何时候都更有价值，因为做决策的频率变高了。

我把这想象成在显见的进展之间停下来去创造隐形的进展。我在想，这种思考处境的方式是否能帮助数学家们利用好当下强大的新工具，同时又不会失去自己作为数学家的存在意义。祝好运！