把数学想法整理成可逐项核对的记录
在可用的 Claude 中，提供小型数学问题、已知答案和研究限制，分开记录猜想、候选解法与检查方法。
执行环境与使用方式
AI／软件
General text chat (example: Claude); original stack retained below
在哪里操作
普通文字对话，例如在可用的 Claude 网页版 claude.ai 打开新对话；这是本页练习入口，不是原案工具名称。
如何开始
- 打开 claude.ai 或自己已有权使用的文字对话工具。
- 把下列所需材料转换成有来源标记的可读文字，只粘贴必要且获准的部分。
- 粘贴下方提示词，取得文字草稿后回原数据核对。
准备与方案条件
需准备案例列出的输入资料。如果文件不是可读文本，需先提取文本或使用支持该文件的工具。 文字版需要可用账号与额度；Claude 有支持地区及年龄条件。图片或扫描文件须先人工转录，不能假定文字对话会读原文件。
提示词移植限制
这项自备资料练习可移植至具备相应输入能力的工具，不必安装原案例的整套软件。这不代表能重现原案例的自动操作。
使用限制
适合交给他人重算或审阅。清楚列出假设、反例和仍缺少的证据；文字记录不等于执行程序或通过形式化证明，若要验证仍需相应工具与专业审查。 本次只做文档审查，未实测、安装或确认地区适用性。 本次只核对研究摘要，未重新运行研究。
环境资料来源
- https://arxiv.org/abs/2608.23691 · 2026-10-19
- https://support.claude.com/en/articles/8114491-get-started-with-claude · 2026-10-19
適用情境 / When to use
适合交给他人重算或审阅。清楚列出假设、反例和仍缺少的证据；文字记录不等于执行程序或通过形式化证明，若要验证仍需相应工具与专业审查。 并非所有成果都以 Lean 验证。
步驟 / Steps
- 选择有已知答案的小型问题及明确资源上限。
- 分开猜想、候选构造、验证程式与执行纪录。
- 由合资格读者重算反例和核对证明适用假设。
提示詞 / Prompt
针对[小型数学问题／已知基准／资源上限]设计研究纪录。分开猜想、候选构造、检查方法及结果证据，标出依赖假设和可找反例的边界。提出可重查的产物清单；不要宣称解决开放问题或虚构验证结果。
留意事項 / Cautions
- 不把流畅推导当成已证明定理。
- 未执行的验证必须标示未执行。
來源限制 / Evidence limits
只核对预印本摘要与版本纪录，未重跑实验或验证证明。报告只适用于作者的问题与实验条件，不保证其他开放问题可解，也不声称同侪审查。
流程說明 / Workflow note
以下步骤与提示词为本站原创、未实测的练习设计，并非原作者逐字流程；来源结果不代表练习保证成功。
原始工具組合 / Original tool stack
Station； 多个模型系列； Lean
来源发表日期：2026-08-24
来源查核日期：2026-10-20
Autonomous Mathematical Discovery in an Open-World Multi-Agent Environment