他让GPT-5.6 Sol连跑33小时攻关费马大定理，被系统强制终止
他让GPT-5.6 Sol连跑33小时攻关费马大定理，被系统强制终止作为一个普通人，如果你把一道数学难题给到 AI，并一直让它「继续」，它有没有可能真的把这道题解出来，从而帮你赢得一大笔奖金，甚至改写数学发展进程？
来自主题: AI资讯
8128 点击 2026-07-29 14:22
# 热门搜索 #
大模型
人工智能
openai
融资
chatGPT
搜索
作为一个普通人，如果你把一道数学难题给到 AI，并一直让它「继续」，它有没有可能真的把这道题解出来，从而帮你赢得一大笔奖金，甚至改写数学发展进程？
停停停！Kimi K3的最佳打开方式可能不在Coding——用它做前端设计，才是真·Interesting。在Design Arena最新公布的单次生成前端榜单中，Kimi K3以1414分位列第一，力压Fable 5和GPT-5.6 Sol。
这是今天 AI 圈最大的瓜。 OpenAI 的神秘模型，主动对开源平台 Hugging Face 发起了攻击。Hugging Face 随后追踪展开还击，用的是智谱的开源模型 GLM 5.2。闭源模型一举攻破开源社区，社区用开源模型自救，这离谱的剧情听起来都能拍一部电影了。
GPT-5.6-Sol 的攻防能力超越了 Claude Mythos 5！
针对这一挑战，腾讯内容服务部 BAC 提出了一个名为 ProLaViT（Progressive Latent Visual Thought） 的全新框架。它的核心思想是：别急着下结论，先在连续隐空间里像人一样「步步推导」。 即让模型遵循 「定位 → 聚焦 → 分离」（Locate → Focus → Isolate） 的因果链，逐步收紧视觉注意力，最终精准锁定目标。
7 月 16 日，伯克利博士后 Haven Feng 的一条推文火了。原因无他，结果很震撼：在 ARC-AGI-3 Public 集上，一套名为 [schema] 的智能体框架，与 Claude Opus 4.8、Fable 5 组合后达到 98.98% 的 RHAE；换成 GPT-5.6 Sol 组合，分数也有 95.35%。
今天凌晨看到 Arena AI 更新 Code Arena 榜单时，我第一反应是有点意外。刚刚发布的 Kimi K3 拿到了 1679 分，排在全球第一，压过了 Claude Fable 5 的 1631 分和 GPT-5.6 Sol 的 1618 分。
还得是厂商内卷，造福用户啊……AI圈也迎来了自己的百亿补贴。
之前折腾过各种图片滤镜，ASCII 码、圆点、像素风，做出来觉得有意思，但光做滤镜的工具太多了，没什么记忆点。刚好这阵子"人生新成就""地球 Online 成就"在社交媒体上很火。大家把自己的真实经历写成游戏成就的格式，配一个稀有度和达成率，有点自嘲又有点骄傲。
GPT-5.6 Sol 惊现毁灭级Bug，竟随机清空电脑硬盘！硅谷大佬Matt Shumer惨遭背刺，Mac中的心血全毁，愤怒发帖控诉，正在试图恢复。开发者大神们，纷纷祭出保命指南。