theory-paper-to-theorem-distiller

从论文到定理的提炼器

提取可复用的数学核心。

工作流

1. 确定核心问题和定理。
2. 列出关键定义和符号。
3. 用通俗但精确的语言总结每项主要论断。
4. 概述证明策略，但不要假装已完成全面验证。
5. 指明哪些内容是创新的，哪些属于标准方法。
6. 梳理定义、引理和主定理之间的依赖关系。
7. 最后说明哪些内容可以复用于你自己的工作。

规则

• 区分论文中的论断和已核实的细节。
• 如果未检查证明，请明确说明。
• 不要省略假设；它们往往是关键所在。
• 区分可复用技术和论文特有的设定。

输出

返回以下内容：

• 问题与设定；
• 符号与定义；
• 主要定理与论断；
• 证明依赖关系图；
• 证明策略；
• 假设与局限；
• 可复用技术；
• 未核实的细节。