用途:在撰写纯数学手稿时,帮助作者把核心结果从一段泛泛描述整理为精确、自足的主定理,并在引言中清楚说明其重要性与相对既有工作的推进。适用于主结果尚未以定理形式陈述、引言首屏看不出贡献、读者分不清主定理与推论、或尚未将结果定位到前沿的场合。
主要能力:要求主定理在首页或首页附近精确且自足地出现,所有假设显式、对象均有定义或引用,不用“在适当条件下”之类含糊表述;量化推进点,如去掉哪个假设、收紧哪个界、覆盖哪个情形、解决哪个猜想;把标题级结果与推论、特例分开陈述,避免列五个“主定理”导致贡献不清;要求陈述与证明完全匹配,避免过度或不足声明。定位时需点名最接近的既有结果及作者,精确说明其证明了什么以及本结果在何处更强,并诚实处理优先权,包括已知预印本的关系;核心比较不应依赖未发表或不可验证的结果。
框架形态:资料给出三类已验证的标杆形态——解决具名猜想、突破定量障碍、提出有延展性的新方法;不符者建议先回到 anmath-scope-fit 重新评估。
用法与要求:引言结构包含问题与历史、主定理精确陈述、与既有工作的差异、推论与影响、一段方法概述、全文组织结构。文末提供检查清单与反模式(如把主定理埋在第八页、只写“证明了强结果”、含糊定位、无视竞争性公告等),并规定输出格式:主定理精确陈述、新增之处、最接近的既有结果、推论与影响、优先权说明、MSC 分类、下一步 anmath-methods。限制:资料未提供该技能的具体安装方式、平台支持、收费或价格信息。