构建了一个大规模、高质量的、跨越多种学科的“可验证推理数据集”（webinstruct-verified）。 这个数据集不是只数学或编程，而是通过精心的数据采集和过