姚期智院士在2025全球开发者先锋大会暨国际具身智能技能大赛的致辞 大赛专家指导委员会主席由姚期智院士挂帅（图灵奖得主、中国科学院院士），首创「人工智能专家+具身智能专家+人类技能大师」三元评审体系，为GDPS赛事评审标准与技术方向把舵定调。

1、yobo体育 这也让行业形成一种普遍认知——既然模型能够看懂材料相关知识，完成原子搭建、结构调整这类实操任务理应顺理成章。

这评价分量不低，要知道立川裕二最近的兴趣就是「与超对称量子场论相关的几何与代数结构」。yobo体育贴脸开大。

2、惨遭小美国11分逆转！男篮争8战末节崩盘：U17中国队被打崩溃了

代码狂飙，安全是最可靠的底线 最后，要说明两点。

3、湖北襄阳高二男生校内跑步后猝死？假的！近期襄阳无此情况发生

他们为什么要把自己的模型免费塞给老师，这对教室里的老师和孩子们，到底意味着什么？ 老师的一周 是被什么吃掉的？ 一位美国K-12公立老师的一周要干多少活？平均49小时。

4、《2026年中国小微企业业财税智能化报告》解读

「书生·端砚」搭建的全流程科研资产结构化沉淀体系，可有效破解科研经验流失难题，重构科研长期迭代的底层逻辑。

5、厦门一男子支付少量定金向车行提3辆车，立刻抵押转卖用于还债和消费，致车行损失70万余元，被判刑！

全球化不是卖货 是一种综合能力 「全球化」不只是把产品卖到海外。

每年7月，世界人工智能大会（WAIC）在上海启幕，作为全球瞩目的产业创新窗口，它让成熟方案同台亮相，在此汇聚人工智能与具身智能的产业高度，凝聚方向共识。

本届国际赛事首次落地国合区，为海外参赛队伍打造「落地即参赛」全流程便利化安排：境外人员无需办理来华常规签证，凭有效国际旅行证件及邀请备案凭证即可入区，单次停留期限30天并可按规定申请延期；区内同步开放口岸签证办理服务，在联检大楼一站式完成国际航班值机、行李托运、安全查验、离境退税全链条业务；物资通关高效便捷，境外入区赛后复运出境的竞赛设备实行保税监管，同步配套算力对接。

6、天河上半年GDP领跑全市，“含新量”与“含金量”齐升

所以真正被改写的，从来不只是一本统计学教科书。

围绕这张表，研究团队给出了几条结论。

7、“没钱供我留学，为啥不早说！”211女生努力四年，被父母搞崩溃

乒乓球桌只是展台的一角。

但这里有个反转：调用走的是查看者本人的账号，不是你的。

8、广东省中学生锦标赛中职组八强揭晓

类似Roblox、Minecraft的「创造即游玩」体验，在AI时代可能会大量出现。

参考资料： https://x.com/elonmusk/status/2079758604656316619 https://x.com/heavypulp/status/2079629058287997221 https://www.mediaite.com/media/entertainment/elon-musk-teases-ai-generated-odyssey-to-take-down-chris-nolans-woke-blockbuster/ 编辑：所罗门新智元报道 2026年世界人工智能大会，上海世博展馆人声鼎沸。

它不必自己猜「差不多了吧」就过早停手，循环也能干净利落地收尾。

9、当机器人仅需2万元，生理需求全满足后，谁还愿委屈将就过日子？

这是用十年时间、27000套部署一个个磨出来的兼容性。

延迟这一关，它首创了PDD三级分离架构。

10、世界杯奖项汇总：西班牙获4大奖！罗德里获金球，19岁中卫获金童奖

模型更强了，同时也更会糊弄你。

Opus 5的答案，不在「更强」，而在「更便宜」。

1、清华、中关村学院团队如何构建能自主完成从代码到新SOTA闭环系统

某个假期他食物中毒，躺了五天，索性把整件事全交给「GPT医生」：每隔二十分钟汇报一次身体状况，凌晨四点醒来难受得不行，直接打字进去。

2、马卡：罗德里身家不菲，但生活低调务实

配合优化后的训练策略与数据配比，这些结构改进使得整体扩展效率相比 Kimi K2 提升约 2.5 倍，让模型能更高效地将算力转化为智能。

3、上海和WAIC，迈出“超前一步”

如今Bun的CLI月下载量，已强势突破1000万大关，甚至成为了CC底层的重度依赖。嫁香港顶流明星后，浙江超模36岁高龄产子，如今出门随身带俩保姆这听起来很灵活，但代价也很大：芯片在运行时必须做海量的实时决策，不停地搬运数据，反复查询该往哪走、该怎么算。

4、泰山战云南前瞻：伤病潮彻底击穿阵容底线，青年军迎来绝境大考_网易订阅

以万拿机器人参与「618」仓储分拣真实作业的实践为切入点，万拿机器人 CEO 程二亭、产品总监方知远与次元造物董事长龚海、极新科技 CEO 姜稳及《苏肆观澜》主编张程展开深入交流，共同探讨具身智能规模化落地的场景路径、核心部件的产业价值，以及行业未来能否诞生属于自己的「宁德时代」。

5、热议男篮国手前锋赵嘉义加盟北控！青岛总经理公开回应引关注

这就回到了小象电动的绝对主场。

6、黄仁勋：Prompt正在过时，Loop才是新范式

要用上这个功能，Claude Code得升到v2.1.209及以上，Pro、Max、Team、Enterprise都支持。

另外，在控制总数据量恒定的消融实验中，银河通用给出了一个让所有从业者振奋的结论—— 在相同的预算下，「100条机器人轨迹 + 100条廉价的人类视频」实现了74.1%的成功率，这与纯用「200条极其昂贵的机器人轨迹数据」（73.7%）性能完全持平！ 这意味着，人类视频可以1:1等效替代昂贵的机器人遥操数据。

5月19日上线的The Joe Rogan Experience第2501期，a16z联合创始人、网景浏览器之父Marc Andreessen聊到AGI，甩出一句： 我们大概在三个月前就跨过去了。

7、奇才92-88胜爵士！状元秀创纪录，榜眼秀24+3+3，浓眉帮手诞生

体系化的最大亮点之一，就在于「解耦」。

谷歌这种赶鸭子上架，败坏口碑的做法到底图什么？ 谷歌还能在AGI竞赛中有一席之地吗？ 参考资料： https://blog.google/innovation-and-ai/models-and-research/gemini-models/gemini-3-6-flash-3-5-flash-lite-3-5-flash-cyber/ https://x.com/Waguri_Kaoruko8/status/2079432904283754652 编辑：大卫新智元报道 一口气三连，谷歌这波是真的不装了。

8、帕尔马新援达法拉和隆塔尼出席新闻发布会

社区用户ns123abc用一段被称作「模型指纹」的隐藏提示词，读到了系统配置里那个数值：juice。

原因是，如果企业的业务知识仍然只存在于人的头脑中，如果工作方法没有被结构化，如果评价标准没有被显性定义，如果每次执行后的经验无法沉淀，那么企业只是拥有了一套计算基础设施，并没有拥有自己的认知系统。

曾经，循环双覆盖猜想由几位传奇数学家提出后，就像一座大山横亘在图论领域，让全球顶尖数学家望而却步。

真正的核心，变成停止条件设计、验证器（verifier）设计、token预算控制、多轮执行策略。