ComBench：奥林匹克组合数学严谨证明与构造能力基准

ComBench是一个新基准测试，通过奥林匹克级别的组合数学问题评估大语言模型的推理能力，同时考察其证明构造和显式数学构造能力。

查看原文