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

1、kk体育 然而，想要同时利用多个集群，就不得不面临机房之间通信和故障的瓶颈。

参考资料： https://www.imo2026.com/Results/Individual_Results.htm https://x.com/_simonsmith/status/2078468111678722448 https://mp.weixin.qq.com/s/HekpOfjea9-NrRP5TxL5Zw https://mp.weixin.qq.com/s/nQVfMccLl0ArddDwF6GPVg 编辑：大卫新智元报道 7月18日，AI圈忽然被这个消息刷屏了。kk体育与之对应，万拿 Eco12 定位为轻量拟人型灵巧手，也是一款「用得起、用得上的拟人化遥操手」，面向遥操作、人机交互、科研教育、机器人展示及轻量化应用验证。

2、Macworld：iPhone 18 Pro起售价或达1299美元，现在买17 Pro更划算

不久前，斯坦福CS153的讲台上，有人问OpenAI CEO奥特曼（Sam Altman）：你怎么看教育？ 他顿了顿：「我很担心。

3、穆帅将决定18岁马斯坦图诺多去留，前皇马主帅或将其带入英超

总之，这个反例精简、优雅到了可怕的地步。

4、数据复盘西班牙2-1比利时：梅里诺再次绝杀，传控是斗牛士底色

工信部联合国务院国资委启动《2026年度人形机器人与具身智能实景实训专项行动》，明确九大重点场景：生产制造、检测分析、维修维护、仓储物流、配送零售、医疗康养、安全生产、应急救援、防灾减灾。

5、美国花滑女将格伦投下一枚重磅炸弹，"生理期不包含在指导手册中"

真正决定性价比的，从来不是单次token价格，而是一次成功任务的完整成本。

如果说AI Coding正在重写软件生产链，那AI Video将重写视觉内容的生产、分发和交互方式。

他用一个周末，把一套Python代码库迁成了16.5万行TypeScript，主体部分消耗约2700万token。

6、特朗普被曝想让FIFA主席接任联合国秘书长

更让他意外的是，接下来AI竟自己调用SymPy写代码，回过头去验证自己的预测结果。

赛事联动上智院、复旦大学及各大产学研生态伙伴共同出题，全面开放独家实测数据集、工业仿真环境与实体研发载体，全部赛题均源自各行业领域一线： 依托上智院与复旦在RNA、蛋白质结构方向的前沿科研积淀设置生物结构预测赛道命题；电力市场交易赛道接入蒙西电力交易中心的一手市场出清数据以及中科天机提供的高精度气象预测数据；可控核聚变赛道配套新奥玄龙-50U球形环装置高保真仿真平台；古文字识别赛道则采用复旦大学出土文献与古文字研究中心的权威古文数据集，以及上海博物馆和湖南省博物馆开放的甲骨文、金文、简牍等古文字数据样本。

7、尤尔曼德加盟马竞，转会费4000万欧+浮动

两年来此芯已经引入了大量国内外元器件与模组供应商，而他希望更多国内厂商加入进来。

而在这套架构之外，高德途途和它自带的ABot-C0则扮演端到端能力验证的外化本体。

8、“巧克力大劫案”引关注，雀巢上线追踪活动，CEO复盘：活动获得705亿次的社交搜索，省下2亿美元广告费

我们甚至可能抵达这样一个节点——资源不再是人类进步的制约因素。

可以说，外界对此褒贬不一： 有人认为它已经能打平Claude 5，但部分开发者也指出，Pro版并未比Flash版领先太多。

这一层精准聚焦于本次任务产生的「代码增量」（Diff）。

9、一代人的青春旋律落幕：世界杯音乐，早已丢了初心

考场外那个没资格入场的选手，可能已经在门口，做完了门内的人刚刚做完的事。

万事俱备，只欠东风。

10、陪伴机器人爆火WAIC，价格下探是必然！凯文·凯利：人形机器人要十年才能成熟落地

可以在开放环境下零样本指令跟随，并且抗各类人物穿梭干扰，同时可以在无网/弱网环境（电梯/停车场）下流畅跟随。

该模型通过构建四足机器人统一的行为基座，实现了ABot能力的端到端验证。

1、AWS 无服务器英雄 Yan Cui：Continuum 与旧服务功能重叠，开发者面临选择困惑

究竟是为什么？ 48小时狂欢与紧急刹车 就在昨天，社交平台还充斥着关于Gemini 3.5 Pro的剧透。

2、一天化解1万公斤“椒虑”——湘乡社会各界接力助农暖人心

超维动力负责比如运动控制、环境理解、任务编排这些最硬核的基础能力，应用开发交给第三方。

3、英超6队抢3席！利物浦切尔西恐掉队，卡里克笑了，2黑马伺机搅局

给它一句「把货架第二层左边那个蓝瓶子拿过来」，它得先弄清你要哪个瓶子，再用「眼睛」看清现场，然后把这句话拆成一串动作：移到架前、伸手、抓稳、退出、送到前台。世界杯2黑马出局！4强出炉：阿根廷对英格兰，有望再和法国队争冠也就是说，企业不仅在支付 Token 费用，还在持续向模型系统贡献： 真实的业务问题； 高价值行业语境； 专家的判断方式； 任务分解路径； 决策偏好； 成功与失败的反馈； 结果评价标准； 以及企业内部尚未显性化的知识。

4、中国籍数学家首获全球数学界最高奖，意味着什么

「氛围编程」（Vibe Coding），虽然提升了编码的效率，但与此同时也开始暴露新的安全隐患和风险。

5、五年降低17％，任务艰巨

2026年2月23日，西奈山伊坎医学院的独立评估在《Nature Medicine》上线，测的是今年1月刚发布、日活约4000万人的ChatGPT Health。

6、苗乡焕新颜：千年酸汤香飘世界

算力一旦被割裂在不同架构、不同生态里，协同就是句空话。

人没被裁，反而晋升连连，因为他现在管的客户数量是以前的好几倍。

漫剧场景更极端：选题、剧本、分镜、多语言本地化全链路打通，一个人加 Navos 就能做到日更。

7、油价破百催生加息预期:9月升息概率飙至82% 美股遭遇“完美风暴”

再配一套故障无感的训练机制，它硬是让跨域强化学习训练，连着跑了整整一周都没断。

甚至还有一个是开源的。

8、未来两三年不指望争冠！湖人承认进入蛰伏期：目标50+胜并闯入次轮

即便假设防御者已知具体目标（比现实更强的假设），少量epoch的BEEAR训练也难以有效降低ASR；只有过量训练（如15 epoch）才能适度压低ASR，但同时会严重损害模型效用（MMLU从约65跌至55–58）。

动作chunk尾部不可靠：模型一次预测多个动作，但越靠后的动作越容易累积误差，系统不得不频繁重新规划，强行拉长执行长度会降低成功率并增加物理步数。

AI的证明策略，堪称一场精妙的「降维手术」。

AISI 测试中，DeepSeek V4-Pro 偶尔拒绝逆向工程类任务，但靠少量重试也能绕过。