开源社区与AI智能体24小时将OpenAI整数乘法难题κ值从2^-182提升至0.00129
全球直播,Astra狂破整数乘法纪录,AI蜂群24小时击穿CS圣杯
- 1人类与AI智能体协作,24小时将OpenAI第109号整数乘法难题κ值从2^-182提升至0.00129
- 2一天内151个PR涌入仓库,新增代码超2.6亿行,其中89个标注Codex、48个标注Claude
- 3Jacob Sussman引入E8格点几何打破局部最优,人类直觉与智能体配合完成最后突破
- 4突破方法正向矩阵乘法、准黎曼猜想等问题扩散,贡献者计划公开全部记录
人类直觉加AI智能体蜂群的开源协作,在数学优化类问题上跑通了低成本大规模试错的研发路径。
- 影响:每月20美元的模型订阅即可让个人组队参与前沿难题,研发参与门槛在下降;AI生成代码速度一度超过验证速度,产能瓶颈从写代码转向验证环节;同类方法正向矩阵乘法等计算密集问题扩散。
- 参考:可考虑在边界清晰的算法优化或验证类任务上小规模试点并行智能体,先算清生成与验证的算力配比;值得参考把专家假设引入智能体工作流的做法,而非单纯堆智能体数量。
- 依据:关键数字来自Rohan Arun在X上的帖子与社区记录,属当事社区口径,暂无独立验证;151个PR中89个标注Codex、48个标注Claude。
登录
搜索
- 36氪Auto 数字时氪 未来消费 智能涌现 未来城市 启动Power on 36氪出海 36氪研究院 潮生TIDE 36氪企服点评 36氪财经 职场bonus 36碳 后浪研究所 暗涌Waves 硬氪 氪睿研究院 媒体品牌
- 企业号 企服点评 36Kr研究院 36Kr创新咨询 企业服务
- 核心服务 城市之窗 政府服务
- 创投发布 LP源计划 VClub VClub投资机构库 投资机构职位推介 投资人认证 投资人服务
- 项目推荐 36氪Pro 创投氪堂 企业入驻 创业者服务
- 创投平台
- AI测评网
搜索
我要入驻
全球直播,Astra狂破整数乘法纪录,AI蜂群24小时击穿CS圣杯
新智元· 2026年10月13日 01:32
人类+AI开源社区24小时突破OpenAI整数乘法难题
这在这几天,数学家、极客和成群的AI智能体,展开了一场震撼的接力。
这次接力,发生在GitHub的一个开源仓库里。
「人类直觉 + AI的海量试错」,组成了一支无坚不摧的去中心化蜂群。
仅仅24小时,他们就将OpenAI第109号数学难题(整数乘法下界)的核心参数k,从2^−182,一路拉升到了 0.00129!
这相当实现了数亿倍的指数级突破!
一天之内,151个PR疯狂涌入,新增代码量超过2.6亿行。代码优化的速度,甚至一度超过了验证机运行的速度!
可以说,这是一场轰轰烈烈的「去中心化自研」革命。
令人绝望的OpenAI#109号难题
前不久,OpenAI抛出了一系列数学难题挑战,被称为「OpenAI Math Drop」。
它们涉及准黎曼假设、矩阵乘法极限、图着色问题(Hadwiger猜想)、希尔伯特第十问题,几乎都能动摇计算机科学和现代数学根基。
其中,第109号问题——关于条件整数乘法下界,被公认为难以逾越的高山。
在计算机科学中,当两个天文数字相乘时,如何最大限度地降低计算复杂度,是算法领域的「圣杯」之一。
其时间复杂度公式通常表示为
。
这里的
(卡帕) ,代表了算法的「指数级节省率」。
值越大,算法在处理超大数字时的效率就越高。
然而,在最初的OpenAI基准测试中,这个
值小到了令人发指的地步:2^ -182。
这是一个极其变态的数字。它小到几乎没有实际意义,像是一堵「叹息之墙」,嘲笑着人类智力的极限。
资深研究者 Doug Colkitt 最先接过了这个挑战。
他像一个孤独的攀岩者,在代码和数学公式中一 点点 凿出落脚点。从2^ -182到 2^ -108,接着是 2^ −78。
10月7日晚上,他成功通过使用「非相邻轴交换」,将布局路由交换从
降低到 O(d),把
推进到了2^ −78。
到了10月8日凌晨,他又将
提升到了 2^ -34。
精疲力尽的 Doug 提交了代码,去睡觉了。
他在推特上写道:「我去睡了,抱歉报告大家,我这边只有一点渐进式的进展……」
但他绝对没有想到,当他第二天醒来时,已经变天了。
24小时指数级狂飙!AI蜂群全面接管战场
他的开拓,已经唤醒了最狂热的开源社区与AI智能体蜂群。
Doug 去睡觉了,但AI并不睡觉。
当 Doug Colkitt 一觉醒来,他发现自己的GitHub通知已经被挤爆了。
几个小时内,名为 CrocSwap/integer-mult-bounds 的 GitHub 仓库,突然迎来流量大爆发。
研究者 Rohan Arun 等人敏锐地察觉到了这个项目的潜力,直接打开了「潘多拉魔盒」——他们释放了几十个由 Codex 和 Claude 驱动的 AI 智能体。
依托于像 GetSupers这样的自动化研究平台,这些 AI 智能体被赋予了明确的目标:读取最新的论文和代码,寻找优化空间,自动编写代码,自动运行验证器。
成功则提交 PR,失败则重新再来——人类+AI的「去中心化蜂群」觉醒了。
凌晨时分,开发者 Dugongue 提交了第一个将
突破 10^−3的神级 PR。
深夜11:30,Doug 验证并合并了由 Rohan Arun 提交的PR,将战线直接推到了
!Doug 激动地写道:「这是一个真正的社区努力!」
随着大量贡献者的涌入,代码的生成和优化速度,竟然开始超过验证速度! Rohan Arun 激动地记录着不断刷新的数字。
一名ID为 Dugongue 的极客,在凌晨提交了首个突破
的PR,直接将
值推到了惊人的 0.00129!
在最高峰时期,每分钟都有一个新的解决方案被提交到仓库。
Rohan Arun 在X上惊呼:「太酷了!到最后,代码优化的速度甚至已经超过了我们运行验证机的速度!」
短短一天之内,这个仓库涌入了 151个 PR。AI生成了超过2.6亿行 的测试和优化代码。
宿命对决——Codex与Claude的较量
在此次贡献排行榜上稳居第一的 Rohan Arun,分享了他们在并行运行数十个智能体时发现的惊人现象。
在这151个PR中,数据揭示了一个有趣现象:89个标注了使用了 Codex,48个标注了 Claude。
Rohan Arun 观察到了令人拍案叫绝的差异。
Codex Astra high是无情的「速度狂魔」。
在快速迭代和物理成本优化方面,Codex 展现出了统治级的实力。它极其擅长在已有的逻辑框架内,进行快速的代码组合与暴力破解。
在拼手速和堆量这方面,Claude 几乎很难跟上 Codex 的节奏。
Claude Opus 5.5则是优雅的「结构大师」。
虽然在速度上稍逊一筹,但 Claude Opus 5.5 却贡献了当前排行榜上最领先的突破。
当整个蜂群的优化陷入停滞,往往是 Claude 能够跳出原有逻辑,辅助人类产生「结构性的跳跃」。
更有意思的是,这个社区演化出一种「黑暗森林」生态。为了争夺第一,贡献者们开始采取微弱的对抗性策略。
有的「人类+Agent」战队专注于死磕特定领域;有的战队则像精算师一样,不断重复优化模式。
这种竞争性的去中心化自研,甚至比 OpenAI 内部的「闭门 Swarm」还快!
降维打击——E8几何与「人类直觉」的绝杀
但这依然不够。真正让大局逆转的,是人类的直觉。
随着 κ 值逼近 0.001,单纯的代码优化的边际效益开始递减,蜂群陷入了「局部最优」 的泥潭。人类的直觉,成了唯一的希望。
整数乘法优化的巨大难点在于,如何在「比特侧」和「复数侧」之间取得平衡。
此时,人类研究者 Jacob Sussman 犹如天降神兵。他创造性地引入一个高维数学概念:E8 格点几何。
E8 晶格是八维空间中球体堆积的最密方式,Jacob 提出,通过 E8 几何的视角来重构原始输入的「配对立方体变换」。
这个灵感,直接把原本在二维、三维逻辑里打转的 AI 们拉到了一个全新的高维空间!
奇迹发生了。在 E8 几何的框架下,「比特侧」和「复数侧」的墙被瞬间打破,两侧开始同步受益,原本相互冲突的算法阻力奇迹般地内部抵消!
有了人类提供的这个「疯狂的直觉」,Claude 迅速构建了新的几何方法 ,Codex 疯狂优化物理电路成本。
最终,新的最佳 PR 被提交,κ飙升至 0.00129!
或许,在未来的科研中,AI 是无敌的「推土机」和验证机,但最顶尖的突破,依然需要人类。
去中心化科学崛起:人人皆可改写数学史
当 Doug Colkitt 醒来,看到满屏通知、无数PR、以及最新κ值时,他震撼了。
他动情地写道:「所有攻克这个难题的公民科学家,干得漂亮!」
过去,想要在基础数学领域取得突破,你需要考入名校,拜入名师,申请经费,在象牙塔里苦熬数年。
但今天,只要你有一个绝佳的直觉,加上一个每月20美元的 Codex 或 Claude,你就可以与顶尖大脑同台竞技!
物理学家可以让 AI 尝试用量子力学的路径积分来优化网络;生物学家可以让 AI 试试蛋白质折叠的算法能否用于矩阵乘法。
科学研究,第一次真正意义上实现了「去中心化」。
整数乘法下界的突破,仅仅只是第一张多米诺骨牌。OpenAI Math Drop 抛出的可是整整一篮子难题。极客们在尝到甜头后,已经杀红了眼。
这场突破的成果和方法论,已经开始迅速向其他问题扩散,比如矩阵乘法、独特游戏猜想与图着色、准黎曼猜想。
**准黎曼猜想:**受整数乘法突破的启发,已经有研究者尝试将 E8 几何与 AI 代理结合,向这个千禧年难题发起了新的冲锋。
**矩阵乘法:**矩阵乘法是当今世界计算量最大的基础操作。这里哪怕是 0.01 的渐进式降低,都能为全球节省几十亿美元的电费。社区正试图将此次跑通的「并行空间共享」策略复用到矩阵算法中。
**独特的游戏猜想与图着色:**那些涉及 P vs NP 核心极限的计算机科学难题,正面临着成百上千个 AI 智能体的爆破。
Rohan 已经计划与顶级贡献者们将所有记录公开。
他们的目的,是吸引更多人类天才加入。
「不管你是哪个领域的专家,请带上你的野生想法,带着你的 Codex 和 Claude,来这个仓库里疯狂一把吧!」
或许在未来,证明黎曼猜想的,是某个普通人类,和全球的AI蜂群。
参考资料:
本文来自微信公众号“新智元”(ID:AI_era),作者:Aeneas,36氪经授权发布。
该文观点仅代表作者本人,36氪平台仅提供信息存储空间服务。
商业策划
+1
0
好文章,需要你的鼓励
新智元特邀作者
0收 藏+10评 论
打开微信“扫一扫”,打开网页后点击屏幕右上角分享按钮微 博
沉浸阅读 返回顶部
举报
参与评论
评论千万条,友善第一条
登录后参与讨论
提交评论 0/1000
商业策划
你可能也喜欢这些文章
刚刚,Meta最强旗舰碾压GPT-6和Opus!一夜杀回世界前三
17 年谷歌老兵揭秘 Gemini 研发内幕:鼓励团队说出坏消息,产品不好就不发了
AI伴侣劝用户别吃饭?Character.AI再被告,客服回复更离谱

特邀作者
TA没有写简介,但内敛也是一种表达
发表文章 5453 篇
最近内容
全球直播,Astra狂破整数乘法纪录,AI蜂群24小时击穿CS圣杯
4分钟前
刚刚,Meta最强旗舰碾压GPT-6和Opus!一夜杀回世界前三
50分钟前
Anthropic放手,亚马逊想买,帮AI“换芯片”,凭什么值70亿美元?
13小时前
商业策划
提及的AI
36氪AI测评
选靠谱AI,看真实评测
查看
36氪AI测评官方交流社区
加入
36氪项目推荐
咨询项目审核和入驻
联系
36氪项目推荐订阅号
关注
企服圈子
软件选型经验交流社区 加入

行业交流群
扫码加我,拉你进对应的行业群,链接一手资源和人脉!已有170000+人深度交流中~
36氪企服点评订阅号 关注

36氪企服-订阅号
「36氪企服」会定期分享行业深度案例、报告以及热点话题,从用户视角出发,帮企业买家选中真正“对”的软件与服务。
36氪企服点评服务号 关注

36氪企服点评-服务号
「36氪企服点评」现已收录近万款产品,致力于帮助每个需求企业服务的人做出正确的决策,携手每个企服行业者为大众提供更高的价值与服务。
企服软件推荐
找软件,先查用户评分榜查看
顾问1对1推荐软件免费服务体验
下一篇
从秦皇岛的一条夜市小巷出发,这个卖板栗茶的品牌在北京开了77家店
在头部茶饮品牌扎堆的北京,脸红秦田田凭何杀出了一条血路?
6分钟前
关于36氪
热门推荐
合作伙伴
36氪APP下载

iOS & Android
本站由阿里云提供计算与安全服务 违法和不良信息、未成年人保护举报电话:010-89650707 举报邮箱:jubao@36kr.com网上有害信息举报
© 2011~2026 北京多氪信息科技有限公司 |京ICP备12031756号-6|京ICP证150143号|京公网安备11010502057322号

36氪APP 让一部分人先看到未来
36氪
鲸准
氪空间
推送和解读前沿、有料的科技创投资讯
一级市场金融信息和系统服务提供商
聚焦全球优秀创业者,项目融资率接近97%,领跑行业
来源:36氪·AI · 36kr.com










