GPT-6 Astra写出Lean验证证明，真解了哥德巴赫？ | 菜花睡前AI播客

剧情简介

来源：哔哩哔哩（Bilibili）。热搜关键词：AI破解哥德巴赫猜想的真相。分类：影音娱乐。分区：财经商业。知乎热议把一份Liouville版哥德巴赫证明归到GPT-6 Astra名下。这不是经典哥德巴赫猜想，而是放宽了加数条件的弱化版本。本期用大白话说明它证明了什么、Lean验证了什么，以及现有一手资料能否支持“AI独立完成”的说法。 问题来源：https://www.zhihu.com/question/2083895373177931200 证明仓库：https://github.com/CaptainSude/Liouville-Goldbach 相关论文：https://arxiv.org/abs/本站不提供在线播放与视频下载，仅作信息导航。