Automated Conjecturing for Mathematics Teaching and Research Projects
Neal Bushaw, C. E. Larson, Nico Van Cleemput · PRIMUS · 2025
Automated mathematical conjecture-making programs are an established tool for mathematical research. Here we demonstrate how they can be leveraged for group research and the creation of environments that utilize and nurture a variety of talents. For this experiment, we used the Sage-based open-source Conjecturing program. We give sufficient background and explanation of this program so that other researchers interested in similar experiments will know what can be expected, and we report our laboratory results – the new theorems we discovered in the course of experiment – evidence that investigations of this type can be scientifically fruitful.