螃蟹卫星 / 研究实践

我如何使用 AI 做研究

我使用 AI 探索问题、发展和检查候选论证，以及撰写论文。在一些项目中，AI 提出了关键的证明路线。每篇论文分别说明 AI 如何参与、哪些检查已经完成。

实际做题会暴露工具的长处和错误。我据此调整后续的研究方法。

研究中的判断

我的工作包括选择问题、判断和调整研究路线、检查论证与来源，以及整理相应证据。人与 AI 的具体贡献因项目而异，每项工作的说明应把这种分工讲清楚。

论文需要清楚的结论和支持它的论证。使用计算或形式化验证时，我会说明检查了什么、还依赖哪些假设，并核对结果与原问题及已有工作的关系。

我决定一项工作是否达到发表要求，并为其主张、证据、可读性和披露承担责任。发现问题后，我会调查，并在必要时更正或撤回受影响的主张。

我欢迎针对具体论证、来源和段落的批评。研究者可以选择不同的工具和分工方式。我希望成果依据其数学或科学内容，以及支持它的证据接受评价。

Crab Research 收录论文、研究方法和配套材料。各项记录说明结果的范围，并在已有形式化时提供相应链接。