yiqicao.17c：从新加坡坐火车回成都，男子把这趟旅程分成10段

yiqicao.17c

【新智元导读】谷歌DeepMind的AI，终于拿下IMO金牌了！六个月前遗憾摘银，如今一举得金，SKEST新算法立大功。这不，它首破解了2009 IMO最难几何题，辅助作图的神来之笔解法让谷歌研究员当场震惊。，从新加坡坐火车回成都，男子把这趟旅程分成10段

任小刚致辞

积极推进“博物馆之城”建设，新增博物馆行业单位10家；持续推进博物馆进园区、进社区、进学校、进商圈、进企业的“五进”工程，开展不少于50场文博活动。

石俊祥主持会议

栗建锋报告

尤其值得一提的是2006年，他全年参赛97场，可谓劳模，输掉的五场比赛中有四场是拜纳达尔所赐，包括蒙卡、罗马和法网的一波决赛三连杀。比较而言，德约的88场也相当接近，而辛纳去年则只打了79场比赛。

齐佳昊作报告

GRPO 对内存需求较高的原因在于，其内部涉及多个模型，并且在训练数据中每个查询会产生多个输出。上图中的策略模型、参考模型和奖励模型各自都是一个需要进行推理的 LLM。（尽管从技术上讲，奖励模型可能不需要参数化，可以只是一个 Python 函数或正则表达式，但不影响 GRPO 对内存的高需求。）

邴光辉报告

用特朗普的话来说，对等关税意味着“如果他们向我们征税，我们也向他们征收同等数额的税”。同样，特朗普挑选的美国商务部部长卢特尼克(Howard Lutnick)在谈到对等关税时也表示，“你们如何对待我们，你们就应该受到怎样的对待”。

崔香芝作报告

据报道，小S通过经纪人回应称：“我姐姐的后事，包括包机等所有安排，都是由徐家人负责的。一切事情都是徐家人和我老公Mike在处理。现在为什么会出现是汪小菲包机的这个谎，我实在无法理解！人在做天在看，尤其我姐姐现在也在天上了，这种让人无法容忍的谎言还要继续出现吗？”

赵洪普作报告

目前尚不清楚USAID的未来命运。但美国国家广播公司（NBC）称，将USAID置于国务院，可以改变其运作方式，并可能在削减联邦官僚机构的行动中关闭它，十多个消息源证实了这一点。

张红伟作报告

种种证据证明，两人存在事实婚姻。这段三角关系真相究竟如何，只有当事人自己心里最清楚。但是刘俊涉嫌重婚罪，已是不争的事实。

彭海军报告

西班牙《机密报》6日评论称，可能的停火谈判正在让欧洲陷入分歧——一方面，英国首相斯塔默、法国总统马克龙正在考虑“部署大规模和平部队以确保停火协议有效实施”，意大利和北欧国家对此表示支持，西班牙首相桑切斯持开放态度。另一方面，英国《泰晤士报》称，德国、波兰以及波罗的海国家对上述提议表示担忧，认为可能会使与俄罗斯接壤的北约国家面临风险。

王平报告

在黄燕妮眼中，父亲“不会轻易流露感情却很重感情”。她记得多年前，母亲搭乘公共汽车时从车上被人撞下来伤势严重，医院下达病危通知书后，父亲赶到医院“很伤心地哭了”。

谁也不会想到，这样一部动画电影竟然成为了真正的“救市主”，但哪吒从来都是中国文化中的超级英雄！似乎这一切都是冥冥注定，救市的重任就落在了哪吒身上。

人形机器人公司对定制AI的青睐，为相关领域带来了巨大的商机。首先，AI技术供应商将迎来新的发展机遇。例如，RAI Institute通过与波士顿动力的合作，能够进一步拓展其在强化学习和Sim2Real(从模拟到现实)技术方面的研究。其次，硬件制造商也将受益。例如，NVIDIA通过与波士顿动力的合作，为其Spot机器人提供了基于Jetson AGX Orin的计算支持。此外，软件开发与服务提供商也将迎来新的业务增长点，特别是在AI算法优化、模型训练和部署等方面。根据TrendForce集邦咨询的最新研究，随着人形机器人迈向高度系统整合，前端的AI模型训练变得更为关键。预计到2028年，全球机器人大型语言模型(机器人LLM)市场将超越1000亿美元，且从2025年-2028年的年复合成长率将达48.2%。这一数据表明，随着人形机器人从工业场景向家庭生活等更广泛场景的拓展，AI模型训练和相关服务的需求将持续增长。 更多推荐：yiqicao.17c

来源：焦志刚