**ComBench：奥数组合数学的严格证明推理与构造实现基准**

_ComBench: A Benchmark for Rigorous Proof Reasoning and Constructive Realization in Olympiad-Level Combinatorics_

> ComBench 是一个针对奥数级别组合数学的基准，包含 100 道人工标注的竞赛题，分为分析型和构造型两类，评估大语言模型的组合推理能力。实验表明前沿模型远未饱和，最强模型整体准确率 65.4%，且严格证明推理与构造实现是两种不同的能力。

**来源信息**
- **来源**：HuggingFace Daily Papers（社区热门论文）
- **分类**：论文
- **发布时间**：2026-06-11 08:00（北京时间）
- **原文**：[打开原文](https://huggingface.co/papers/2606.10479)