标签:不仅展示了AI在数学推理领域的巨大潜力