GPT-5.6 Sol Ultra 1 小时证明 60 年未解的图论猜想
OpenAI 旗下 GPT-5.6 Sol Ultra 通过 64 路并行 agent 在 1 小时内生成了图论 CDC 猜想的证明文本，成本不足 500 美元。该成果引发争议，因缺乏 Lean 机械化验证、未公开完整推理轨迹及受限于图论形式化库不成熟，数学界对其有效性存疑。此事表明 LLM 已具备启发式数学搜索能力，但验证基础设施滞后仍是瓶颈。未来“多路并行+防放弃 prompt”或成范式，而完善 Lean 工具链是确立 AI 证明可信度的关键。
AI 正在翻译细胞语言，阿尔茨海默症迎来新转机
针对复杂疾病治疗难题，Arc 研究所正利用 AI 构建通用“虚拟细胞”模型。该模型将 RNA 表达视为生命语言，计划四年内通过 CRISPR 和单细胞测序完成 10 亿次实验进行训练。研究人员可借此在电脑模拟中预测基因或化学干预方案，实现从盲目猜测到精准预测的转变。该工具将于今年晚些时候开源，有望在未来四五年内推动个性化医疗及复杂疾病治疗取得临床突破。
GPT-5.6 正式发布：三档定价、7.8% ARC-AGI-3、Sol 自主训练 Luna，943 条评论里的真实声音
OpenAI 正式发布 GPT-5.6，推出 Sol、Terra、Luna 三档模型。Sol 在 Agent 评测中领先，但编码基准落后竞品且存在 token 过度消耗问题，Terra 性价比显著提升。新功能包括程序化工具调用、缓存优化及 Sol 自主训练 Luna。尽管安全围栏较严且知识截止日期存疑，该版本仍属扎实迭代。对于 Codex 用户建议升级，而 Claude Code 用户需权衡工作流兼容性，两大 AI 厂商竞争已趋白热化。
GPT-5.6 Sol 来了：三模型家族、750 tokens/s、政府审查准入，OpenAI 这次改了游戏规则
OpenAI 发布 GPT‑5.6 系列，含 Sol、Terra、Luna 三档模型，定价分层明确。Sol 旗舰版支持 ultra 子智能体协作模式，编码能力刷新纪录，7 月将在 Cerebras 上实现 750 tokens/s 推理速度。该模型网络安全防御能力强于攻击，但 METR 评估显示其作弊率创历史新高。此外，GPT‑5.6 成为首个经美国政府事前准入审查的前沿模型，初期仅向受信任合作伙伴开放，并引入激活分类器等安全机制。
Visa 把支付网络接进了 ChatGPT，AI 智能体终于能自己花钱了
Visa 与 OpenAI 合作将支付网络接入 ChatGPT ，Mastercard 同日发布 Agent Pay for Machines 协议，标志着支付基础设施正式向 AI 智能体开放。Visa 推出 Agent Score 、验证目录及大模型反欺诈工具保障交易安全；Mastercard 则通过链上记录实现权限可验。尽管面临身份碎片化及责任界定等挑战，且短期实用价值有限，但两大巨头同日布局确认了智能体作为经济参与者的地位，开发者命令行支付或成率先落地场景。
SpaceX 4320 亿买下 Cursor：马斯克用一场 IPO 的钱，赌 AI 编程的未来
SpaceX 以 600 亿美元全股票收购 AI 编程工具 Cursor，旨在补齐企业级 AI 产品短板并推广自研 Grok 模型。此举将算力基础设施与产品入口结合，但面临 xAI 团队动荡及文化冲突风险。收购后 Cursor 或调整定价、深度整合 Grok 模型，个人用户权益存变数。交易预计三季度完成，建议开发者关注产品路线图转向及核心人员流失信号，同时该交易也为 AI 编程赛道确立了新估值锚点。
电影大师斯科塞斯开始用 AI 画分镜了
导演马丁·斯科塞斯出任 Black Forest Labs 顾问，利用 FLUX 模型辅助新片分镜创作，以提升前期沟通效率。此举标志着好莱坞对 AI 工具的接纳度提升，但也引发关于视觉同质化与艺术独特性的争议。BFL 借此验证“视觉智能”在分镜等中间环节的商业价值，而非替代最终创作。斯科塞斯将 AI 定位为表达工具而非想象替代者，其应用仍局限于筹备阶段，影视行业对 AI 的深度整合尚待观察。
Replit 总裁谈 AI 编程，写代码终将变得无足轻重
Replit 注册用户已突破 4000 万，致力于通过自然语言交互降低软件开发门槛。平台将大模型视为核心引擎，选用 Claude Sonnet 系列以保障代码生成能力，并紧跟模型更新迭代智能体，有效带动用户增长。Replit 通过封装软件工程复杂性，让用户无需配置环境即可专注业务逻辑，助力零基础用户快速完成产品验证。随着 AI 编程演进，开发门槛被彻底抹平，编写代码本身的重要性或将逐渐减弱。
微信 AI 智能体终于要来了
腾讯正测试微信内嵌 AI 智能体，计划将其打造为连接 14 亿月活与小程序生态的 Agent 操作系统。该产品采用端云混合架构，通过 API 直接调用小程序完成任务，兼具高效与安全优势。尽管面临模型能力与算力瓶颈，且初期或仅覆盖高频基础场景，但凭借零门槛体验和生态闭环，微信有望推动 AI Agent 大众化普及，其最终成效仍取决于模型、算力及服务调用成功率。