据公众号「科技大满贯」统计，本次中国队没有高三选手: 作为首次举行IMO的中学，上海中学累计斩获20枚IMO金牌。

1、金年汇app 上手方式：通过StreamLake.com直接调API（模型ID：kat-coder-pro-v2.5）。

论文链接：https://openreview.net/forum?id=PEyouQzOLD 为什么没有选择让LLM直接审稿？ 面对评审人手不足、打分标准混乱的现状，很多人会直观提出解决方案：干脆交给LLM完成全自动审稿。金年汇app刚开源的SenseNova-Vision已经露了苗头。

2、4年1.3亿！东契奇迎来强力帮手，湖人三巨头诞生，西部格局改变

参考资料： https://www.anthropic.com/news/claude-for-teachers https://www.reuters.com/technology/norway-imposes-near-ban-ai-elementary-school-2026-06-19/ https://www.reddit.com/r/ClaudeAI/comments/1uwbic2/new_launch_claude_for_teachers/?utm_source=chatgpt.com https://www.rand.org/pubs/research_reports/RRA1108-16.html 编辑：元宇新智元报道 全网等了快三个月！ DeepSeek V4正式版，可能最早明日发布，最迟不过这几天。

3、TCL科技收购广州华星半导体45%股权事项获深交所审议通过

蛋糕在变大，但能分蛋糕的人在变少。

4、朗斯转会：迈克·纳夫罗茨基加盟，等待奥比斯波加强后防线

这就是所谓的「异构混合推理」。

5、将缺席第二战！杨瀚森因病将休息 首秀发挥出色砍12+9+4

当迭代陷入停滞时，它能识别被忽略的约束或错误前提，及时调整搜索方向、跳出局部最优，形成「假设—实验—反思—追问—修正」的自主闭环。

一轮轮打磨下来，模型就自己长出了「下一步该干什么」的判断。

自研的此芯P1，就是这块地基石。

6、超市购物“新骗局”！10个人里9个中招，真让人防不胜防

Mollick尖锐地指出，谷歌如今的挫折，完美复刻了此前Meta Llama 4和xAI Grok 4所经历的痛苦。

画面里出现了猛犸象，一头真实的、活着的猛犸象站在那里。

7、OPPO的放贷版图，正在迎来一场震动！

Chloe不是历史学家，也不是电影导演，但她有一种很稀少的能力——把宏大的历史节点，压缩成一个普通人会有的感受。

对本来就在自然语言里泄露的GPT-5.4来说，这是好事，它的整体攻击成功率从近70%降到22%；但对本已懂得打码的Gemini-3.1-Pro而言，它被迫往必填字段里填入真实凭证，反而在持久状态和提示注入两项上更糟了。

8、AMD密集“上新”押注2万亿AI计算市场，Helios全面生产、Venice性能领先英伟达20%

AI已经在碰核心业务了，但权限怎么切、操作怎么审计、敏感数据怎么防外泄，这些企业级的防线普遍千疮百孔。

也就是说，机器人不光要会动手，还得说得清自己为什么这么动。

用户qrdl在论坛发帖，说CritPT自5.4以来几乎没动，除非他们找到了给基准刷分的办法，否则结果也就这样。

9、新刊

而具身智能这两年最深的一道坎，恰恰是高质量数据的稀缺与割裂。

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

10、德国天然气储备计划：全部成本由消费者买单

久而久之，企业可能越来越依赖模型供应商，而模型供应商却越来越理解企业。

这个仅有0.9B参数规模的模型，基于MiniCPM4-0.5B训练完成，在同类开源模型中性能稳居第一。

1、越闹越大！英国政府呼吁国际足联：举横幅的阿根廷球员全部禁赛

这次谷歌步子迈大了。

2、宏远速递！四方大交易正式告吹，首笔签约将诞生，陈家政又秀恩爱

但学校仍在用前AGI时代的标准，去量一批已经在AI里长大的新人，现实却是第一代ChatGPT原住民，已经念到毕业了。

3、487分上岸985，2026高招提前批“最强捡漏王”诞生，专业令人羡慕

• 无需从头训练：作为后训练框架，可以基于已有VLA模型继续优化，降低数据收集和训练成本。广州杀回来了！经济增速领跑一线城市！它直接调用文档内核，生成了一份可以直接打开编辑的PPTX文件。

4、白边消失原因出炉！兴奋剂违规，主动放弃B瓶检测，山东北京首钢吃大亏，上海难逃重罚！

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

5、曼联4100万签蒂莱曼斯周二体检！曝其周薪20万，闪电转会内幕揭晓

而商汤想踩下的第三级台阶，是「美」，即通过专业级的设计美感，达到真正的工业交付标准。

6、热身赛泰山队替补阵容2比3不敌海牛，依木兰出场，王昊斌进球

落到能力上，它承诺解决的六件事，恰好对应那三本账。

徐立把这个现象，称作「使用者的迁移」。

如果AI真要成为企业的基础设施，厂商就得给出比模型名称更具体的边界，让用户明白自己花钱买的那个Max，到底保证了什么。

7、中国男篮今日对阵中国台北，12人名单出炉

推理时，模型从全掩码序列出发，逐步去噪、选择性地解掩码，直至序列完全还原。

先看前端生成。

8、赚再多钱有何用？49岁官宣喜讯的舒淇，和丈夫折腾9年也没如愿

对要在有限算力下支撑成百上千人并发的大型企业，这不是锦上添花，而是生死线。

雅可比猜想问题极其困难。

这可能比传统意义上的模型准确率或单次任务效率，更能够衡量企业 AI 转型的长期价值。

泰坦尼克号上那2224个人，不是历史人物，是跟你我一样，早上起床、吃饭、有计划、有牵挂的普通人。