Tag
This paper introduces a three-stage LLM pipeline for systematically generating and validating major mathematical conjectures, using Lean 4 formal verification and reflective validation to discover problems with high 'problem taste'.