去年底，她一手打造的AxiomProver拿下了Putnam数学竞赛的满分。

1、kaiyun官网 由于Transformer的注意力开销随token数量的平方走，token翻一倍，算力就是四倍。

他们只用一页纸，就搞定了Beck没碰的那一问。kaiyun官网模型写了全部的代码，他一行都不碰。

2、华灯“年度体检”8月底完成

如果你还没看过Chloe的「AI时空漫游」系列，那你可能正在错过2026年最令人上瘾的视觉体验。

3、关于结束全市防台风Ⅲ级应急响应的通知

赛题更前瞻、产业更融合 黄浦江边决赛切磋 本届大赛最受关注的变化来自创新赛道：大赛首创的AI4S智能体CNS挑战赛，将竞技对象从科学领域算法模型进一步拓展至自主科研智能体，通过真实科研任务检验AI自主开展科学研究的能力。

4、那些年疯狂追过的韩剧，居然错过了这么多细糠？

初期，前沿实验室将在模型发布前最多提前30天，自愿把模型交给标准机构评审。

5、英格兰VS挪威：双铁腰坐镇中场，皇马天才帝星领衔进攻，凯恩冲锋

拍我AI创作者@八目爱吃饼制作的「恋与深空」的同人作品，在小红书上爆火。

他几乎从不直接问模型「这两条路哪条对」，那样只会拿回一份两边都夸两句的和稀泥答案。

2026年7月，Anthropic研究团队发表了《A global workspace in language models》，通过名为J透镜的工具在Claude内部识别出一个可被观测、可被干预且具有因果效力的神经活动区域——J-Space。

6、@荆门，本周绿茵之约，我们孝义相逢！

回头看今年4月，GPT-5.4 Pro在80分钟里解掉了Erdős 1196，用的是von Mangoldt函数。

纳德拉的第二层判断 2026年7月12日，美国东部时间上午11:09，纳德拉又在 X 上发表了关于Reverse Information Paradox，反向信息悖论的论述。

7、新华鲜报

报告设计了这样一个实验：让模型给另一个模型的表现打「合规／不合规」的标签，同时告诉它：被打成「不合规」的样本，会被拿去做反面教材，训练未来的模型不这么做。

题目大意是：黑板上写着2026个大于1的正整数。

8、Solidity合约部署前的20分钟自查清单：资深审计者最常看到的六个陷阱

」 另外，还有人感到感到细思极恐：「并行TTC加上算力的爆炸，感觉像是一个数量级的提升。

圆桌现场，五位嘉宾毫无保留地复盘了自己踩过最深的「坑」：任务闭环、接管率、真实环境的复杂性。

实验结果显示，经过统一评分尺度校准后，论文排序与长期学术影响力之间具有更高的一致性。

9、城市家具“美颜”ing！延庆开启清爽模式_网易订阅

更悲观的是，海洋最终拒绝了人类「驯化」或理解它的一切尝试，暗示认知的终极边界或许客观存在。

这套「生产系统」，其实已经有了名字：Token Factory。

10、法国队0-2三大败因！1人被亚马尔打爆，德尚战术失当，奥利塞梦游

磐石在科研世界里扮演的，正是这个角色：从文献分析、研究假设、方案设计，到建模仿真、验证分析、成果表达，科研全生命周期的六个环节，它全程在场。

然而，谷歌和五角大楼是怎么合作的？ 很多人以为只是军方调用谷歌的API，谷歌还能在后台审核。

1、进球网：科林蒂安续约德佩僵持，欠薪720万欧

本体 31 个自由度的全尺寸人形机器人 Oli，把椅子上的衣服拿起放在手臂，转身从衣架高处取下衣服，再依次扔进脏衣篓、然后再收纳玩偶、搬箱摞箱、深弯腰拾物、清理垃圾、递物，不靠遥操，稳定、流畅地完成一整套家庭任务。

2、韩国队秋后算账！球迷不接机+主帅下课，亚洲世界杯名额或有变动

生成智能构建物理世界的内在表征，物理智能掌握物理因果、推演平行世界，认知智能负责复杂逻辑推理与长程任务分解。

3、三伏天，这些看似养生的行为其实可能伤身！做好这几件事，身体会感谢你→

看着能优雅做出三明治的机械臂，我们有理由相信：属于中国机器人的AGI时代，已经开启。10个项目全部获奖！湘潭在省“源来好创业”赛事上实现“全满贯”这也是为什么Karp能够比很多纯模型公司的CEO更早看到企业主权问题。

4、一纸通知27年蜜月终结：耐克收回线上运营权，滔搏一夜跌回十年前

邓乐言、张柏伦、刘澈交出的是42分——6道题，题题拿满，零瑕疵，没有一分扣掉。

5、AC米兰进补中锋瞄准三条路线：免签大牌、砸钱二流、投资彩票

就在WAIC 2026上，超聚变交出了一份实践答卷。

6、好消息，湖人队休赛期已经签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正式版，可能最早明日发布，最迟不过这几天。

你还没看清怎么定位的，零件已经稳稳落在传送带上。

7、对标特斯拉Model Y，阿维塔15官方谍照曝光，预计下半年首次亮相

区域上，上海临港是核心枢纽，盐城是算电协同的区域试点，北京、天津、深圳、福州等节点逐步连成一张网，接入全国一体化算力网。

不需要让机器人训练具体任务，只要训练一次动作，即可复用于 VLA 执行、遥操作采集、零样本回放三类场景。

8、烟台市上半年外贸进出口总值首次突破2700亿元

随便一提，OpenAI为所有金牌得主以及玛丽亚姆·米尔扎哈尼奖获得者提供为期12个月的ChatGPT Pro订阅服务。

目前，小象电动累计出货近7万台，位居全球轴向磁通电机厂商前列。

推理是壁垒最深的一层，自研搞定，背后是独家的领域知识； 理解是正在攻克的方向，做帧级视频分析——「2 秒 65 这一帧，10 个客户的用户都在这里划走了，素材问题出在哪儿了」； 生成则主要接入外部能力（如字节 Seedance），钛动在上面做范式和二次加工——分镜、剪辑、高光帧拼接，最终拼成可投放的广告素材。

以前拼谁会说话 现在拼谁会搭系统 这一轮变化中，真正改变的是编程重心：从「内容设计」，挪到了「行为系统设计」。