参考资料： https://x.com/thsottiaux/status/2076495156757577895 https://x.com/FixlationAI/status/2076469274441380349 https://www.reddit.com/r/codex/comments/1uuy5eq/nerfed_codex_sol_max/ 编辑：元宇新智元报道 【新智元导读】刚刚，AI编程圈干了一件狠事。

1、ob体育 他称这是「真实世界首例此类AI失配」。

要知道，130这道门槛之前一直没被跨过去。ob体育本质是因为，想在家庭场景完成作业，单一的手或者脚足够灵活，还远不足以支撑。

2、海外研选

」 从始至终，超维动力都在朝着下一代物理世界的入口在冲刺。

3、佛得角奇迹！50万人口的火山岛国，对决梅西

」 他坚持认为，VLA与世界模型并不冲突。

4、葛仙村NPC“小黄鱼”公开道歉后，游客反而更爱他？

在配置相应AI加速卡后，可本地推理70B至150B参数规模的大模型，多台设备还可级联组成桌面级算力集群。

5、拉爵计划有变需要省钱！曼联恐放弃买第三中场，或关注卡塞米罗廉价替代者

首次引入「峰谷计费」 依旧真香 再造「DeepSeek时刻」，最大的变数是价格。

一个人，第一次拥有了一整个出海团队 一个广州的 95 后创业者拿着一款便携咖啡机和 10 万元启动资金，给 Navos 下了一句指令：帮我找到最值得进入的海外市场，一个月内跑通第一轮增长。

每个任务达成目标就退出，整条例行任务则一直跑到你亲手关掉。

6、媒体人：山西在胡金秋引进上规则允许范围内，已做到了极致

最近，ABC旗下的核查栏目ABC NEWS Verify，扒开了这张「慈善女神」画皮背后的一整套AI造假流水线。

梅卡曼德的解法是用标准化「眼脑手」组件，打通「感知—决策—规划—执行—数据反馈」的完整闭环，尽量减少人工调试。

7、世界杯诸神落幕，他的翘臀还在上扬

在衡量Agentic工具使用能力的PinchBench上，KAT-Coder-Pro V2.5拿下94.2 分，力压Opus 4.8。

安全这块：每个Artifact默认只对作者自己可见，想分享才分享，而且只有组织内认证过的成员能看，做不成公开页面，管理员那头还能统一管权限、设保留策略。

8、CBA重磅交易生成中！上海北京山西哄抢胡金秋，亿元先生诞生？

整个流程可以概括为三个环节。

不是代替老师 是把老师还给学生 先说清一件事： Claude接管的，是复盘出门测、调明天教案这类重复活，不是「每天定点把所有作业批完」，自动评分也只到练习题这一层。

毕竟，谁会拿这种事撒谎？ 但独立AI安全研究者@cereblab偏不信。

9、山东高速男篮：八强出局不是终点，是重建的起点

每一次试错、每一组数据、每一轮推演，都不再是单一科研的成本消耗，而是支撑后续创新、驱动 AI 科研能力进化的核心资产，有效帮助科研工作实现复利式增长。

同一个页面，面对不同的查看者，各自拉各自的数据，干各自权限内的活。

10、欧莱雅于世界人工智能大会举办"AI向美"主题活动，聚合技术底座、产业洞见与青年力量

参考资料： https://x.com/elonmusk/status/2079758604656316619 https://x.com/heavypulp/status/2079629058287997221 https://www.mediaite.com/media/entertainment/elon-musk-teases-ai-generated-odyssey-to-take-down-chris-nolans-woke-blockbuster/ 编辑：所罗门新智元报道 2026年世界人工智能大会，上海世博展馆人声鼎沸。

」 参考资料： https://turntrout.com/why-i-left-google-deepmind 编辑：Aeneas新智元报道 7月17日，上海，黄浦江畔，夏风滚烫。

1、又摊上事了！央媒表态弃用后，韩红再迎“噩耗”，走了张碧晨老路

开源与闭源的能力差距收窄到半年以内，「用闭源独占期充当安全缓冲」的默认策略快要失效了。

2、决赛90分钟0射门：阿根廷的黄昏，比想象中来得更早

比如在生产层，通过软件优化支持FP4格式，在使用DeepSeek等模型时，原本需要4台机器的显存，现在1台机器就能搞定，直接为企业节省了75%的成本。

3、第一届“财金创e融”科技成果转化路演 决赛圆满举行

二者相对其他玩家有接近代际差的领先。挺大动静！中国13岁乒乓球少年夺冠，17岁队友神助攻，显得很厉害游戏不只要画面，还要规则、反馈、角色一致性、情绪递进、互动结果。

4、8年狂赚4600万！曝上海男篮4年顶薪续约张镇麟，堪称今夏大赢家

他还专门录制了视频，逐帧测试Gemini 3.6 Flash在空间关系理解上的表现。

5、湖人对雷霆防守悍将多特曾表露兴趣，后者已被送至老鹰

价格也低到离谱，每百万Token输入新智元报道 【新智元导读】仅用1小时，GPT-5.6就攻破了困扰数学界整整 50 年的世纪难题「循环双覆盖猜想」！全球数学家沉默了 7月11日凌晨，OpenAI官方宣布：GPT-5.6 Sol Ultra成功证明困扰数学界长达50年的「循环双覆盖猜想」！ 更惊人的是，它在不到一小时内，就产出了一份完整证明。.3美元、输出.5美元。

6、郭艾伦调侃想投奔杜锋 他加盟广东的可能性有多大？

这也是为什么Karp能够比很多纯模型公司的CEO更早看到企业主权问题。

作者强调，这一机制并不会统一所有审稿人的观点，也不会改变同行评审的决策流程，而是在保留专家判断的前提下，为评分提供一套统一的参考尺度。

积木是道具，能力是真的。

7、在火箭队已经边缘化 为何火箭还要续约泰特 到底有何玄机

用他的话说，这并非「AI取代了工程师」，而是人正从操作执行者，变成自动化系统的设计者：重心从「把这一行代码写对」，挪到了「搭一套能自己把代码写对的系统」。

这意味着，人类指望AI替自己盯着AI，可能收不到任何警报。

8、Roca乐家×Keep正念冥想挑战赛，解锁治愈好礼

有了这些上下文，助理才真能帮老板干很多事情，比如写个文案、做个PPT、安排出差行程等等。

上午9点，该团队照常开工。

而有了WAM-TTT，秘密武器变成了一台普通的运动相机。

然而，负责人再次「已读不回」。