微软通过基于人工智能的内容管理工具重新推出Syntex

　　微软通过基于人工智能的内容管理工具重新推出 Syntex[1]
　　Microsoft logo | Martyn Williams/IDG | △图片来自网站[1]
　　微软定义了一种名为＂内容人工智能＂的新技术类别，重新推出了 Syntex，它配备了一套人工智能和低代码工具，用于自动化内容创建、索引和发现，这是应用程序使用 AI 来简化组织处理内容的方式。
　　微软称之为＂内容人工智能＂的新类别技术的一部分，微软 Syntex。在公司周三的 Ignite 会议上宣布，以前称为 SharePoint Syntex，使用人工智能自动读取、标记和索引大量内容，并将其连接到它所在的位置从 Microsoft 365（新更名为 Office 365）和 Azure 到 Power Platform 和 Microsoft Purview 的上下文和集成产品。
　　构成 Microsoft Syntex 的许多功能都使用低代码和无代码，使得几乎没有编码经验的用户能够充分利用 Microsoft Syntex。
　　Microsoft Syntex 现已推出，包括文档处理、注释、内容组装、内容查询、加速器等。更多服务将于今年晚些时候公开预览，其余服务将在 2023 年推出。
　　微软还将为 Syntex 引入消费业务模型，允许客户扩展服务系列以最好地满足他们的需求。  训练速度提高最多 5.4 倍，谷歌提出 RL 训练新范式「ActorQ」[2]
　　近日，谷歌的研究者在《Transactions of Machine Learning Research》期刊上发表了《QuaRL：快速和环境可持续强化学习的量化》，介绍了一种称为「ActorQ」的新范式。该范式使用了量化，在保持性能的同时，将强化学习训练速度提高 1.5-5.4 倍。作者证明，与全精度训练相比，碳足迹也减少了 1.9-3.8 倍。
　　在 ActorQ 中，作者使用了 ACME 分布式强化学习框架。量化模块执行统一量化，将 FP32 转换为 int8。actor 使用优化的 int8 计算进行推理。
　　作者在一系列环境中评估 ActorQ，包括 Deepmind Control Suite 和 OpenAI Gym。作者演示了 D4PG 和 DQN 的加速和性能改进。选择 D4PG 是因为它是用于 Deepmind Control Suite 任务的 ACME 中最好的学习算法，而 DQN 是一种广泛使用的标准强化学习算法。
　　使用 ActorQ 在强化学习中应用量化可以在不影响性能的情况下缩短训练时间。更有效地使用硬件，并减少了碳足迹。作者通过在训练时使用 FP32 的碳排放量与在训练时采用 int8 的排放量之比来衡量碳足迹的改善。
　　ActorQ 证明量化可以有效地应用于强化学习的许多方面，从获得高质量和高效的量化策略到减少训练时间和碳排放。随着强化学习在解决现实问题方面继续取得长足进步，我们有理由相信，使强化学习训练实现可持续发展将是关键。当将强化学习扩展到数千个 CPU 和 GPU 时，即使 50% 的改进也会在成本、能源和碳排放方面显著降低。作者的工作是将量化应用于强化学习训练以实现高效和环境可持续训练的第一步。
　　作者在 ActorQ 中的量化设计基于简单的均匀量化，但实际可以应用其他形式的量化、压缩和稀疏性（如蒸馏、稀疏化等）。未来的工作将考虑应用更积极的量化和压缩方法，这可能会为强化学习在训练性能和精度的权衡上带来更多的好处。  网传张益唐宣称解决黎曼猜想相关朗道-西格尔零点猜想，论文将在 11 月公布[3]
　　张益唐 | △图片来自网站[3]
　　消息称，张益唐在北京大学纽约地区校友会上表示他做完了朗道 - 西格尔（Landau-Siegel）猜想，即零点猜想，而后有相关北大校友群微信截图广泛传播。
　　根据这条爆料消息来看，相关文章将会在 11 月初发到预印本网站，有一百多页。
　　微博博主＂物理芝士数学酱＂认为，如果张益唐所证明的是朗道-西格尔零点存在，那么黎曼猜想就可以死了：张益唐直接就是前后 50 年里最伟大的数学家，没有之一。但与此同时，他认为＂这就过于骇人听闻＂，因此他更倾向于认为张益唐所证明的，是朗道-西格尔零点不存在——＂这也是更令人信服的结论＂。[4]  让机器狗当守门员，这靠谱吗[5]
　　机器狗守门 | △图片来源网站[5]
　　这款机器狗是 MIT 在 2019 年研发的 Mini Cheetah，现在来自加州大学伯克利分校等机构的研究者为 Mini Cheetah 部署了一个新的强化学习框架，让它完成足球守门任务，守门成功率高达 87.5%。
　　英超联赛中最好的职业足球守门员能守住大约 80% 的射门。这是非常好的，但它远不及 9 公斤重的四足机器人可以阻挡87.5% 的射门。在它的小目标中，与小孩子的小射门相比，Mini Cheetah 被证明是一名出色的守门员。
　　机器狗守门是一个具有挑战性的问题，因为它涉及球的高速移动，包括高度和速度，特别是，在除球门之外的任何方向上飞来的球。想要守住球门，就要教机器人快速移动它的身体，同时又要确保它的脚（或脸）最终到达他们需要及时阻挡球的地方，这基本上是将两个问题结合在一起。
　　诀窍是将正确的运动控制器与末端执行器轨迹规划器相结合，这样可以找到让 Mini Cheetah 守球的最佳方法，所有这些动作都在不到一秒钟的时间内完成。
　　这些动作需要机器狗掌握一套切实可用的守门员技巧，它的每个动作都需要手动编程，并且在训练之后转移到机器人上。拦截球涉及系统选择哪种技能将使机器人的一部分以最稳定和最节能的方式接住球。
　　论文地址：https://arxiv.org/pdf/2210.04435.pdf  往期推荐：高通 - 骁龙人工智能之旅美国霸权下的国内「存算一体芯片」的未来NumberOne AI 以改变孵化器游戏的使命启动参考资料
　　[1]微软通过广泛的基于人工智能的内容管理工具重新推出 Syntex:  https://www.computerworld.com/article/3676509/microsoft-relaunches-syntex-with-broad-set-of-ai-based-content-management-tools.html
　　[2]训练速度提高最多 5.4 倍，谷歌提出 RL 训练新范式「ActorQ」:  https://www.jiqizhixin.com/articles/2022-10-14-2
　　[3]网传张益唐宣称解决黎曼猜想相关朗道-西格尔零点猜想，论文 11 月将公布:  https://www.jiqizhixin.com/articles/2022-10-16
　　[4]微博博主＂物理芝士数学酱＂认为，如果张益唐所证明的是朗道-西格尔零点存在，那么黎曼猜想就可以死了：张益唐直接就是前后 50 年里最伟大的数学家，没有之一。但与此同时，他认为＂这就过于骇人听闻＂，因此他更倾向于认为张益唐所证明的，是朗道-西格尔零点不存在——＂这也是更令人信服的结论＂。:  https://baijiahao.baidu.com/s?id=1746846711594125094&wfr=spider&for=pc
　　[5]让机器狗当守门员，这靠谱吗:  https://spectrum.ieee.org/football-robot-mini-cheetah
　　编者按：文章内容来自网络，只做知识分享不做商业用途，如无意侵犯某方知识产权，请联系我们删除。