conjecture-discovery

本文介绍了一种三阶段LLM流水线，用于系统性地生成和验证重大数学猜想，利用Lean 4形式化验证和反思性验证来发现具有高“问题品味”的问题。