他让GPT-5.6 Sol连跑33小时攻关费马大定理，被系统强制终止
他让GPT-5.6 Sol连跑33小时攻关费马大定理，被系统强制终止作为一个普通人，如果你把一道数学难题给到 AI，并一直让它「继续」，它有没有可能真的把这道题解出来，从而帮你赢得一大笔奖金，甚至改写数学发展进程？
来自主题: AI资讯
8512 点击 2026-07-29 14:22
# 热门搜索 #
大模型
人工智能
openai
融资
chatGPT
搜索
作为一个普通人，如果你把一道数学难题给到 AI，并一直让它「继续」，它有没有可能真的把这道题解出来，从而帮你赢得一大笔奖金，甚至改写数学发展进程？
“NPC”住进真实开发流程，能自己开发、验证、提PR。
采访中，吴英成把自己正在做的事压缩成一句话：“上一代 AI 蒸馏的是互联网，下一代 AI for Science 应该‘蒸馏地球’。”
是时候讨论一下 AI 的 “第三极”—— 社会智能了。
当 “花钱” 这事儿开始外包给 AI，这个世界将发生什么变化？
大规模视频扩散模型，画面越来越真，却总在“物理定律”上栽跟头。
随着网络系统研究复杂度的提升，研究结果复现通常需要研究人员依据论文描述重新实现完整系统。
7月28日，一份来自硅谷名为Pacing the Frontier的公开声明发布。
过去两年，光是洛杉矶就蒸发了四万多个影视岗位。美国的报纸采编岗比2008年少了一半。这些消失的媒体人，有一批去了硅谷的大模型公司，用他们的写作经验教AI回答你的问题。每当你感到被大模型的回答击中内心的时候，写出来那句话的，就是之前的记者、编辑和纪录片导演。
推特联合创始人 Jack Dorsey 最近发布了开源协作产品 Buzz。几天后，他在 X 上晒出一张 GitHub Trending 截图，Buzz 位列第三，排在它前面的是一款 Agent 浏览器 ego lite。Dorsey 没有附带评价，但这次意外同框，仍让 ego lite 进入了更大的开发者传播圈。