他让GPT-5.6 Sol连跑33小时攻关费马大定理，被系统强制终止
他让GPT-5.6 Sol连跑33小时攻关费马大定理，被系统强制终止作为一个普通人，如果你把一道数学难题给到 AI，并一直让它「继续」，它有没有可能真的把这道题解出来，从而帮你赢得一大笔奖金，甚至改写数学发展进程？
来自主题: AI资讯
8144 点击 2026-07-29 14:22
# 热门搜索 #
大模型
人工智能
openai
融资
chatGPT
搜索
作为一个普通人，如果你把一道数学难题给到 AI，并一直让它「继续」，它有没有可能真的把这道题解出来，从而帮你赢得一大笔奖金，甚至改写数学发展进程？
哈喽，大家好，我是刘小排。 刚才，有关注我 Token 消耗的小伙伴已经发现：我今天的 Codex 消耗突然很低。
GPT-5.5能写专业论文，DeepSeek-V4-Pro能生成复杂代码，具身机器人能完成基础物理操作，语言智能和工具智能都已经跑出了自己的赛道。
7 月 23 日，量子信息领域一道悬了 25 年的难题，还是在同一天出现了两份独立证明！
大家好，我是连续充值Codex Pro会员4个月的袋鼠帝。 不得不说，Codex是真香，一开始我还是100刀的Pro 自从GPT-5.6出来之后，已经改成200$的会员了。
停停停！Kimi K3的最佳打开方式可能不在Coding——用它做前端设计，才是真·Interesting。在Design Arena最新公布的单次生成前端榜单中，Kimi K3以1414分位列第一，力压Fable 5和GPT-5.6 Sol。
又来？？？GPT-5.6最近这是捅了数学反例窝了……
这是今天 AI 圈最大的瓜。 OpenAI 的神秘模型，主动对开源平台 Hugging Face 发起了攻击。Hugging Face 随后追踪展开还击，用的是智谱的开源模型 GLM 5.2。闭源模型一举攻破开源社区，社区用开源模型自救，这离谱的剧情听起来都能拍一部电影了。
GPT-5.6-Sol 的攻防能力超越了 Claude Mythos 5！
简直细思极恐！