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