在3大内部知识工作基准中，K3超越Claude Opus 4.8（max）与 GPT-5.5（xhigh）: 这标志着 Kimi K3 在智能体知识工作能力上全面进化，实际应用更强大、更可靠。

1、星空官方 但这套打法的红利，正在肉眼可见地变薄。

这就是最让人毛骨悚然的区别：去年AI还是帮凶，今年AI直接当了主犯。星空官方这是Claude Code之父Boris Cherny，前段时间在一场面向开发者的公开对谈上亲口说的。

2、上新

特纳将最大的希望寄托在了Jeff Dean身上。

3、山火难控 西班牙请求欧盟提供支援

项目组要跑一个训练实验，Gemini反对：它认为这个实验会抹掉模型表达「撤回同意」的能力。

4、上半年株洲进出口同比增长23.7%

他们在代码编写等场景中，开始疯狂入坑性价比极高的中国模型。

5、“黑色浅口鞋”今年夏天太火了，怎么搭都好看！

怎么办？ 就在今天，商汤在总部举办以「算创·无限」为主题的Agentic时代AI基础设施创新发展论坛。

这才是「反思」落到实处的样子。

第一发点球，瞄准、蓄力至峰值，起脚射门；攻守互换后，看准反应槽指针，顺势滑屏，可惜手速慢了半拍，扑救失败。

6、台风“红霞”来袭 国家防总派工作组赴广东协助指导

消息一出，数学圈的人士纷纷表达内心的激动。

在研究者看来，学术评审绝非简单对错判断，还需要综合衡量工作创新价值、领域发展意义、研究长远潜力等高阶学术认知，这类深度领域判断依托研究者长期积累的行业经验，很难完全交由模型独立完成。

7、足球场的樱木花道，加盟成都后进步明显！拜合拉木把能做的都做了

这就是田然说的「心流」——你很容易出戏的办公流程，不是好的办公流程。

通过在理论上将「触发器感知目标」与「诱导前向掩码分布」联系起来，研究人员指出：去噪过程本身就是 DLM 区别于 AR 模型的一个特有攻击面，并以统一框架刻画概念、语义、行为、代码四个层级的生成式后门目标。

8、今天起，穿鞋调整一下

它没有顺着人类的思路去证明，而是直接在三维空间 中甩出了一个反例： 这个看起来颇为复杂的多项式映射，从C³映射到C³，其雅可比行列式恒等于 -2——非零常数，满足猜想的前提条件。

通过Agentic Open Compute智能体开放计算理念，打破软硬件壁垒，让不同的AI生态、GPU和VPU都能在我们的平台上高效协同，释放最大潜能。

这一方法直接点亮了现代高通量科学。

9、巴厘海岛爆改“体校”，新中产又卷疯了

因此，面向DLM的后门研究需要的不是单一的固定映射，而是一个能覆盖多样化、生成式目标的通用框架。

Bloom的评价是：GPT在Korsky的提示下，只用了1页简单的调和分析技巧，就证出了比Beck那篇44页Annals论文更强的结果。

10、学两招？阿德巴约与泰森场边同框引热议：此前挥拳击打前队友希罗

5 月底 OpenAI 上线 B 端智能体能力，6 月双方开始对接，7 月达成合作。

现在，谷歌亲自下场了。

1、徐州籍“外卖诗人”王计兵摘得鲁迅文学奖

负5小时，被翻译成了一整天。

2、血脂与出汗大有关联！医生提醒：高血脂患者，小暑后5事千万别碰

新智元报道 一页纸，啃下了一篇要用44页顶刊论文才啃动的硬骨头。

3、临床医学录取大爆冷！广东、江苏、山东录取位次大降，有学校直跌2.2万！南医大王牌专业都降两千多！医生们怎么看？

人有全局视野、触觉、常识，机器人常常只能从腕部相机看到巴掌大一块。赫本小白裙，简单纯粹！难就难在这个转变。

4、状元迪班萨27+7难敌勇士11号秀暴走表现

在这条公开帖里，Jenny用几句话交代了自己这段时间的三件大事：生了个孩子，辞了份工作，换了家公司。

5、工装裤+短T的时髦，你可别小瞧！

持续咀嚼赛事数据是理解，压中佛得角是推理，而那张惊艳全场的巨幅战报图，则是最后一环的交付。

6、全市首家“绿色救援车队”上线

实测结果非常硬核。

KAIBot身上那115个自由度，就是算法需求倒推出来的极限指标。

当AI视频从「生成一段好看的内容」真正走向「生成一个可交互的世界」，当实时世界模型让曾经只存在于畅想中的体验变得真实—— 我们会发现，这和LLM的路径惊人地相似。

7、AI问诊在非洲完胜医生，到了欧美普通人手里却彻底失灵了

而刚刚，清程极智借WAIC行业最高舞台，首次对外抛出了一套定义行业的独家产业范式——Token「前店后厂」三层一体化架构。

用他自己的话说，「在LLM出现之前，一个人在奥克兰狭小的公寓里，一年写出Bun」。

8、又帅又能打，留在安菲尔德！Here we go，红军迎来重磅利好

校准后的评分 更接近论文的长期影响力 顶会评审中，最具争议的通常是录用边缘论文（Borderline Papers）。

值得一提的是，Axiom Math的创始人洪乐彤年仅25岁。

AI的上半场，是把模型跑起来；下半场，是把智能持续地产出来，还要算得清账、管得住成本、扛得住关键业务。

分两种情况——如果gcd(m,n) > 1，素因子总数T会减少；如果gcd(m,n) = 1，T不变但大于1的数少了一个，N减1。