人类12年只推进6，AI几天把素数间隔从246压到186

素数间隔这个沉寂了12年的纪录，最近几天突然被连续往下推，2014年留下的246，先被数学家 Julia Stadlmann 改进到240，随后 Axiom 团队又公布了212的新结果。
更夸张的是，OpenAI公开的 PrimeGaps186 项目把数字进一步压到了186，项目资料显示，自动化研究过程中使用了 GPT 6 Astra 和 Codex，并用 Lean 对核心证明进行了形式化验证。
不过186现在还不能简单认为已经是完全坐实的新纪录，因为这套证明仍依赖3条尚未完成形式化证明的输入公理，OpenAI也注明，目前还缺少独立的人类语义审查。
真正让人吃惊的，是246从2014年一直守到今年，人类花了12年才推进6，而现在240、212、186几个结果却在很短时间里集中出现，AI做数学的速度一下变得非常直观。
陶哲轩最近也谈到了这种变化，他担心的不是AI会不会做数学，而是如果AI只负责把答案刷出来，研究过程没有公开，领域专家也没有真正参与理解，那么数学可能得到一个更好的数字，却没有留下多少能继续发展的新方法。
对于素数间隔，陶哲轩甚至认为，如果当年AI已经能直接把答案算出来，张益唐后来那套影响深远的证明方法，可能根本没有机会被数学界充分发现和发展。相比素数间隔186还能不能突破，更值得关注的是，AI给出答案之后，人类到底学到了什么。