搜索
机器之心编辑部 一道困扰学界几十年的开放问题，需要多少成本才能取得关键突破？ OpenAI 给出的答案是，十道题加起来，约 2000 美元。 昨天下午，OpenAI 公布了一份颇为惊人的成绩单。其下一
作为一个普通人，如果你把一道数学难题给到 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）。