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

复盘美国大型企业AI采用率下降趋势数据，基于人口普查局统计，用于GPT-5与Claude代码解释器实证分析