GPT-5.6 打破陶哲轩团队大素数空隙纪录

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