在数学界上，令人振奋的消息传来！近日，GPT-6 Astra在哥德巴赫猜想上迎来了重大突破。知名网友Captain Sude透露，Astra成功证明了一项与刘维尔函数相关的类哥德巴赫猜想，具体来说，它无条件证实了哥德巴赫猜想的Liouville弱形式。这一成就令人瞩目，Astra的推理过程不仅展现了优雅的逻辑思维，更是通过Lean 4进行形式化验证，使其证明更加严谨可信。
哥德巴赫猜想，这一长久以来困扰数学家的难题，自1742年被提出以来，几乎已成为数学界的幽灵。哥德巴赫在与欧拉的信函中写道：“每一个大于2的偶数都能表示为两个素数的和。”为了证明这一猜想，无数杰出的数学家投入了大量的心血，从哈代、李特尔伍德，直至陈景润的“1+2”证明，大家始终无法摘下这颗顶尖的明珠——“1+1”。这是因为素数的分布规律极为复杂而难以捉摸。
面对此等难题，数学家们开动脑筋，发展出一套创新的思维工具——刘维尔函数来探索潜在的解决方案。这一函数以λ(n)表示，其中的n是一个正整数，其值取决于n所含有的质数因子的数量。规则简明：若质数因子个数为偶数，则λ(n)=1；若为奇数，则λ(n)=-1。所有的素数，例如2、3、5等，其刘维尔函数值均为-1，然而并不是所有负值对应的数都是素数，比如8、12的λ值也同样为-1。 金年会官网
在2018年，一个针对这一猜想的弱化版本在知名数学论坛MathOverflow上被提出：对于每一个大于2的偶数N，是否能找到两个正整数a和b，使它们的和N=a+b，并且λ(a)=λ(b)=-1。如果经典哥德巴赫猜想成立，那么这两个正整数的刘维尔值必然为-1，故这个“刘维尔猜想”理论上也是正确的。数学家们放宽条件，允许加数不局限于纯素数，只需保证其质因子的数量为奇数。
尽管条件有所放松，证明这一猜想依然难度颇大。问题的关键在于，研究者们需要探讨这种交替的正负符号在加法运算中的相互抵消现象，以寻找隐藏于加法底层的深层次规律。这一研究亟需构建起数学中“乘法积木”与“加法组合”之间的桥梁。直到2024年，数学家Alexander P. Mangerel终于有所突破，在其论文中证明，对于所有足够大的偶数，这一猜想成立。然而，这一定理的有效性受到两个限制的约束：一是“足够大”的条件排除了较小的偶数，二是其证明依赖于广义黎曼猜想。
而此次，Astra与Captain Sude的团队则成功突破了这两个限制。他们首先发布了一篇仅两页的PDF论文，宣布无需依赖广义黎曼猜想，能够无条件地证明：所有能被4整除的正整数均可以表示为两个刘维尔值为-1的正整数之和。Astra巧妙运用了Mangerel论文中的“无条件相关性界限”，结合了一种精妙的递降法进行证明。 金年会官网
其核心逻辑采用了反证法，假设存在一个奇数m（不被3整除），在4m这个规模下找不到一对和为4m的数字均具有刘维尔值为-1。Astra逐步推导，首先指出乘以4不会改变刘维尔值，因此m本身不可能被表示为两个负值的和。而乘以2则会翻转刘维尔值（引入质因子2），所以2m不能拆成两个正值。随后，Astra构造出a+b=m且λ(a)=λ(b)=1的情形，选取差值b−a最小的一对，通过与3的整除关系推导出矛盾。假如4m无法分解，将导致所有数字均呈现相反的符号，这与Mangerel已经证明的界限相悖。通过简单的代数推导，Astra不费吹灰之力发现了这一结果。
而这还不是终点。根据项目作者Captain Sude的透露，Astra在第一天成功证明“4的倍数”时，第二天便找到一条新思路，将结果推广至所有大于2的偶数！随后，Astra的核心主张昭示了这一发现：所有偶数，无条件成立，无需任何“充分大”的限制。这一证明过程中，Astra不依赖暴力穷举，也没有将已有的解析压缩得更紧，而是进行了精彩的“结构转化”。AI的推理逻辑首开先河，将寻找替罪羊作为突破口，为数学研究的发展指明了一条新的路径。
