math-olympiad - 带对抗验证的竞赛数学解题器
通过迭代推理、独立上下文对抗验证和校准置信度解决竞赛数学问题，并可选择输出 LaTeX PDF。
标签
更新于: 2026-10-06能力
典型输入
典型输出
该技能可以做什么
- 解读问题陈述
- 生成候选解法
- 迭代完善并自证证明
- 清理解答论证
- 执行对抗性验证
- 排序并投票验证解答
- 识别证明漏洞
- 在不确定时弃答
- 编译已验证解答 PDF
输入
- 竞赛数学问题陈述
- 候选证明
- 验证模式参考资料
- LaTeX 支持
输出
- 详细解答
- 验证结论
- 证明漏洞报告
- 校准后的置信度
- 无可信解答状态
- 编译后的 PDF
要求
- 并行代理调用
- 独立上下文验证代理
- 支持思考的模型
- 生成 PDF 所需的 LaTeX 环境