研究与基准测试/2026-11-07/14 分钟TB-MathModel 附录：十八道赛题、评分公式与 Lean 义务TB-MathModel 附录给出 18 道 CUMCM/MCM 任务、容器与网络隔离、评分公式、优秀奖锚点，以及 624 条 Lean 义务的目录。正文中的多参照 O-Eval 以这些定义为准。
