大语言模型能否生成有趣的数学研究问题?
Can LLM generate interesting mathematical research problems?
AI总结:
本文探讨大语言模型能否生成有价值的前沿数学研究问题,通过生成665个微分几何问题并经人类验证,发现许多问题对专家而言尚属未知且具有独特研究价值。
摘要:
本文是关于大语言模型数学创造力研究系列论文的第二篇。在第一篇中,作者提出了评估大语言模型数学创造力的三个标准,并构建了一个基准数据集来衡量它。本文进一步探讨大语言模型的数学创造力,重点研究大语言模型能否生成有价值的前沿数学研究问题。我们开发了一个生成未知问题的代理,生成了665个微分几何研究问题。通过人类验证,发现许多数学问题对专家而言尚属未知,且具有独特的研究价值。
英文摘要:
This paper is the second one in a series of work on the mathematical creativity of LLM. In the first paper, the authors proposed three criteria for evaluating the mathematical creativity of LLM and constructed a benchmark dataset to measure it. This paper further explores the mathematical creativity of LLM, with a focus on investigating whether LLM can generate valuable and cutting-edge mathematical research problems. We develop an agent to generate unknown problems and produced 665 research problems in differential geometry. Through human verification, we find that many of these mathematical problems are unknown to experts and possess unique research value.
机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。