⌘ K
… 读取采集状态 同步中...
雷
原文
CVer· CVer·· 21 天前精选AI 评分95

GPT-6 Astra 无条件证明刘维尔版哥德巴赫猜想

突发!GPT-6 Astra取得哥德巴赫猜想重大突破

AI 导读

GPT-6 Astra 无条件证明了哥德巴赫猜想的刘维尔弱化版本,即所有大于 2 的偶数可表示为两个刘维尔值为 -1 的正整数之和。该证明已由 Captain Sude 团队发布,并通过了 Lean 4 形式化验证,独立复核显示代码无错误且数值测试全部通过。

推荐理由

梳理了 Astra 关于刘维尔版哥德巴赫猜想的证明逻辑及其 Lean 4 形式化验证细节。

本文当前提供导读和图片预览,完整图文请查看原文。

来源:CVer · mp.weixin.qq.com