在人工智能快速发展的今天，大型语言模型(LLM)在推理和规划能力上取得了长足进步，但在精确计算、符号操作、优化和算法推理等任务上仍面临挑战。这些任务往往需要代码执行的严谨性，而纯文本推理则显得力不从心。最近，来自麻省理工学院、哈佛大学、密歇根大学等机构的研究团

模型 代码 推理 解释器 代码解释器 2025-06-07 21:25  3