GPT-6 Astra狙击哥德巴赫猜想！属于人类的数学时代结束了吗？

AI 在数学领域的突破引发了广泛关注，近期 GPT-6 Astra 通过两页纸的论文证明了哥德巴赫猜想的一个弱化版本，即所有 4 的倍数均可表示为两个刘维尔数为 -1 的数之和。哥德巴赫猜想作为数论中的经典难题，曾吸引陈景润等数学家通过 “1+2” 等方法进行长期攻关。此次 AI 的证明过程简洁且具有逻辑跳跃性，不再依赖传统的暴力破解，而是展现出类似人类数学家的奇思妙想。这一进展不仅验证了 AI 在纯智力数学活动中的潜力，也标志着 AI 开始深度渗透科研领域，预示着科学研究范式可能迎来继牛顿与爱因斯坦时代后的又一次飞跃。