新推理基准加入长程规划与工具验证任务

摘要

研究团队认为传统选择题已经不足以衡量代理式模型，新的任务更接近真实工作流。