陶哲轩吐槽GPT-6孪生素数突破，警告AI抢答数学难题或阻碍数学发展

陶哲轩发文警告，AI以黑盒方式抢先解决数学难题，可能抑制探索过程中那些有启发性的失败，反而阻碍数学发展。他提到GPT-6 Astra发布后在孪生素数猜想上用Lean形式化证明把连续素数间距上界从246推到186，Anthropic与Axiom同期分别宣布缩至188和212。他以纳维-斯托克斯方程全局正则性问题为例，指出若答案由AI在内部完成且过程不公开，这个问题将不再能像过去那样孕育新的数学思想。