发现重大数学猜想的法学硕士框架：人工智能对下一个黎曼假设的探索

arXiv:2607.28632v1 发布类型：新 摘要：主要的数学猜想仍然严重依赖于专家的直觉，因此仍然没有一个统一的方法来系统地生成和验证具有巨大数学潜力的猜想。我们提出了一个用于重大猜想发现的三阶段流程，包括从明确的本地证据模块中进行区域搜索，对基础性、新颖性和潜在意义进行反思验证，以及在 Lean 4 和 Mathlib 中进行形式验证。其目标是发现具有高问题品味的数学问题，即其证明可以重新组织研究领域的语言并为人类数学研究提供持久帮助的问题。对二十个候选者的实验显示了从自然语言到形式检查的稳定过渡，二十个候选者中的二十个通过了精益解析和类型检查，二十个候选者中的二十个没有直接被精确吸收，二十个候选者中的二十个没有被伊索自动排除，并且没有明确的重复或接近重复。