Keynote – AI数学家能否不仅仅是一个黑箱？

大语言模型在解决数学问题方面正变得越来越强大，但在学习数学时，我们不仅仅需要答案，更希望理解得出答案背后的洞察与思路。即使 LLM 的输出包含了“思维链”，这些关键洞察往往仍然难以从中提取。本次演讲将介绍我的研究团队正在开展的改进工作，旨在提升这一方面的能力。