Claude真把概率论“圣杯”推倒了？9.7万行Lean代码通过双内核检查，但人类同行评审还没开始
形式化证明已经过机械验证，数学命题与证明价值仍需独立专家确认。
Anthropic开源formal-math渗流项目，Claude生成约9.7万行Lean代码，证明θ(pc)…
26 000
GPT-6 Astra把素数间隔纪录推到186！但这不等于孪生素数猜想被攻克
从人类数学家的240，到Axiom公开的212、Claude相关工作的188，再到OpenAI论文给出的186：AI正开始进入数学研究流程，但“Lean验证完成”背后仍有三个明确前提。
OpenAI公布GPT-6 Astra参与完成的素数间隔研究，将H1上界推进至186，并开放论文、Lean 4…