构建TCSExam基准，全面评测LLM在定理证明、求解器工程及开放猜想攻关等TCS核心任务上的能力。