这位研究者分享了能帮你读懂AI证明的prompt

AI现在可以生成证明，产出“论文”也变得很容易了。真正的瓶颈变成了理解它们：我们要如何快速消化一份证明，识别它的核心思路，建立对论证的直观认知？

逐行阅读逐行检查的传统方法已经不够用了。我想到了一个很有用的提示词，想分享出来。我在几个反例构造和我自己一篇技术复杂度很高的论文上测试了它，效果不错。

下面是一个在Grok聊天里使用的示例：这个提示词当然还可以改进和调整，比如你可以根据自己的知识背景修改末尾要求的幻灯片数量。所以欢迎大家自由试验。

我也非常有兴趣听听其他人是怎么应对这个挑战的。

-----

提示词：我的目标是理解这份附件里的证明，或者说，学会它。为了达成这个目标，我需要你做以下这些事。

把所有内容整理成Beamer幻灯片。首先，明确问题，解释问题里出现的所有术语，让研一学生也能看懂问题的表述。把它当成一个独立问题来写，要写下所有必要假设，不要跳过任何假设。尽量不要引入太多新符号或新记号，完全没必要这么做。

简要说明这个问题的来源，非常简短地讲一下它为什么会被提出，以及人们为什么相信它是对的。把最重要的原因放在幻灯片上高亮标出（可以把这些原因放进方框里）。

为了帮读者建立认知，确信这个命题确实应该成立，给出一个重要但简单的例子（或多个这类例子），如果可能的话包含所有详细计算，以此证明这个命题确实看起来是成立的。如果放不下所有计算，那至少给出最重要的那些计算。如果还需要补充其他例子——比如用来突出问题其他端点行为的例子，也请一并给出。如果有机会和其他已有知识做类比，请简单做一下类比。

接下来，我需要你点明瓶颈：最直接的思路哪里行不通，以及为什么行不通，比如写成“如果我们这么试，就会在这里卡住”这种形式。说明如果从这个起点出发，这件事哪里难，或者接下来要怎么走不清晰。

给真实正确的解法写一个高层次概述：我们打算怎么入手解决这个问题，第一步要做什么，主要步骤有哪些，哪一步是之前没有出现过的新补充——也就是哪一步是真正让这个问题得解的全新贡献。

把解决问题引入的核心思路用方框标出高亮。核心目标是讲清楚我们要怎么突破瓶颈。一开始可以跳过技术计算，除非某些恒等式在证明里起到关键作用。如果一个计算是