AlphaSolve for DSH
中文使用说明
AlphaSolve helps you work on difficult mathematics problems in DeepSeek Harness: it develops candidate proofs, checks them independently, and revises them. It follows the workflow of AlphaSolve.
Install
- Install DeepSeek Harness Desktop 0.2.0-rc.2 and configure a working model connection.
- Open the plugin manager, choose Add plugin, enter
dsh-alphasolve, and install. Choose Enable now and restart if prompted.
- Complete the one-time Python/SymPy setup. Desktop includes Python, but installing the plugin does not install SymPy.
No GitHub account or source build is needed. If you have the older @dsh-external/dsh-alphasolve package, replace it before installing this one.
Solve a problem
-
Create a folder and put your question in problem.md. You may add hint.md for ideas, references, or approaches to try.
-
Open that folder as a workspace in DSH and start a conversation in standard mode.
-
Send:
Use AlphaSolve to solve the problem in problem.md.
Click AlphaSolve at the top of the conversation to see progress and open each participant's working transcript. When the workflow accepts a solution, it writes solution.md in your folder.
Start with a small problem. Repeated checking can take a long time and incur substantial model charges; the default is two parallel solving tasks. Automated checks do not guarantee a correct proof—review the mathematics yourself.
npm package · Advanced usage and development · Compatibility · Report a problem
