1980年代，一个叫Graffiti的程序被设计来干一件事：批量自动生成数学猜想。

1、bob电子 摄影：梁宵 杜志兰：之前有同行问我，如何考核绩效。

权限如何按需授予？操作如何可全链路追溯？误操作如何挽回？用户隐私如何在跨应用调度中不泄露？ 目前全行业尚未形成统一的Agent安全治理标准。bob电子过去几年，行业讨论AI，关注点大量集中在模型参数、训练算力、芯片性能和应用入口上。

2、加速入场！9只ETF上市，个人投资者包揽近八成份额

今年走进WAIC主场馆，我们会发现图像、视频、语音、交互、具身等不同方向的模型几乎覆盖了所有热门赛道。

3、女篮热身赛：中国队74比76惜败澳洲 张子宇轰28分10板4帽杀疯了

并将"涌现式教育"（Emergent Education）确立为未来愿景、"认知共生"（Cognitive Symbiosis）确立为人机关系主张，为政策制定者、教育从业者、技术开发者与学术研究者提供下一代智能教育基础设施的理论锚点与落地指南。

4、女网红用胡萝卜啃出葛仙村：听说宣传片最高可获得100万奖励

报道还透露，小红书曾向股东预计，2025年利润约30亿美元（约合人民币202亿元）。

5、罗纳尔多：姆巴佩让我想到了巅峰的自己，他是我的接班人！

现场体验也围绕此展开。

InternBootcamp平台同时提供从数据沉淀、Reward 评估、模型评测到安全对齐的一体化支撑，以更低成本打造“更懂行业”的专域模型，为书生系列大模型后续生态应用创新按下加速键。

缺少这些能力，AI很难真正进入临床。

6、山下有松凭什么成为“现象级”？东方美学的更高境界，是扎根土地

发送端先理解视频，把场景、人物、物体结构和运动状态等关键信息编码成Token序列。

文｜《中国企业家》见习记者 施思羽 记者 王怡洁 编辑｜马吉英 图片来源｜视觉中国 5月28日，理想汽车交出了一份黯然失色的季度财报。

7、智能经济新形态“新”向何方——对话首都经济贸易大学副校长尹志超

MemSlides 用用户画像记忆来保存这类跨任务偏好。

景烁科技CEO霍达，文远知行001号员工，拥有12年行业经验，深耕大规模自动驾驶平台、AI数据基础设施建设，历任文远知行技术负责人、工程团队负责人等职务。

8、两将双响荷兰5-1大胜瑞典 世界杯争冠军团里不能没有荷兰

上层VLM负责规划任务，VLA和导航系统作为可以调用的工具。

文本世界对实时性要求不高，机器人却要跟上物理世界的时间尺度，决策慢一拍就可能错过抓取窗口。

大模型可以通过海量文本学习知识和语言规律，但机器人需要面对真实物理世界中的复杂变化。

9、上海未来浦西第一高楼，凭什么让人越看越上头？

这，便是商汤刚刚在WAIC 2026上最新发布的的新模型——日日新SenseNova U1 Pro。

信息少了，推理自然更快。

10、战报

量子位：紧贴应用场景能拿到数据飞轮，光做底层技能很容易陷入红海竞争。

7月13日晚，ICM 2026官网闹出一次事故。

1、嫡系四将离队获赞，功勋外教遭弃寒心，这波操作，看不懂也想不通

从柠季自身来看，也同样面临赛道单一、增长有限等多重挑战。

2、高视医疗预计上半年净利下滑超53%，CEO刘新伟去年薪酬117万元高于董事会主席

而分数流可以按1/3、2/5、1/3的比例同时用上这三条便宜路，成本只要58。

3、1夜8大转会！纽卡1进1出，尤尔曼德加盟马竞，国米签下新边卫！

结果模型没有在指定命名空间中找到它们，但它既没有停下来询问，也没有重新确认目标，直接自行挑选了另外三台虚拟机5、6、7作为替代品。藏了49年！郭达20次春晚屹立不倒，真正的王牌从不在舞台上目前，算电协同Agent已在商汤临港AIDC全面落地，实现单位电力成本Token产出提升80%、平均电费单价低于同地区IDC 10%、算力负荷预测准确率达到96%，全年预估可实现碳减排24000吨/每万P，推动AIDC从传统能源管理迈向系统级算效优化。

4、马刺94-82完胜爵士！榜眼秀尴尬，42号秀立大功，韩国天才22+5+2

商品做好了，业绩提升是早晚的事情。

5、中持股份(603903.SH)拟与关联方设立合资公司开展半导体设备业务_网易订阅

第三个就是AI应用的深化，一方面速度会越来越快，现在我们已经有了几个确定的方向，某些场景下的智能体应用也看到了效果，会加速推进；另外一方面，AI应用已经到了深水区，难度更大，投入也会进一步加大。

6、BI老兵，9年进正赛，打的竟是当年“吹牛”的剧本

基于 Agentic Cloud 的核心能力，PPIO 不仅助力多领域客户实现效率提升与成本优化，还将经充分检验的技术与产品能力延伸至全球，为中国 AI 的全球化发展提供底层支撑。

如果说FabriVLA解决的是「机器人能不能理解并完成任务」，那么FabriX解决的是「机器人能否进入工业现场持续工作」。

过去几年，公司快速成长，已服务超过200家重点客户，覆盖互联网大厂、头部大模型公司、航空航天、生物制药、新能源等行业，在并行优化、算力调度等业务上形成了深厚的技术护城河。

7、黄海会师！中国头号帮手就位，5国合堵日本，美国很识趣开始后撤

13万台机器人冲在各行业的一线，每一次运行，都在积累对于真实环境的理解。

生态共筑：联合近20家伙伴启动“银河计划”，端到端释放国产算力价值 为加速国产算力从单点技术突破走向产业体系化繁荣，商汤大装置致力于推动构建覆盖智算中心、国产芯片、AI基础设施、模型应用等的国产化全产业链生态，凝聚国产AI基础设施生态合力，打通从底层技术创新到产业规模商用的全链路能力。

8、南方40℃+，哈尔滨盖被睡丨“候鸟老人”扎堆北上冰城避暑，一天100元包吃住

结果，18种变11种，中文直接被砍了。

在法律Agent的测试榜单中，Grok 4.5甚至直接登顶！（Grok竟成最守法的那个？） 在经济领域也是遥遥领先。

再后来，碰上那种乍看挺聪明的论证，仔细一查往往还能找到先例。

前几天我跟彭总说，今年一季度比去年盈利要多一点，想给公司6000来号人（员工与厂商导购总数）每人发100块钱，他问“以什么名义”？我其实之前没想好，就说“因为我们搬办公室了”。