45年数论猜想被ChatGPT独立证明陶哲轩：没犯任何错误AI证明数学猜想，这次

量子位看科技 2026-01-19 16:39:19

45年数论猜想被ChatGPT独立证明陶哲轩：没犯任何错误AI证明数学猜想，这次来真的了。OpenAI最新模型GPT-5.2 Pro刚刚独立证明了一道埃尔德什猜想。论证过程经菲尔兹奖得主陶哲轩验证成立，还被评价为“迄今为止最明确的第一类结果（AI主要贡献）”。真正让陶哲轩印象深刻的不是证明方法本身，而是AI没有犯错。让我更惊讶的是它避免了错误，比如极限交换或量词顺序的失误，这正是这道题最容易踩的坑。前几代大语言模型几乎肯定会在这些微妙之处栽跟头。网页链接

0 阅读：0

量子位看科技

感谢大家的关注

作者最新文章

1

MiniMax发布AI原生工作台曾经那些将需求、设计与代码强行割裂的流水线，正

2

：《豆包的新身份曝光：在国际艺术展当起了“AI讲解员”》豆包的新身份曝光：在

3

OpenAI年入200亿美元了算力越多收入越多才曝出因为缺钱而上广告的Open

4

就在刚刚，人形机器人赛道投下了一颗“开源炸弹”。1月15日，萝博派对（Robop

5

45年数论猜想被ChatGPT独立证明陶哲轩：没犯任何错误AI证明数学猜想，这次

6

：《李飞飞的World Labs联手光轮智能，具身智能进入评测驱动时代！》李

7

：《李飞飞的World Labs联手光轮智能，具身智能进入评测驱动时代！》李

8

具身智能正式买入工业级重载时代全球首个负载100斤的真实持续干活机器人银河通用

9

猎头黄仁勋英伟达干活钟爱华人创业团队已经是全球市值第一了，还怎么继续往上走？英

10

：《马斯克最大算力中心建成了：全球首个GW级超算集群，再创世界纪录》马斯克最

热门分类

科技TOP

1

这台是什么手机？

2

卢伟冰发布会上口误，把小米17Ultra徕卡版“7999元”说成“799元”，

3

iPhone18Pro配置提前看：2nm芯片+屏下FaceID

4

2699起，才2699，其中我以为最起码要2999。256版本是满一刀享受限时优

5

三款电竞手机如何挑选？一张图告诉你明明白。相信大家心中已有答案——荣耀无疑大获

6

鸿蒙6.0老掉牙的Mate60pro时隔3年，你认为这个相机还能撑个几年，我个人

7

2025年终中端机封神！等等党赢麻了✅5款真香机性价比拉满，闭眼冲不亏！✅荣

8

都说现在内存、存储芯片涨价得厉害，今年新机普遍价格都上调了，怎么我看新发布的一加

9

请颁给华强北：诺贝尔改装奖

10

荣耀真是不讲武德！看来荣耀X80还要给友商上一课，这下中低端手机又得迎来新一轮“

科技最新文章

1

2025年中国手机激活量前三：vivo第一（微降），小米第二（靠小米17爆卖反超

2

千万别被荣耀“忽悠”了这哪里是一台主打轻薄的旗舰机型，去实体店上手才终于明白，

3

瞒不住了，华为和荣耀是不是提前商量好了？友商万万没想到，今年内存行业涨价，大多数

4

荣耀真是不讲武德！看来荣耀X80还要给友商上一课，这下中低端手机又得迎来新一轮“

5

真的会有人为了手感，买荣耀手机吗？新发布的荣耀Magic8ProAir争

6

鸿蒙6.0.0.125补丁来了，第一批更新欧耶，看到提示更新还以为是130版本满

7

荣耀Magic8全系参数和价格对比：看点是超轻薄的荣耀Magic8ProAi

8

用了3天荣耀winrt，这几点没想到1，10000电池经用到震惊三观，充满

9

Xiaomi15Ultra已推送小米澎湃OS3OS3.0.8.

10

极光渐变色壁纸丨全尺寸好看不？