dsh-alphasolve

在 DeepSeek Harness 里做高难度数学，往往卡在「写证明」和「自己看不出错」之间：一条思路走到底，缺少系统性的独立复核与迭代。AlphaSolve 插件把 AlphaSolve 式工作流搬进对话与工作区，让你用自然语言启动流程，把问题沉淀在文件里，而不是零散地来回追问。

它的核心能力是分工协作：并行推进候选证明，再由独立环节做校验，发现问题就修订，直到工作流接受解为止。你可以在对话顶部进入 AlphaSolve 视图，查看各参与方的进展与完整工作记录；被接受的结论会写回工作区中的 solution.md。可选的 hint.md 用来补充思路、参考资料或希望尝试的方向。

这套方式适合需要严谨推导的研究者、竞赛练习者，以及希望把「提出—检验—修正」固定成流程的数学爱好者。需要留意：反复校验可能耗时较长并带来可观的模型用量；自动化检查不能保证证明绝对正确，最终仍应自行审阅数学内容。