AI 大模型

大模型推理能力

大模型数学、逻辑、规划、多步推理和测试时计算能力。

2025-12-19 至 2025-12-19 共收录 1 篇信号源：cs.CL, cs.AI, cs.LG

1. 代码与定理证明 1 篇

2511.07420 2025-12-19 math.HO cs.AI cs.HC math.GR math.LO 70%

用生成式人工智能推动数学研究

Lisa Carbone

机构 * Department of Mathematics, Rutgers University（数学系，罗格斯大学）

专题命中代码与定理证明：reasoning(abstract)；logical reasoning(abstract)；分类 cs.AI

AI总结本文探讨了生成式人工智能在数学研究中的应用，包括其作为交互式助手的功能以及与神经符号求解器等工具的整合。

↑