讽刺小说描绘AI主导下数学界的反乌托邦未来

AI使用说明：本文最初由一位西班牙语人士撰写，后来由DeepSeek做了若干编辑。全文由ChatGPT翻译成英文。它还建议了“种姓制度”的命名（PH、TL等）。我不得不遗憾地承认，这个英文译本读起来比西班牙语原文还要通顺。

活动的开场演讲本应由Magnus von Prompter教授主讲。他是一位杰出的PH（Prompt Hog），在2040年10月6日那天，他打算宣布自己本周的第三项重大猜想获得解决。演讲推迟了几分钟：尽管证明已经在Lean中完成验证，但ClopenAI尚未给它分配CLOPEN注册编号。这是该公司一年一度的数学大会，世界各地的学者都会参加。会上宣布奖项、展示最新进展，并决定来年的研究方向。大会还会颁发提示效率奖，并公布那些已经不再相关的问题。

今年，人们对MATH（数学归因理论）的新资助充满期待。这门学科致力于判定：一个由机器证明的定理，应该归功于谁。近年来，署名权纠纷成倍增加，有些纠纷的解决耗时甚至超过了猜想本身。

9点25分，主持人宣布证书已经送达，演讲可以开始。首先由GranMaistro讲几句话，他是ClopenAI的所有者。GranMaistro从不亲自露面，来的只有他的影子。在他的影子进入之前，与会者都戴上了口罩。众所周知，他的影子散发着腐臭。它走到哪里，哪里就留下难闻的气味。幸运的是，他的发言很简短。这一次，他走进来，说了一句：“我们必须拥有更多。”然后就离开了。

von Prompter教授当时已经大约66岁，他带着一贯的严肃神情走进了巨大的礼堂。他的第一张幻灯片上出现了以下陈述，字体小得连前排的人都看不清：

定理（ClopenAI–von Prompter，2040）。存在一个正整数nn，使得对于每个Noetherian概型XX、每个nn次态射X→XX\to X，以及相关的非线性微分方程的每个随机解，以下结论成立：

因此，无限制的7893维Vladimir猜想是假的。

观众中传来一阵低语。教授笑了笑，展示了第二张幻灯片：

很快，所有与会者都把手机对准了二维码。屏幕一变绿——这表示定理有效，并已登记在ClopenAI和von Prompter名下——掌声便震耳欲聋。教授感动地表示感谢。

他的最后一张幻灯片写着：谢谢！下面还有一行几乎看不清的信息：

美元价值：300万美元。 耗水量：相当于87个奥运会游泳池。

观众中有人提问：

——纯粹出于好奇，你用了多少次提示？

观众再次鼓掌。仅仅用了17次提示、消耗这么少的水，就找到了7893维无限制Vladimir猜想的反例，这简直不可思议。而且，这还刷新了该类猜想的一项效率纪录。演讲在9点35分结束。杰出教授们有7分钟的报告时间，是其他演讲者的五倍。

提问的人是Token Credit，一位声名显赫且事业有成的学者。年仅40岁，他就已经担任Prestigeton大学高级提示研究所（IAP）影响力与Slop数学解释系的系主任，而von Prompter也是该校教授。Credit属于一个被称为TL（Theorem Leeches，定理水蛭）的特权圈子。TL们可以在最重要的数学发现公开之前就获得访问权。作为系主任，他的主要任务是让随ClopenAI机构证书一同到来的slop数学显得有意义，并对学界具有重大价值。

2026年之前，Token Credit“用老办法”证明定理，并以结果的深度（例如Rose定理！他因此获奖）以及他的数学普及博客而闻名——他在博客中让自己的部分成果更易于理解。然而，Credit已经很久没有证明出自己的成果了，因为到了某个阶段，每当他尝试时，各家公司就会对他进行buckmastering1。但他真心相信自己是数学变革的一部分，相信自己的工作对这门学科的进步至关重要。毕竟，如果没有人负责解释成千上万个定理为什么重要，那么证明它们也没多大用处。

演讲结束后，Token前往为TL预留的休息室。PH们在上层有自己的休息室，只有持特别通行证才能进入。TL们可以享用咖啡、上好的三明治，并能提前看到第二天将要宣布的定理。其他与会者只能在一楼买咖啡。

在休息室里，Token遇到了他的朋友Miles Citation。Citation是Prestigeton大学教授，也是世界上被引用最多的TL之一。他因发表了六百多篇关于尚未发表定理之推论的文章而闻名。他最著名的作品是一篇综述，讨论某个猜想可能有哪些应用——该猜想的解决方案已经宣布，但证书却放错了地方。这篇文章因其影响力而获奖。

——你听说Alma Pura的事了吗？——Miles问。

——就是那个人。他们给了她Prestigeton的 fellowship。

——据说她解决了von Prompter纲领中的一个问题。他们在那上面已经研究了好几个月。

——那她是怎么获得模型访问权限的？

——她没有访问权限。是她自己做的。

（原文较长，此处译出前 6000 字，完整内容请点「打开原文」。）