清华大学与微软合作研发的ToRA通过融合自然语言推理与外部计算工具，解决复杂数学问题。ToRA在多个数学推理数据集上取得显著性能提升，尤其在竞赛级MATHS数据集上表现出高精度。该创新方法为数学问题求解带来重大突破，将自然语言理解与工具使用相结合，实现了最先进的数学推理性能。对工具交互的全面分析为未来的研究提供了重要见解，有望开发更先进和适应性更强的推理代理。