Mining Math Conjectures from LLMs: A Pruning Approach

Jake Chuharski, Elias Rojas Collins, Mark Meringolo

We present a novel approach to generating mathematical conjectures using Large Language Models (LLMs). Focusing on the solubilizer, a relatively recent construct in group theory, w…