以GSM8k测试集为例，进行求解。调用deepseek-v4实现自动求解。后面，还实现了Aletheia，求解复杂数学题。对AI-agent进行了好的利用。