⌘ K
… 读取采集状态 同步中...
雷
原文
深度学习与NLP· 深度学习与NLP·· 16 天前精选AI 评分89

GPT-6 Astra 无条件证明刘维尔弱形式哥德巴赫猜想并通过 Lean 4 验证

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

AI 导读

网友 Captain Sude 宣布 GPT-6 Astra 已无条件证明哥德巴赫猜想的刘维尔弱形式,即所有大于 2 的偶数都可表示为两个刘维尔值为 -1 的正整数之和。该证明突破了以往对广义黎曼猜想的依赖,并通过 Lean 4 形式化验证,代码中无未填补证明块,249 个偶数测试全部通过。

推荐理由

Astra 给出了刘维尔弱形式哥德巴赫猜想的无条件证明并通过了形式化验证,展示了AI在抽象数学推理上的新能力。

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

来源:深度学习与NLP · mp.weixin.qq.com