素数间隔

从人类数学家的240，到Axiom公开的212、Claude相关工作的188，再到OpenAI论文给出的186：AI正开始进入数学研究流程，但“Lean验证完成”背后仍有三个明确前提。