Morning Edition · Monday, August 3, 2026Published at 1:38 AM EDT · New York

Researchers Propose a Pipeline That Uses Language Models to Generate and Validate Mathematical Conjectures

The framework aims to systematize the intuition-heavy step of proposing conjectures worth proving, with the stated ambition of identifying candidates in the class of major open problems.

A paper on arXiv presents a three-stage framework in which large language models generate candidate mathematical conjectures and then filter them for plausibility and potential significance. The authors' framing is that major conjectures st…