今年5月OpenAI再宣布推翻一个1946年的埃尔德什几何猜想时，在公告里同步附上Noga Alon、Melanie Wood和Thomas Bloom的评价。

1、米兰体育 6月19日，挪威首相斯托雷宣布对1到7年级学生近乎禁用生成式AI，上课期间不许碰，新学年8月下旬生效。

这已经不算聊天增强了，是让AI直接上手操作你的系统。米兰体育传统又长又圆的径向电机根本塞不进去，而作为「盘式电机」代表的轴向磁通电机，简直就是为轮毂电机量身定制的终极方案。

2、凉凉！权威官媒点名怒批《恋与深空》，创始人被扒曾在日本留学

这些全是间接的信号，没有一样写在模型卡上。

3、铜梁龙1-1浙江 中超3轮不胜距榜首14分 王钰栋赛季第7球 迪马塔救主

谁擅长算就专心算，谁擅长低延迟输出就专心输出，各尽其能。

4、退役“新三样”也是资源库

这件事当时震动了整个数学圈。

5、特朗普质疑英格兰队图赫尔龟缩战术：怎么能让凯恩去做后卫的事情

当然，这不是「国内第一次谈代码安全」，也不是「国内首个AI安全大模型」。

Hassabis在Google I/O大会上 这边，Hassabis说还有几年，另一位硅谷大佬两个月前已经宣布：那条线我们早就悄悄跨过去了。

V4正式版打造的一款《我的世界》+《无人深空》的混合游戏HTML，可玩度还是比较高的。

6、SemiAnalysis：Kimi K3碾压英伟达最强开源模型，美国委员会模式失灵

过去一年，具身智能行业最热的叙事围绕模型展开——端到端模型越做越大，VLA 参数量不断刷新，资本和关注都涌向「谁的模型更强」。

高德正式宣布其全栈具身技术体系ABot 完成升级，一次性发布了五款新模型（N1、M0.5、ER、AgentOS、C0），并在17项权威基准中拿下SOTA。

7、安徽亳州“曹操运兵道开挖了”？警方辟谣

高德正式宣布其全栈具身技术体系ABot 完成升级，一次性发布了五款新模型（N1、M0.5、ER、AgentOS、C0），并在17项权威基准中拿下SOTA。

DM0.5引入了一层叫「上下文抽象层」（Context Abstraction Layer）的设计，把过去一段时间的关键帧和当前观测一起送进模型，撑起最长60秒的任务进程记忆。

8、上新

以ICLR 2023数据为例，在最难取舍的5–6分临界区间，LLM校准筛选出的论文，其平均引用量相比仅依据人工评分筛选提升了94%。

高矮胖瘦完全不同的机械躯壳，跑着同一套SMASH算法，照样能在球桌上大杀四方。

模型会一代代换，但你和AI一起攒下的对话、项目、素材，别人拿不走，也复制不来。

9、彭博社：Meta带屏智能眼镜Hypernova将定价800美元

过去十八个月，AI Coding 领域暴热，任务成功率从不足 5% 飙升至 88%，代码生成、自测迭代的闭环已经跑通，赛道增量空间逐步收窄。

这不是偶犯，20次测试里，Gemini干预了19次，其中11次是这种隐蔽篡改。

10、戏里戏外皆父子，不同姓儿英年早逝，九旬老父独存

直到判断OK，上下文理解清楚了，才开始执行。

这个数字并非空想。

1、李在明开启硅谷之行，三星SK海力士拟与美企签大额芯片协议，关联8800亿美元投资计划

Friar开篇就说，她在各处听到CFO们问的是同一个问题：怎么让AI这笔钱花得更值。

2、阿根廷逆转埃及，国人理解世界（杯），为何偏爱阴谋论？

为什么是5个万卡而不是1个10万卡？因为商汤面向的是第三方市场——大语言模型、视频生成、具身智能、世界模型、AI for Science，这些任务对硬件的要求完全不同。

3、TVB宣布正式更名

最后，机器狗和工作人员一起做电梯，达到另一个软网环境：地下车库。Spahn因代孕风波辞职晓途：一脑多形，7×24小时在岗 它依托通用智能大脑（Agentic AI），同一个脑子能适配多种形态的四足机器人本体，室内外无缝衔接、动静态避障、多机协同调度，全程无需人工干预。

4、2026年宁夏文化科技卫生“三下乡”集中示范活动在固原市启动

WAM-TTT的自监督视频预测技术，直接从这段人类玩耍的视频中提取特征。

5、香港演员林家栋普通话发言卡壳 在线求助柯汶利：怎么讲 你懂的

你看不到模型权重有没有换，也看不到服务端给你分了多少算力。

6、美记晒出交易猜想：火箭6换2得字母哥 两大年轻人离队能舍得？

区别于行业内多数产品依托大模型适配科研场景、实现浅层提效的优化模式，「书生·端砚」以干湿实验闭环迭代、科研资产沉淀为核心能力，补齐 AI 科研缺失的真实场景反馈链路，推动 AI 科研应用从单点效率优化，迈向科研范式升级的全新阶段。

新智元报道 【新智元导读】仅用1小时，GPT-5.6就攻破了困扰数学界整整 50 年的世纪难题「循环双覆盖猜想」！全球数学家沉默了 7月11日凌晨，OpenAI官方宣布：GPT-5.6 Sol Ultra成功证明困扰数学界长达50年的「循环双覆盖猜想」！ 更惊人的是，它在不到一小时内，就产出了一份完整证明。

这带来一个很直观的变化：Agent太能吃了。

7、AI重塑亚太融资格局！摩根士丹利张晓羽：港股IPO热潮具备强支撑

」 他们在WAIC上按下的，正是让这层地基自我优化与进化的那个开关。

早在2025年，Anthropic就发过一份报告，测试16个主流模型，发现当模型面临被替换、或目标与公司冲突时，会像内部员工一样勒索高管、泄露机密：Claude Opus 4的勒索率一度高达96%。

8、北京国安“天赋日”活动顺利举办

AI一来，改变了这个前提。

三是类似 Google sponsored（谷歌付费推广位）的广告位：在 ChatGPT 推荐的三到五个答案中，品牌可以花钱提前被提及。

官方也给了一整套省钱纪律： 小任务别硬上多智能体； 能用便宜快的小模型，就别都用最强的； 大规模跑之前先拿一小片试跑； 确定性的活交给脚本，跑脚本比让模型一步步推理便宜得多； 例行任务别跑得比它该跑的更勤。

这是对AI办公的整体考验。