哥德巴赫猜想
数论中著名未解猜想，1742年由数学家哥德巴赫提出，断言所有大于2的偶数均可表示为两个质数之和，迄今未获完全证明
时间轴 (近 90 天)
AI并未真正攻克哥德巴赫猜想，仅证明了一个基于刘维尔函数的必要条件弱化版本
GPT-6 Astra用一份仅两页纸的数学论文，无条件证明了哥德巴赫猜想的一个弱化版本
该弱化命题问的是：任何一个大于2的偶数是否一定能写成两个刘维尔数为-1的数之和
经典哥德巴赫猜想要求把偶数拆成两个素数之和，而Liouville弱化版本只要求两个加数的质因子总数都是奇数（Liouville函数值为-1），允许合数入选
GPT-6 Astra写出的证明处理的不是经典哥德巴赫猜想，而是一个弱化的Liouville版本
筛法天然无法区分质因子个数为奇和为偶这两类数，这是哥德巴赫猜想难以用纯筛法攻克的原因
哥德巴赫在1742年写给欧拉的信中提出所有大于2的偶数都可以拆成两个质数相加的猜想
此次攻克的是刘维尔-哥德巴赫猜想变体，而非原版哥德巴赫猜想本身
中国数学家陈景润证明了哥德巴赫猜想的"1+2"形式（一个质数加两个质数的乘积）
全部知识事实 (9)
AI并未真正攻克哥德巴赫猜想，仅证明了一个基于刘维尔函数的必要条件弱化版本
70%待验证该弱化命题问的是：任何一个大于2的偶数是否一定能写成两个刘维尔数为-1的数之和
50%待验证经典哥德巴赫猜想要求把偶数拆成两个素数之和，而Liouville弱化版本只要求两个加数的质因子总数都是奇数（Liouville函数值为-1），允许合数入选
50%待验证GPT-6 Astra写出的证明处理的不是经典哥德巴赫猜想，而是一个弱化的Liouville版本
50%待验证筛法天然无法区分质因子个数为奇和为偶这两类数，这是哥德巴赫猜想难以用纯筛法攻克的原因
50%待验证中国数学家陈景润证明了哥德巴赫猜想的"1+2"形式（一个质数加两个质数的乘积）
50%待验证此次攻克的是刘维尔-哥德巴赫猜想变体，而非原版哥德巴赫猜想本身
50%待验证哥德巴赫在1742年写给欧拉的信中提出所有大于2的偶数都可以拆成两个质数相加的猜想
50%待验证GPT-6 Astra用一份仅两页纸的数学论文，无条件证明了哥德巴赫猜想的一个弱化版本
50%