近日，人工智能再度展现其强大能力，解决了一个长期困扰科学界的数学难题。斯坦福大学的数学助理教授Jared Duker Lichtman证实，GPT-5.6在短短一天内就打破了由陶哲轩五人团队保持的关于大素数空隙的纪录，该纪录已持续了八年。而且，GPT-5.6还成功提出了一种新颖的构造方法“倾斜剩余类”，并在当天完成了Lean语言的机器验证。这意味着，当人类数学家们还在为理解复杂的证明而苦恼时，机器已经确认了这一理论的有效性。

要感受GPT-5.6的这一突破意味着什么，首先需要了解素数分布的问题。素数像是散布在整数中的孤独星球，只有能被1和自身整除，构成所有数字的基础。然而，素数的分布规律性极低，随着数字的增大，素数变得越来越稀少，两个相邻素数之间的间距也越来越大。研究者们在这一领域分为两个派别：一个是探寻小素数空隙，另一个则是研究大素数空隙。

小素数空隙的研究中，华裔数学家张益唐在2013年提出了存在无穷多对距离小于7000万的素数，其成果引起了轰动。随后，这一问题不断被优化，最小间距已降低至246。而大素数空隙的研究则关注两个素数之间的“数字沙漠”，这一领域的研究得到了著名数学家埃尔德什的关注，其曾悬赏以鼓励成果。 球友会

2014年，一个由五位顶尖数学家组成的团队，耗时五年，将大素数空隙的下界提升到了新高度，然而，GPT-5.6在此基础上于一天之内便将其推翻。斯坦福的数学团队惊愕于GPT-5.6所展现的非凡计算能力，它并没有依赖传统的计算方式，而是以独特的“数学直觉”完成了任务。据公开论文，GPT-5.6的新界限甚至比2018年陶哲轩团队的成果简化了一个对数因子，而这一改进在解析数论中是极其困难的。

在其证明过程中，GPT-5.6创造性地使用了“倾斜剩余类”这一新方法。此前数学家们通常使用传统的筛法去辨别非素数，但GPT-5.6通过对这些传统方法进行微观调整，成功克服了一些效率低下的对称性问题，最终生成了更长的无素数区间。这一创新成果标志着在大素数空隙领域取得了重大进展。