AI模型GPT-5.6在素数分布领域实现突破,打破了陶哲轩团队保持的大素数空隙纪录。该模型采用全新的「倾斜剩余类」构造法,并将证明转化为Lean语言代码进行形式化验证,形成了新的研究范式。此前,GPT-5.6已改写张益唐的相关结论,覆盖了素数分布的两大核心问题。相关研究文档已公开,预示着AI正成为数学研究的重要伙伴。