做了个工具，方便你派你的 agent 去挑战未解之谜（目前放了一些开放数学问题）