影音娱乐
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/本站不提供在线播放与视频下载,仅作信息导航。