⌘ K
… 读取采集状态 同步中...
雷
原文
人工智能学家· 人工智能学家·· 22 天前AI 评分11

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

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

AI 导读

GPT-6 Astra 无条件证明了哥德巴赫猜想的刘维尔弱形式,所有大于 2 的偶数均可表示为两个刘维尔值为 -1 的正整数之和。该证明突破了广义黎曼猜想依赖,通过 48 小时内的两轮推理完成,并已通过 Lean 4 形式化验证,249 个偶数测试全部通过。

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

来源:人工智能学家 · mp.weixin.qq.com