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

1、博鱼手机 有人连夜换掉所有密钥，有人直接卸载了事。

初等。博鱼手机正是因为你知道结局是什么，那种无力的刺痛才显得如此真实。

2、曝索尼放弃实体计划了数十年！目标抹杀二手交易市场

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

3、谢霆锋发文，著名影星谢贤离世

解法是在自己机器上搭一套本地上下文系统，只用20分钟就能搭完。

4、MIT新研究连接了经典物理与量子物理的世界

科研中的「灵光一闪」，那些需要从无到有构建全新数学模型、打破旧有范式的「构造性发现」，是碳基生物专属的自留地。

5、这毛巾也太会了，擦完手感觉能暴富

银河通用在不到两年的时间里，以惊人的速度，完成了具身智能技术与产业应用闭环的「三连跳」。

清华大学计算机副研究员苏航，聚焦可恢复性——真正的智能不是不犯错，是知道怎么改回来。

而且桌面端设置非常简单，只需要3步： 1、打开Qoder，点击左上角用户设置，选择Qoder设置。

6、奚梦瑶戴卡地亚登封面，四太送她定情珠宝！嫁给豪门也嫁给爱情

强化学习正成为这一轮智能跃迁的胜负手，所需要的算力规模显著增大，动辄千卡甚至万卡起步的体量，并不是每个机房都能塞得下的。

AI这边，从只会写文案的GPT-3.5，进化到能反证数学家几十年啃不动的猜想。

7、欧洲大学毕业生哪里好找工作：中东欧接近零失业，南欧依然艰难

但是由于人类具备空间常识和安全意识，即便出现地图偏差和定位漂移，也不影响正常使用，而机器人如果进入开放环境遇到这种问题，将对安全性造成巨大风险。

毕竟谁也不想等海报贴满了大街，才猛然发现角落里还躺着一个错字。

8、博兴：审管联动连出五证 城镇污水排入管网审批跑出“加速度”

这次 COSA 0.5 的发布抛出一个行业反共识：模型只是技能，系统才是大脑。

超维动力在做的，是全栈具身智能大模型公司，把本体、模型、数据和工程平台真正焊成一个闭环系统。

做加法，比一上来堆满再删容易。

9、世界杯临近总决赛，央媒亮樊振东“新身份”，刘国梁的话有人信了

他们不从「已知的攻击场景」出发，而是从计算机系统几十年沉淀下来的安全准则出发，为这类智能体设计了406道对抗性任务，并在3个真实平台、5个前沿大模型上完成了测试。

他的问法是：分别给我这两边最强的版本。

10、北马，依然是中国马拉松的那束光

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

物理AI不是一场表演赛，而是一场部署能力、数据积累和产品标准化的马拉松。

1、中国籍数学家首次获得菲尔兹奖！

与此同时，本体工程的反向赋能同样不可忽视。

2、男篮世预赛12人名单已清晰？8人铁定入选：曾凡博出局徐昕或落选

接下来，半导体制造设备与高端消费电子，成为了小象电动战略版图中最惊艳的一笔。

3、国字号内线在广东摆烂！杜锋拿他没办法，球迷：不想打可以走

真正教会模型探索、纠错、验证的，是大规模RL。中国男篮最新大名单公布，高诗岩成钉子户，赵睿周琦依旧被淘汰清程极智的核心团队孵化自清华大学计算机系高性能所，多年来一直负责国家级超算中心、智算中心的AI性能评测与验收。

4、夯爆了！王源深圳演唱会，六万人体育场座无虚席

这些框架在调用协议、上下文管理、控制流上差异极大，逼着模型把本事长在「解决任务」本身，换个框架也不至于水土不服。

5、深度｜股份行理财公司，站稳行业四强！国有行，何以换防逆袭？

在Anthropic对抗五角大楼的官司中，Jeff公开签署了一份文件声援Anthropic，打破了谷歌管理层的沉默。

6、谢幕？曝41岁C罗已决定从国家队退役：9月25日在生涯起点正式退出

灵犀专业版处理表格时，不是让大模型在黑盒里直接输出结果，而是调用WPS表格引擎里那些稳定、确定的API和计算逻辑，让你看到数据如何被处理、公式怎么算的、结论怎么来的。

从Tool到Agent，从Token到Task，从Programmer到OPC。

第四点，high和xhigh档上多智能体的调用比预期的多，auto-review那边也有浪费，都在修。

7、在东北最好的城市，这场马拉松挺匹配

Skill 则处在知识与行动之间。

从「API产品」到「可运维平台」，这是最后一块拼图。

8、棋圣聂卫平离世，与老同志交往的二三事

张益唐，因在孪生素数猜想上的突破性贡献而名震全球，但在此之前的几十年里，他的经历堪称学术界悲剧。

Seedance 2.0凭借字节系的生态优势在国内攻城略地，可灵以180亿美元估值从快手分拆独立融资，Sora则在今年初正式关停——AI视频，成为正在被资本和产业重新定价的AI原生赛道。

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

所以，在AI for Science这条赛道上，真正的壁垒是「模型懂不懂科学」。