据多位 AI 领域博主披露，OpenAI 最新模型 GPT-6 Astra 在哥德巴赫猜想研究上取得重大

查看数: 80 | 评论数: 0

关灯 | 提示：支持键盘翻页<-左右->

LOL

发布时间: 2026-9-22 22:06

匿名数学研究者 Captain Sude 在社交平台宣布，GPT-6 Astra 已无条件证明哥德巴赫猜想的 Liouville（刘维尔）弱形式，即所有大于 2 的偶数均成立。证明正文仅两页，且已通过 Lean 4 形式化验证，零 sorry、零自定义 ...

回复