OpenAI 是如何解开这道千禧年难题的?
使用内部模型启动上万个并行 Agent,88 小时交出证明,又花 17 小时用 Lean 做形式化验证。

AI 用 88 小时解开了千禧年数学难题,却引发数学家联名质疑。这背后是 AI 产出速度与人类理解速度之间日益扩大的裂缝。当 AI 替你省掉试错过程,你失去的不仅是时间,更是形成判断力的机会。本文从产品经理视角,探讨如何在 AI 时代保留自己的试错回路,避免让工具替代思考。
文章从 AI 用 88 小时解开千禧年数学难题、25 位菲尔兹奖得主联名质疑说起,指出 AI 的产出速度已跑在人类理解速度前面。作者以产品经理视角分析:试错被省掉的同时,判断力也一并被省掉。随后提出先出题再找答案、保留自己的草稿、记录自己改了什么三个方法,让 AI 辅助而非替代思考。
使用内部模型启动上万个并行 Agent,88 小时交出证明,又花 17 小时用 Lean 做形式化验证。
他们并不反对 AI 参与数学研究,甚至承认 AI 可能加速研究,真正介怀的是 AI 公司把数学名题当成模型能力的成绩单。
三个动作:先出题再找答案、保留自己的草稿、记录自己改了什么。
工作流可以自我进化了,英伟达开源 SoL-Pi,每小时省13.5刀!
AI不断进步 不得不把才华埋葬在昨天梁文锋CFO到位!投过智谱MiniMaxXCancel 服务再次下线
从担心AI失控 到AI造福人类:比尔盖茨怎么想
我和我的 AI 手机吃了 3 顿饭
实习生1天消耗1亿Token被约谈:如何衡量Token的ROI
字节将发布独立智能网盘“ADrive”,腾讯网盘先已布局,网盘AI大战打响
今晚「鸽派加息」?36氪研究院 | 2026年北京市OPC创业者研究报告
派早报:豆包发布手机助手消费者版,绿联发布首款雷电 5 显卡坞等
做了两年AI落地,我总结了这7点思考
特朗普“一再让步”:美国加密法案仍未过关
月之暗面:网传创始人及员工信息系恶意造谣;OpenAI 放弃今年上市;iPhone Duo炒到9万,黄牛贷款欲囤货|AI周报
在金融支付系统中实施混沌工程:来自企业级 ECS 部署的经验教训
CLARITY法案投票失败 加密监管立法再度搁浅7名博士生仅用3个月从零训练7B大模型:代码+数据+训练日志全公开一张GPU跑10万原子!分子之心用AI把化学反应“拍”成了电影英国殖民之前的澳大利亚原居民人口约 222 万
我的“一人公司”,是怎么搞钱的?
从 Trace 到规模化实时评估:面向生产流量的 Agent 可观测实践|QCon上海前高通算法研发经理跨界AI算力板检测,获近亿元战略投资丨36氪首发
一边喊停一边敲钟:硅谷AI巨头到底在怕什么
云连锁到轻连锁,品牌业务逻辑的改变科学家演示水下太阳能电池
语义翻译的操作日常:把”我觉得不对”变成”机器能查”
WorkBuddy + 美图设计室,在对话框里就能解决办公设计任务?
“极端”空头压境 美联储周三不加息就是最大意外
iPhone 18 Pro & Duo 首发评测,提升最大的是「充电」和这个…