用途：将密集的理论论文压缩为可复用的数学核心，适合理论机器学习或数学论文阅读、研讨等场景。
主要能力与工作流程：识别中心问题与主定理；列出关键定义与记号；用平实而精确的语言概括每条主要主张；概述证明策略，但不假装已完成完整验证；指出现有方法与标准工具之间的差异；提取定义、引理与主定理之间的依赖关系；最后总结哪些内容可复用于自己的研究。
用法约定：把论文主张与已验证的细节分开；如果未检查证明，应明确说明；不要压缩掉假设，因为假设往往正是要点；把可复用技术与论文特定设定区分开。
输出内容：问题与设定；记号与定义；主定理与主张；证明依赖图；证明策略；假设与限制；可复用技术；未检查的细节。
限制：资料未提供安装命令、运行环境、平台支持、收费与价格信息；也没有说明是否支持自动拉取论文或自动验证证明。