他让GPT-5.6 Sol连跑33小时攻关费马大定理，被系统强制终止
他让GPT-5.6 Sol连跑33小时攻关费马大定理，被系统强制终止作为一个普通人，如果你把一道数学难题给到 AI，并一直让它「继续」，它有没有可能真的把这道题解出来，从而帮你赢得一大笔奖金，甚至改写数学发展进程？
来自主题: AI资讯
7802 点击 2026-07-29 14:22
# 热门搜索 #
大模型
人工智能
openai
融资
chatGPT
搜索
作为一个普通人，如果你把一道数学难题给到 AI，并一直让它「继续」，它有没有可能真的把这道题解出来，从而帮你赢得一大笔奖金，甚至改写数学发展进程？
7 月 23 日，量子信息领域一道悬了 25 年的难题，还是在同一天出现了两份独立证明！
7月23日，第30届国际数学家大会（ICM）将在费城开幕，菲尔兹奖将在开幕式上颁出。
这一天，整个数学圈震撼了。
一页纸，啃下了一篇要用44页顶刊论文才啃动的硬骨头。
今天上午，一位在 Anthropic 工作的数学家 Levent Alpoge 发了一条推文。学术圈的反应很快。斯坦福的数论学家 Jared Duker Lichtman 转发并逐步拆解了这个反例，还顺手挖出了一段几乎像电影桥段的历史巧合（后面细说）
困扰统计学界整整20年的核心悬案，被AI击碎了。
都以为AI应该先去替数学家证定理，陶哲轩却让它搬30年前的旧网页。一天迁走560篇论文，还从他二十多年前亲手写的老代码里揪出两个连他都不知道的bug。
昨儿刚出的GPT-5.6，用不到一小时，就完成了一道存在了半个世纪的图论猜想证明。而这道题呢，来头也还真不小，就是大名鼎鼎的循环双覆盖猜想（Cycle Double Cover Conjecture）。
研究团队提出了符号嵌入量子算法（Sign Embedding Quantum Algorithms），形成了一篇84页的量子算法论文。可以说，相比此前主要解决研究者给定的开放数学问题，这一次，AIM开始参与研究问题的提出与方向探索。