科研与论文

面向科学研究与论文写作的本机伴生：检索与消化文献、搭建 LaTeX 工作区、挂接可校验的参考文献，并在投稿前做引用审计。数学符号计算 / Lean 是可选能力，不是整条产品线的边界。

参考文献只应来自学术接口（arXiv、Crossref、OpenAlex、Semantic Scholar 等）。不要用百度、Bing、Google 等网页搜索结果当 BibTeX 来源。

正式论文正文用 LaTeX（main.tex + 分节 + refs.bib）。Markdown 只用于计划与笔记；Word/.docx 仅在你明确要求协作稿时使用，不是默认投稿格式。

安装

1. 设置 → 伴生服务 → 科研与论文 → 安装 / 配置
2. 启动服务（首次可能下载可选的数学计算依赖，需网络）

配置

需求	是否必装
文献检索、消化、起草与引用校验	否（走公开学术网络接口）
本机编译 PDF	可选 TeX 发行版（可配合应用内 LaTeX 预览）
符号 / 数值计算（mathjs）	可选（安装配置时尝试装入）
Lean 形式化片段	可选本机已安装的 Lean / elan

推荐流程

1. 检索：按主题搜索学术源，把候选放进文献队列
2. 消化：对要引用的论文做结构化笔记，并生成可写入 refs.bib 的条目
3. 工作区：用模板（article / amsart / ieeetran）初始化草稿，填写写作计划与 claim–evidence
4. 分节起草：只 \cite 已校验过的条目
5. 引用审计：检查正文 cite 与 refs.bib 是否一致
6. 自审：按审稿清单挑拒稿风险（先记录问题，再改稿）

数学论文可将工作区模板选为 amsart，需要计算或本机 Lean 时再使用对应指令。

使用示例

• 「检索 … 方向最近的相关论文，并整理候选列表」
• 「消化这篇 arXiv，生成 BibTeX 和要点摘要」
• 「用 article / IEEEtran / amsart 模板开一个论文工作区」
• 「写 Related Work，只引用已消化过的文献」
• 「核对引用是否齐全，缺的补上」
• 「按审稿视角挑一下这篇草稿的问题」
• 「算一下这个表达式」（可选数学能力）

能力

• 多源学术文献检索与 DOI / arXiv 解析
• 单篇论文消化（摘要笔记 + BibTeX + 引用图）
• 多模板 LaTeX 工作区、写作计划与 claim–evidence 映射
• 引用一致性审计（缺条目则应先补齐再写）
• 对抗式审稿清单（报告问题，不代替你改 claim）
• 可选：符号计算、amsthm 环境包装、本机 Lean 片段验证

问题及解决方案

现象	处理
检索失败	检查网络；稍后重试；确认未把网页搜索结果当参考文献
引用对不上	先跑引用审计；用学术源解析 DOI/arXiv 再写入 bib，不要手编假条目
找不到 Lean	未安装则不要使用 Lean 相关指令；装好后再试
伴生起不来	重新「安装 / 配置」；查看卡片错误提示
编译 PDF 失败	确认本机 TeX 工具链；伴生本身不代替 latexmk