在50多万条成绩样本里，写作和编程这类课，ChatGPT之后的分数明显往上移，可涨的全是作业分，考试分却一点没动。

1、bobapp 硬币的另一面，是社区里挥之不去的疑虑。

谁能在那儿稳住，谁才配得上「智商」这两个字。bobapp不卖关子了，直接揭秘—— 这款装入CC的AI，就是快手发布的KAT-Coder-Pro V2.5，一款旗舰级的Agentic Coding模型。

2、不支持周星驰就抵制？旭旭宝宝不看《功夫女足》遭网友拉黑

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

3、PUMA新设电商副总裁，前阿迪达斯锐步高管Dusan Hamlin加盟

它以营销策略大脑为核心，跑通了「1名真人座席+5个AI分身」的人机协同模式，AI分身的音色和沟通风格与真人座席保持一致。

4、官方丨米兰与莫德里奇完成续约

如何让轴向磁通电机飞入寻常百姓家？ 小象电动的战略节奏，可以总结为：「高维开局，蓄力降本，降维打击。

5、夏天衣服不要太单一，试试红色系的背心，单穿、叠穿都好看

前Google工程师Deedy Das甩出一场AI横评：7个前沿大模型，全自主单挑IMO 2026全部6道题。

如果Opus 5真能拿出接近Fable的能力、却只要Opus的价钱，那些被/一巴掌拍退的开发者，等于被重新请回了牌桌。

(P, K)这个二元组在字典序下严格递减：要么P变小，要么P不变但K变小。

6、“儿科—儿保—中医”联合门诊开诊！

几乎同时，另一组截图也开始传：Codex客户端里用户实际能用的上下文，从约372k退回了272k。

但它们表现出来的能力却是相似的：都看得清环境，都理解任务，都能规划动作、精准执行。

7、身体这些地方“硬起来”，不是病就是癌，赶紧上手摸一下

可有一个痛点，你一定记得：想翻回三个月前那次对话，基本得靠运气。

推理的深度，明显被剥掉了。

8、“胆固醇大户”被揪出，猪肉落榜，不想血脂升高，少吃3种食物

具体来说，就是让通用国产卡去做Prefill——它们的计算吞吐量不差，干这个活效率很高。

设训练样本由L个离散token组成，扩散过程定义在扩展词表上。

只有后续世代的Gemini仍沿用芯片设计时的同一底层架构，Frozen v2才能继续工作。

9、3400 万！曼联决心清洗头号水货！意甲豪门主动上门

可Sol的出现却告诉你：越攥得紧，越贵、越慢、越差。

然而网友们关心的是：我那么大一个Gemini 3.5 Pro呢？ 谷歌「史上最差」AI模型发布！ 谷歌新模型，上线就被骂「史上最差」了。

10、C罗痛哭公开抱怨队友，一代巨星世界杯惨淡谢幕，没留下太多精彩

其中，ABot-ER是面向真实环境的通用具身大脑，统一支撑机器人从感知到决策全流程。

上个月底，DeepSeek向所有API用户发了一封邮件，称即将在7月中旬，上线V4正式版。

1、酒鬼之家

信息产生知识，知识产生智慧。

2、身材走样+正负值垫底！火箭队旧将单场16+3+2，重回NBA基本没戏？

于是环境构建、轨迹合成、RL稳定性、能力融合，都被当成一等的系统工程去啃。

3、六位科学“筑梦人” 走进成都科学大讲堂→

可用进废退，那块负责独立思考的脑力，就会跟久不用的手臂一样，悄悄回缩和变弱，用奥特曼的话说是——肌肉萎缩（atrophy）。日媒评世界杯最失望11人：C罗B费入围 孙兴慜巴尔韦德在列SeClaw把原本走自然语言的通知，改成了带必填字段的结构化工具调用，凭证反倒因为「字段必须填」而被写进了参数。

4、AIToolMind向全球科技撰稿人开放投稿，专注AI及SaaS等领域

AI正在重演这个结构：今天的大模型、明天的新形态、走向物理世界的具身智能，都是不同形态的认知节点，而它们无一例外，都需要同一样东西：一个能持久化、能跨会话、能随使用而进化的记忆层。

5、国家医疗保障局 统计数据 2026年1-6月基本医疗保险统筹基金和生育保险主要指标

K3：全球开源最大最强AI K3是能力最强的Kimi模型: 参数高达2.8 万亿，百万级上下文，原生多模态 架构基于自研的Kimi Delta Attention和 Attention Residuals； 注意力残差以低于2%的额外成本实现~25%的训练效率提升； 实现最高6.3倍解码加速。

6、推广

然而，命运开了一个残酷的玩笑。

一个模拟用户与智能体展开一到多轮正常对话，把任务自然地交付出去。

画面中足足塞进了五十多号人物，最绝的是完全没有AI常见的「复制粘贴」敷衍感。

7、喜讯！邵佳一首次为这位王牌球员破例，将征召他进国足集训名单

此前，他让Claude Fable计算TMF到KO的映射下的 BN 不变量。

顺着「怎么触发、怎么停止、用什么原语、适合什么任务」几个维度，Claude Code把循环拆成四种。

8、体育营销赞助案例｜美国银行成为NFL官方银行;WNBA与宝洁达成合作

这正是可解释性从「透视黑箱」向「展示知识结构」转变的工程基础——前者在技术上面临不可逾越的困难，后者则是一个可设计、可优化、可验证的工程问题。

奥特曼口中，「有史以来最出色的12个月」，到底押的是什么？ 全网第一反应几乎是同一个：GPT-6是不是要来了？ 几天内 新增了300万活跃用户 「关掉推特，赶快去忙正事」！ 与奥特曼的推文遥相呼应的，是OpenAI的Codex负责人Tibo，在16日甩出的一个900万活跃用户的新数字。

它给她递证据，帮她把一条对外提问「润色得像普通的方法学疑问、别像吹哨」，最终推动她替自己把话捅了出去。

看看复杂编码、长程智能体、数学推理和错误恢复，到底会掉多少。