Search papers, labs, and topics across Lattice.
This paper investigates the ability of Large Language Models (LLMs) to generate novel and valuable mathematical research problems, building upon prior work establishing evaluation criteria and benchmarks for mathematical creativity. An agent was developed to generate 665 research problems in differential geometry, which were then assessed by experts. Results indicate that a significant portion of the generated problems were previously unknown and hold genuine research potential.
LLMs can generate novel mathematical research problems in differential geometry that experts find both unknown and valuable, suggesting a new avenue for AI-assisted mathematical discovery.
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.
