两千美元与七十二小时

凌晨两点十七分，沈砚的银行卡余额是二千零八美元三十一美分。 屏幕右侧，退学手续的截止倒计时还剩六天。屏幕左侧，一封来自贺崇山教授的邮件只有两行： “你的谱隙猜想缺乏研究价值。实验室经费即日起终止。” 附件却是下周国际数学联合研讨会的摘要。作者栏第一位写着贺崇山，标题正是《稀疏随机图上的统一谱隙下界》。那是沈砚熬了十一个月、被批了十七次“方向错误”的东西。 他盯着作者栏看了很久，没有愤怒。愤怒需要相信规则还管用。 邮箱最下方躺着一封广告，主题是：“MU-0 最终研究租赁——关停前七十二小时。” 缪零是寰宇智算三年前训练的推理模型。发布时号称能做原创数学，半年后因成本过高、输出不可控被雪藏。论坛传言，它给出的答案不是错误，而是无法审查；也有人说它会把证明写成只有机器才能理解的压缩符号。如今寰宇智算清算旧服务器，把最后七十二小时算力拆成私人租约。 价格：两千美元，不退款。 沈砚点开付款页。页面弹出红字：“该模型可能产生虚假、危险或不可解释的输出。租赁结束后，实例及全部缓存永久销毁。” 他把鼠标移到关闭按钮，又移回来。 六天后退学和六分钟后破产，本质上都是归零。区别只是后者还有七十二小时的幻觉。 支付成功。 余额：八美元三十一美分。 黑色对话框在十秒后亮起。 【实例 MU-0 已启动。剩余时间：71:59:59。】 【请陈述任务。】 沈砚没有寒暄，把自己那份四十七页手稿拖进去：“验证定理三。如果错，给反例；如果对，补全引理七。” 进度光标停了七秒。 【定理三为真。引理七在你当前公理框架内不可证。】 沈砚的指尖冷下来。贺崇山就是用“引理七存在循环论证”否掉整篇论文的。 “所以还是错？”