把數學想法整理成可逐項核對的紀錄
在可用的 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