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

视频围绕AI在数学推理领域的新突破展开，以哥德巴赫猜想为主线。开头交代AI连续解决数学难题的背景与争议，并引出GPT6extra证明哥德巴赫猜想弱化版本的话题。随后回溯哥德巴赫与欧拉通信的历史，解释强猜想与弱猜想的含义，说明弱猜想已被证明而强猜想仍未解决。视频进一步回顾20世纪数学界对该猜想的推进，从施尼尔曼、布朗的阶段性成果讲到陈景润的1+2证明。重点部分解释弱化版本如何用刘维尔数刻画大偶数拆分，以及此前条件性证明对广义黎曼猜想的依赖。核心段落详细拆解GPT6extra的证明：利用刘维尔函数的乘积性质和同号拆分引理，先处理四的倍数中的简单情形，再对困难情形使用反证法，通过选取最接近拆分、分析模3余数并构造更接近的新拆分，最终推出矛盾，完成四倍数情形的证明。最后总结该证明可推广到所有大于2的偶数，并评价AI数学能力已接近顶尖数学家，进而展望2025年可能成为新的科学奇迹年。