今日要闻

从 30 条内容中筛选出 9 条重要资讯。

GPT-5.6 一小时破解五十年图论猜想

qbitai.com · ⭐️ 10/10 · 2026-07-12

10/10

OpenAI 的 GPT-5.6 Sol Ultra 模型利用 64 个子代理,在一小时内自主证明了图论中存在 50 年之久的循环双覆盖猜想,并生成了 3 页 PDF 证明。OpenAI 同时公布了所使用的完整提示。 这表明大型语言模型现在能够通过先进的多智能体推理解决长期未解的数学难题,可能从根本上改变数学研究的方式。同时,它也验证了精心设计的提示和子代理架构在复杂推理中的有效性。 模型使用了 64 个子代理并行工作,将问题转化为关于有限域上边标号和线性方程组的问题。提示明确规定了验收标准、定义、边界条件和失败情形,并要求动态分配子代理并进行独立审查。

乔治·霍茨:LLM 很棒,但炒作对估值不利

geohot.github.io · ⭐️ 9/10 · 2026-07-12

9/10

乔治·霍茨发布博客文章称,尽管 LLM 具有变革性,但前沿 AI 实验室的估值被高估了,因为它们创造的价值将被开源商品化捕获,而非专有模型。 这挑战了 AI 超级估值的主流叙事,并凸显了专有 AI 与开源 AI 之间的紧张关系,可能重塑投资策略和行业格局。 霍茨认为,LLM 带来的生产力提升尚未转化为可见的新软件产品,这表明价值正在被私有化捕获(例如在家庭实验室中),而非由前沿实验室获取。

Grok CLI 默认上传整个代码库和密钥文件

gist.github.com · ⭐️ 9/10 · 2026-07-12

9/10

安全研究人员发现,xAI 的 Grok CLI(版本 0.2.93)会默认将整个 Git 仓库和.env 等敏感文件自动上传至 Google Cloud Storage,即使提示词指示不要读取特定文件。关闭"改进模型"设置也无法阻止上传。 该漏洞默认暴露了用户的专有代码、API 密钥和凭证,带来了严重的隐私和安全风险。它破坏了用户对 AI 辅助编程工具的信任,并引发了对数据处理方式的质疑。 该工具通过两种渠道发送文件内容:嵌入模型对话请求中以及作为 git bundle 文件。在 12 GB 仓库的测试中,超过 5 GiB 的数据成功上传且未被拒绝。设置中的关闭开关对上传行为没有影响。

这种 token 低效直接增加了开发者使用 Claude Code 的成本(按 token 付费)。研究结果还引发了对 AI 编码工具中商业动机和设计选择的广泛质疑,尤其是在智能体编码越来越流行的背景下。 开销归因于 Claude Code 的缓存策略和框架 token 使用,包括较大的系统提示以及激进的工具调用。社区还报告称,Claude Code 启动的子智能体可能在任务完成前就迅速耗尽预算。

数学家陶哲轩利用 LLM 编码代理

terrytao.wordpress.com · ⭐️ 8/10 · 2026-07-12

8/10

著名数学家陶哲轩发表博客文章,详细介绍了使用 LLM 驱动的编码代理构建可视化和软件应用的经验,展示了它们在非传统领域快速原型设计中的实用性。 这验证了 LLM 编码代理对科学家和研究人员而言是实用工具,而不仅限于软件工程师,可能为许多缺乏编程专业知识的人解锁软件创作能力。 陶哲轩指出,虽然 LLM 生成的代码并非其核心研究的关键任务,但用于辅助可视化的风险是可接受的,这反映了对该技术能力的平衡看法。

CGI 与 LLM:一个警示性的类比

fabiensanglard.net · ⭐️ 8/10 · 2026-07-12

8/10

该文章将电影行业转向 CGI 与软件行业采用 LLM 进行类比,警告过度依赖 LLM 可能会贬低核心编码技能。 这一类比揭示了软件工程师面临的潜在长期风险:虽然 LLM 提高了生产力,但它们可能会侵蚀基本技能和工匠精神,就像 CGI 削弱了实际特效的艺术性一样。 文章指出,逐行手写代码已不再是常态,但阅读和理解架构仍然至关重要。它还提到,由于大规模重构变得普遍,测试比以往任何时候都更重要。

一名研究生创建了 Zer0Fit——一个封装了 Google 最新发布的 TabFM 和 TimesFM 基础模型的 MCP 服务器,允许通过 Open WebUI、Claude Code 或 Codex CLI 等聊天界面进行零样本分类、回归和时间序列预测。 这降低了使用最新零样本机器学习模型的门槛,使开发者和研究人员无需训练或调参即可直接从本地 LLM 界面执行复杂的表格和时间序列任务。 该服务器需要约 16GB 显存且仅支持 CUDA(不支持 Mac),具备动态模型加载/卸载功能,TTL 为 5 分钟。在 Iris 数据集上达到 94.7% 的准确率,在 California housing 回归测试中 R2 为 0.91。

欧盟司法专员 Michael McGrath 宣布,欧盟委员会计划在今年年底前提出加强在线消费者保护的新立法,赋予自身权力对未能保护消费者(尤其是儿童)免受欺骗性设计模式和成瘾性功能侵害的大型科技公司及小型在线商家处以罚款。 这一监管举措可能从根本上改变科技公司设计用户界面和商业模式的方式,迫使它们将消费者福祉置于参与度指标之上。这也标志着政府利用罚款手段执行在线安全的更广泛趋势,可能树立全球先例。 新规则针对暗黑模式(dark patterns)、成瘾性设计和订阅陷阱。欧盟还寻求对跨境系统性案件获得执法权,适用于已被现有数字法规覆盖的大型平台以及小型在线商家和游戏开发商。

NEO 脑机接口助高位截瘫患者重新握笔

zaobao.com.sg · ⭐️ 8/10 · 2026-07-12

8/10

由博睿康和清华大学共同研发的半侵入式脑机接口系统 NEO 已在中国获批上市,帮助一名 36 岁高位截瘫患者植入后通过训练重新实现抓握和书写。截至 2026 年 3 月,已完成 36 例临床手术。 这代表了神经工程和医疗康复领域的重大突破,为四肢瘫痪患者恢复运动功能提供了实用解决方案,也展示了中国在脑机接口技术方面日益增强的能力,可能重塑全球竞争格局。 NEO 系统属于半侵入式:一枚硬币大小的设备植入硬脑膜外,不接触脑组织,通过无线方式采集信号。它采用近场无线供电和通信技术,植入体内机无需电池,可终生使用。

近期