AI首次拿下IMO官方满分金牌，背后藏着一套自我纠错机制
AI首次拿下IMO官方满分金牌，背后藏着一套自我纠错机制在上个月落下帷幕的第 67 届国际数学奥林匹克（IMO 2026）上，包括中国代表队三位选手（邓乐言、刘澈、张柏伦）在内，全球共有 7 名人类选手拿到了 42 分满分金牌。
来自主题: AI资讯
9593 点击 2026-08-04 10:35
# 热门搜索 #
大模型
人工智能
openai
融资
chatGPT
搜索
在上个月落下帷幕的第 67 届国际数学奥林匹克（IMO 2026）上，包括中国代表队三位选手（邓乐言、刘澈、张柏伦）在内，全球共有 7 名人类选手拿到了 42 分满分金牌。
这个周末，很多数学家都被 OpenAI 的新模型整破防了。
机器之心编辑部 一道困扰学界几十年的开放问题，需要多少成本才能取得关键突破？ OpenAI 给出的答案是，十道题加起来，约 2000 美元。 昨天下午，OpenAI 公布了一份颇为惊人的成绩单。其下一
作为一个普通人，如果你把一道数学难题给到 AI，并一直让它「继续」，它有没有可能真的把这道题解出来，从而帮你赢得一大笔奖金，甚至改写数学发展进程？
7 月 23 日，量子信息领域一道悬了 25 年的难题，还是在同一天出现了两份独立证明！
7月23日，第30届国际数学家大会（ICM）将在费城开幕，菲尔兹奖将在开幕式上颁出。
这一天，整个数学圈震撼了。
一页纸，啃下了一篇要用44页顶刊论文才啃动的硬骨头。
今天上午，一位在 Anthropic 工作的数学家 Levent Alpoge 发了一条推文。学术圈的反应很快。斯坦福的数论学家 Jared Duker Lichtman 转发并逐步拆解了这个反例，还顺手挖出了一段几乎像电影桥段的历史巧合（后面细说）
困扰统计学界整整20年的核心悬案，被AI击碎了。