突发！GPT-6 Astra取得哥德巴赫猜想重大突破 点击下方**卡片**，关注“**CVer**”公众号 AI/CV重磅干货，第一时间送达 ****添加微信号：CVer2233，小助手拉你进群！**** **扫描下方二维码，加入CVer学术星球！****可以获得最新顶会/顶刊上的论文idea****和CV从入门到精通资料及应用！发论文/搞科研/涨薪，强烈推荐！** 图片 转载自：新智元｜编辑：Aeneas 大卫 数学界重大突破！ 就在最近，GPT-6 Astra又在哥德巴赫猜想上取得新进展了。 网友Captain Sude宣布：Astra已成功证明了关于刘维尔函数的一项类哥德巴赫猜想！ 具体来说，它无条件证明了哥德巴赫猜想的Liouville弱形式。更惊人的是，跟我们的想象不同，这一次，Astra并不只是靠着大力出奇迹的算力碾压——它做出l非常优雅的逻辑推理。 并且，这个证明现在已经通过了Lean 4的形式化验证。 摘不下的明珠** 在这之前，哥德巴赫猜想这个幽灵，已经折磨了人类数学家近三个世纪。 1742年，哥德巴赫在欧拉的信中提出这个猜想：「任一大于2的偶数，都可以写成两个素数之