Nomos

让大模型做竞赛数学题，一次生成的证明常有漏洞，也没人帮它检查。Nomos 是 Nous Research 的数学解题与自然语言证明写作推理框架，让模型多次求解、由评审模型打分，再挑出最好的答案。

把题目写成 Markdown 文件放进目录即可批量运行，求解和评审提示词都可以自定义。

软件功能

多次求解：生成多份答案。

评审打分：自动筛选最佳。

批量运行：整目录题目。

可定制：自定义提示词。