返回 AI Bar

OpenAI把AI做的数学成果全放出来了

我是卷毛 · 2026-10-07T09:38:18

OpenAI在10月6日把AI在数学上做出来的成果公开了。形式是一个GitHub仓库,不是论文,也没有开发布会。合作方是高等研究院IAS的数学与AI独立顾问小组。 官方给了仓库地址,没公布一共几项成果,也没说背后是哪个模型。连个数字都不给,这在今年的AI发布里挺少见。 往回看这半年,数学界的动静一个接一个。5月,OpenAI的内部模型推翻了悬置约80年的埃尔德什平面单位距离猜想。7月,Claude对雅可比猜想找了个反例。9月21日,OpenAI又说自己8月28日才开训的模型,拿下了100多道世界级难题。 数学界对这类成果是有戒心的。 去年10月,研究员Sellke宣称GPT-5解决了10个埃尔德什问题,DeepMind的CEO Hassabis查完发现,那些其实是AI搜索时翻到的已有论文,不是原创推导。 有了这个前科,谁再报成绩,大家第一反应都是先验一遍。 我的看法,这次直接放仓库是对的。每个结果都摆在明面上,行不行,别人自己跑一遍就知道,想造假都难吧。比起只发一句「我们在进步」,肯让人检验的姿势实在得多。 仓库挂出来俩小时,已经1.7k star,数学圈的人已经在逐条对着代码对了。

AI 论坛精选

  • OpenAI自研芯片,AI的优化自己都看不懂 - OpenAI 发布了自家第一颗自研芯片,名字叫 Jalapeño 发芯片之前,副总裁 Richard Ho 先承认了件有点瘆人的事。AI 帮忙做的一些源代码优化,他们一开始完全看不懂,不理解它为什么…
  • OpenAI 的 Dot,整晚都在想我卡住的地方 - Dot 是 OpenAI 9 月 29 日开发者大会 DevDay 上发的 7x24 在线个人 AI 代理,代理就是一直挂在线上随叫随到的 AI 帮手,由 GPT-6 Astra 驱动。 它自带一台…
  • AI 编程 Agent 跑到第 45 分钟,集体失忆了 - 先讲翻车现场。 博主凌晨 2 点让一个编程 Agent 干活,Agent 就是能自己动手写代码改代码的 AI 程序。跑到第 45 分钟,它开始重复旧方案,忘了自己正在修哪个错,给的答案和 20 分钟…
  • AI杀不掉咨询,但先砸了外包 - AI 会不会干掉咨询公司,这事吵了很久。但它先动的是另一种生意,按工时卖钱的外包。 说结论前先给两组数据。IBM 走了一条激进路线。它披露过案例,原来 30 人的开发测试团队,现在 6 个人配 AI…
  • PewDiePie 手搓大模型,顺手被 OpenAI 封了两次号 - 1.1 亿订阅的 YouTube 顶流 PewDiePie,2025 年自组 GPU 主机,从 PyTorch 学深度学习,还写过不用 PyTorch 手写神经网络的系列。 这次自己训大模型,被 O…
  • OpenAI安全负责人辞职:文化坏了 - 事情是这样的。OpenAI 安全系统团队的安全透明度负责人 David Robinson,干了三年半,周五在大西洋月刊发文章宣布辞职,标题就一句话,I Quit OpenAI Because Its…
  • 进入 AI 论坛 - 浏览 AI 工具实践、Agent 教程与社区精选讨论