GPT-6 Astra在哥德巴赫猜想研究中取得新进展

近期，数学界再传佳讯，GPT-6 Astra在哥德巴赫猜想的问题上取得了显著突破。网友Captain Sude宣布，Astra成功证明了一项与刘维尔函数相关的类哥德巴赫猜想，具体表现在对哥德巴赫猜想弱形式的无条件证明。这一成果不仅依靠强大的计算能力，还展示了优雅的逻辑推理能力，并经过Lean 4的形式化验证。

哥德巴赫猜想自1742年哥德巴赫在与欧拉的信中提出后，已困扰数学界近三百年。该猜想声称任意大于2的偶数均可表示为两个素数之和，许多数学家为此付出了巨大的努力，但始终未能完全解决。随着对问题的深入，数学家们逐渐发展出刘维尔函数，以此来替代素数的研究。这一函数通过对数的质因子个数进行分类，赋予了新的研究角度。

在2018年，出现了弱化版的哥德巴赫猜想，提出是否所有大于2的偶数N都可以表示为两个正整数的和，并满足其刘维尔值为-1。尽管这一版本条件放宽，但证明过程依旧艰难，直到2024年，数学家Alexander P. Mangerel在论文中证明了对于足够大的偶数，此猜想成立，但依赖于广义黎曼猜想。 球友会

此次，Astra和Captain Sude的团队突破了这两个限制，通过一份仅有两页的简练论文，宣布无条件证明：所有能被4整除的正整数都可以表示为两个刘维尔值为-1的正整数之和。利用Mangerel论文的相关性界限和巧妙的逻辑，Astra通过反证法构建了一系列推导，最终找到矛盾，从而确认了这一结果。

不止于此，计划的作者说，在证明了“4的倍数”特例后，Astra随即找到了新的初等证明方法，将这个结果推广到所有大于2的偶数。新的证明方式没有限制任何“充分大”的条件，展现出所有偶数间的普遍性，成为了这一领域中的又一重要突破。Astra的这一逻辑推理过程，不仅简洁明了，也为未来的数学研究指明了方向。