罗盘 / 哥德巴赫猜想
暗星档案 · 未点亮的星哥德巴赫猜想
本条为初评草案（AI 辅助编目）：T 阶为三问初评（撬动面 × 停滞度 × 临界性），双评过 σ 门并红蓝复核后才升"已建档"。查不到的字段留空不编。点亮者会进入亮星候选流程，其贡献与星阶按 HCF 独立重评，不从暗星自动继承。
哥德巴赫猜想 量级 · 潜能待评
每个大于2的偶数都能拆成两个素数之和，验证到10^18仍无法证明
所属星云究极真理·数学的圣杯理解万物
暗星编号DS-0439
轴R · 风险与文明安全
领域fundamental-science
状态初评草案 · 待双评与红蓝复核
这是什么 · 为什么难
猜想任何大于2的偶数都可写成两个素数之和。已在4×10^18以内的偶数上被计算验证，陈景润1966年证明「1+2」（每个充分大偶数可表示为一个素数与不超过两个素数乘积之和），弱哥德巴赫猜想(奇数情形)已于2013年被Helfgott证明，但强猜想本身仍未解决。
卡在哪 · 机制级卡点
圆法（Hardy-Littlewood方法）能处理奇数情形是因为三个变量提供了足够的自由度，偶数情形只有两个变量，误差项无法被现有解析工具充分压制，属于「维数不够」的结构性瓶颈。
谁在攻
巴黎高等师范学院 Harald Helfgott（弱哥德巴赫证明者）持续尝试将方法推广到强猜想；国内数论学者延续陈景润路线做筛法改进
怎么参与
学习圆法与筛法两条解析数论主线，读Helfgott弱哥德巴赫证明论文理解圆法为何在偶数情形失效