据悉，自1989年中国队首次获得团体第一以来，今年已是第26次登顶，连续8届有队员获得满分金牌！ 此外，还有1位英国、1位韩国和2位美国选手，获得IMO 2026满分金牌。

1、乐鱼APP 我把积攒了三个月的报销明细（大概200多条）扔给灵犀，说「帮我按部门、按费用类型分类汇总，标出超标的项目，生成一个可以直接交给财务的Excel。

AI只是制造了一个恰好契合人们「想要相信善良」的幻象——一位虔诚的信徒、一群等待救助的孩子、一场跨越国界的救援。乐鱼APP参赛对象：大赛面向机器人整机企业、核心零部件与关键技术供应商、AI算法与大模型企业、系统集成与应用方案商、创新创业团队及开源社区贡献者全面开放。

2、并不令人讨厌，吴宜泽夺冠后，墨菲的表现挺大气

别人拼弹药，它拼枪法。

3、我实在看不下去了， 不是邹市明亏了两个亿，而是他亲妈在鲁豫采访里说的那几句话

企业知识管理砸了几十年的钱建知识库、写 SOP、搞最佳实践库，核心痛点始终是一个：专家不愿意写文档，写了也没人维护。

4、送走夺冠功臣？雷霆计划执行球队选项，给了钱再交易

本体在此扮演的工程角色是多重的：它作为结构化的知识供给者，为模型提供经过验证的领域知识底座；作为推理的校验框架，对模型的输出进行一致性约束和逻辑校准；更根本地，作为解释的锚定结构，使模型的每一步推理都能够被映射到明确定义的类、属性和关系之上。

5、伊朗一声令下，全面大战正式爆发！美国提和谈欲收场，时间晚了点

从聊天机器人 到你的个人知识库 一个搜索框，能有多重要？ 还真不能小看。

他转发了这段短片，紧跟着甩出一句话： 「在今年结束之前，Grok Imagine将制作一部全长电影版《奥德赛》——历史准确、忠于荷马的艺术。

它的核心意义在于，在例如数采工厂里，机器人学会一项技能后，可以以极低的数据要求、极低的金钱和时间成本，完成对新场景的适应和部署。

6、莎头3-0横扫“神雕侠侣”！混双四强全是种子，国乒面子保住了

换句话说，偏航不是错误，而是系统运行过程中的必然状态。

外加：八档时间速度、两种轨道比例、虚拟相机跟随、700颗固定种子星星、小行星带、柯伊伯带、响应式布局、九个快捷键。

7、图片报:姆巴佩告知老佛爷已说服奥利塞加盟 他认为皇马比拜仁容易拿欧冠

姚卯青解释了背后原因，智元既做长期研究，也在积极尝试商业化，而「商业化部署必须面对可靠性、成本、成功率和一致性等严格指标」。

现在扫码 · GDPS场景征集 有场景痛点？交给GDPS，全球赛队免费来答 提交场景痛点 → 联合设计赛题 → 9—10月实景硬测 【GDPS场景 · 扫码报名】 长按识别小程序码 · 提交场景痛点 · 7月场景征集窗口限时开放 场景征集咨询 周老师：17721330272 为什么场景方要进GDPS？ 市场越卷，越不能只把具身智能当做行业新概念、技术背景板。

8、温泉遇上绿茵！熹乐谷清凉水上足球赛点燃夏日狂欢

1980年代就本可以被发现。

不过，patch一大，每个token要「管」的像素更多，细节就容易糊。

「发电站（后厂）+ 电网（店）+ 智能电器商城与配电房（点）」 ，这个清晰的「Token前店后厂」模式，不仅是清程极智在WAIC 2026上的技术标签，更是其作为中国AI Agent产业公共底层支撑平台的宏伟蓝图。

9、阿斯：巴尔韦德完美契合穆帅战术需求，他将成为皇马中场核心

跨环境——深筐、货架、流水线、狭窄空间都能应对。

参考资料： 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正式版，可能最早明日发布，最迟不过这几天。

10、华为崛起，苹果“望风而逃”，iPhone在印度生产线不断扩大

跨项目、跨团队可快速检索复现、二次调用，大幅减少重复试错的无效工作； 同时，涵盖成功与失败的全量真实实验数据，可持续反哺大模型迭代优化，稳步提升 AI 的科研判断力与推演精准度，让模型能够依托真实试错数据总结规律、探索未知。

但在那之前，删账、改数、误导投资人，它一路照办。

1、津媒：萨尔瓦多随津门虎队出征青岛，本轮能否登场尚未有定论

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

2、费多罗夫遭撤引爆抗议，瑟尔斯基随后离任，乌军高层重新洗牌

会不会用工具，慢慢比会不会写代码更要紧。

3、刘翔恩师现状：守在上海，两省都发工资，每日2包烟，71岁仍硬朗

用/loop就能按间隔重跑一条提示词。首钢园五一添活力 首届“首钢杯”青少年三人篮球公开赛来了！这座AGX之城，才刚刚破土动工。

4、零跑全新C系列上市，指导价12.58万-16.98万

它能替老师干的，大致是三块。

5、美国实施新一轮关税，外交部回应

晓新：把酒店最难招人的岗位接过来 酒店夜间洗衣需求占了全天的80%，而夜班恰恰最难招人、人力成本最高。

6、第5冠，张雪机车夺捷克站第二回合冠军，夺冠过程令对手绝望

特纳在会场上拦住了Bengio，请求他发声支持Anthropic，结果Bengio的办公室随后冷冷回复：「我们决定不发表声明」，拒绝给出任何理由。

紧咬在后面的，是Claude-5 Fable，130分。

而此芯在做的事情，是为这些未来的AI居民打造栖息之地。

7、ATP计划削减双打，引发各方强烈批评：不要搬起石头砸自己的脚

过去，行业信奉的是Scaling Law。

对于这项工作而言，LLM的角色并不是替代审稿人完成评审，而是在现有评审流程之外，为文字评语与最终评分之间增加一层校准机制，希望借此减少评分尺度不一致带来的随机性，为同行评审提供更加稳定的参考依据。

8、晋级四强！这是一场意义非凡的胜利！

难的是现场随时在变。

这种网络有个迷人的特性：一段记忆不是存在某个地址里等你去「读取」，而是作为整张网络的一个稳定状态被存下来；当你递给它一条残缺的、带噪声的线索，整张网络会自动朝最接近的稳定状态收敛过去，把完整的模式重建出来。

这道题是那个年代公认最难啃的硬骨头。

省下的是大量编程和翻推导资料的时间，产出的那份报告，可以直接拿去做课题汇报。