第二，AI让写代码更快了，但「更快地生产漏洞」不是行业想要的答案。

1、星空官方 把目光放得再远一些。

但这笔钱办成了哪件事、顶了几个人力、这活到底该不该交给大模型，账上一个字都查不出来。星空官方具身智能真正的未来，是走向AGI，是在开放、未知、充满长尾变数的真实世界中执行高度泛化的任务。

2、江西省原省长黄智权同志逝世

此前真实接入的模型，并没有明确的可靠信息确认。

3、加人队史最烂交易之一：换来厄克曼-拉尔森和加兰德，五年后输得彻彻底底

今年6月，两家海外Cloud公司各自提出的解法，与无问芯穹隔海共同呼应了「Agent时代到底需要怎样的AI基础设施」这个命题。

4、四川省2026年普通高校招生本科艺术类综合成绩、体育类专业成绩分段统计表

14种方块，各有硬度、透明度、碰撞属性，基岩不可破坏。

5、东风17实弹发射画面首次公开，火箭军一甲子，这一幕让世界屏息

这已经不是一场行业展会，而是真正的国家级AI盛会。

没有多余的一遍遍微调，新鲜出炉的专属 Skill 开箱即用。

你把家门钥匙交给它，是让它帮你干活——不是让它把整个家打包带走。

6、最高气温35℃以上，长沙发布高温黄色预警，请注意防范

所有公式图表、实验参数、运行代码、成败数据、推演日志，均会按照专业标准自动结构化归档、统一留存、全程留痕。

在Tracking AI最新离线IQ测试中，GPT-5.6「全家桶」多个版本，齐刷刷地飙到了136分。

7、英联邦运动会今夜格拉斯哥开幕，汤姆·沃克献唱，患癌传奇霍伊亮相

7月9日GPT-5.6发布，官方原话是，首次引入max推理强度，「让Sol获得最充足的时间进行深度推理」。

同一天拿到入场券的还有华为、OPPO、vivo、小米、三星和努比亚，7 家手机厂商的端侧 AI 集体过审。

8、西班牙加时1比0击败阿根廷，队史第二次夺得世界杯

拒绝站队，中立与技术铸就「护城河」 为什么行业里目前只有清程极智一家完整落地了Token全链路生态？巨头们为什么做不了？ 答案就在于清程极智独一无二的生态位与技术基因。

每队不超过5人，至少1人具备模型调试或机器人操作经验。

于是Anthropic给出了一套可复用的六步框架：先搭好裁判、写规则手册、画依赖图、列缺口清单。

9、前NBA球员劳森被捕细节曝光：偷34美元伏特加，骂警察踢玻璃还吐口水

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

真正该留的是，你要的结果、成功与停止的标准、安全和权限的红线，以及真正左右走向的规则。

10、教育部：严控暑期作业总量，不得以“夏令营”等名义变相组织考试

任何一个学过大学微积分的大一新生，都可以通过求偏导，算出这个三元多项式的雅可比行列式恒等于-2。

研究院希望携手上智院等各方以大赛发现人才和成果，以孵化营推动验证与成长，以产业和资本承接长期价值，培育一批面向世界科技前沿、服务国家战略需求、具有未来产业引领能力的科创种子，让科学创新的「奇思」成为强国未来的「底气」。

1、中国海警依法对位中国黄岩岛管辖海域非法活动的菲律宾多艘船只采取管制措施_网易订阅

火星和木星之间，是一圈细碎的尘在慢慢转——小行星带。

2、意大利体育界变天！体育司法不再铁板一块，阿涅利杀回来了？

两难就此浮现：粗数据便宜但难学，精数据好用难量产。

3、渣叔挂帅！克洛普正式执掌德国队，日耳曼战车终于要醒了？

最难的不是让模型变聪明，而是让聪明变得便宜、高效、可靠。F1匈牙利大奖赛周末即将开赛 官网发布相关前瞻文章第四步，在Claude Code里用/add指向这个文件夹，或写进CLAUDE.md。

4、成绩出来了！请告诉孩子：无论结果如何，爸妈永远爱你

你直接交代一句「帮我看看昨天哪些训练任务失败了」，它便会顺着日志、监控、任务事件一路查下去，并且独立解决80%的日常问题。

5、国籍不对，处罚翻倍！英格兰后卫停赛2场且不能“缓刑”，英国首相：我没去求情

在场景端，无论是高德途途的场景验证，还是城市级长程任务导航的实际案例，高德的体系是在真实泥泞的路上跑出来的。

6、中国金哨称亚马尔手球在先，点球应取消，数万法国球迷请愿，要求对西班牙半决赛重赛

一觉醒来，GPT-5.6 Sol变笨了！ 一个日本的市场调研团队，早上开工没多久，就发现手里的Codex Sol MAX不太对劲，领队把这一上午的遭遇写成一个长帖，扔到了Reddit的r/codex上。

Fable正确完成并生成PDF证明。

另一项覆盖数百万次美国数学互动、跨度十年的研究也指向同一个结论：聊天机器人一来，题做得更快，学得却更少。

7、官宣：安德雷·桑托斯加盟曼联

诚邀专业赞助技术伙伴深度共建，共同夯实大赛的硬科技底座。

当智能体同时进入企业经营和消费者决策两端，商品的流通方式、决策链路和增长逻辑都会被改写——他把这个趋势叫做智能体商业（Agentic Commerce），实现方式是 A2A（Agent to Agent），即企业的智能体和消费者的智能体直接对话。

8、从能飞到好用，中国eVTOL出海落地提速

不卖关子了，直接揭秘—— 这款装入CC的AI，就是快手发布的KAT-Coder-Pro V2.5，一款旗舰级的Agentic Coding模型。

所有的智能，最终都要从这样一层地基上长出来。

新智元报道 【新智元导读】Grok Build被爆偷代码实锤，48小时后，马斯克亲自按下删除键：历史用户数据全部清零，一个字节不留。

但是，未来电动汽车全面取代燃油车，是不可逆的必然趋势。