transformer-based systems

论文提出评估大型语言模型数学创造力的新分类法

一篇新论文认为，目前对大型语言模型数学能力（LLMs' mathematical capabilities）的评估存在不足。作者提出了一个数学创造力的分类法，区分了反思性内省、类比引入、问题驱动构建和连接遥远领域等模式。据信，当前的基于Transformer的系统在重组和搜索方面表现出色，但可能在原则上限制了它们执行其他数学创造力模式的能力。随着AI在生成证明方面的进步，该论文认为数学价值正转向这些较难实现的模式，评估也应反映这一点。