12月24日·斯坦福研究员Michael Kratsios出任白宫科技政策办公室主任

22 0 0

12月24日·周二 AI工具和资源推荐

AI智库导航-aiguide.cc为您提供最新的AI新闻资讯和最新的AI工具推荐，在[图片]这里你可以获得用于营销的AI聊天机器人、AI在商业管理中的应用、用于数据分析的AI工具、机器学习模型、面向企业的o g zAI解决方案、AI在商业客户服务中的应用、AI和自动化工具等。

斯坦福研究员Michael Kratsios出任白宫科技政策办公室主任

斯坦福大学人类中心人工智能研究院（Stanford HAI）的研究员Michael Kratsios被任命为白宫科技政策办公室主任及特朗普政府的总统科技助理。这一任命标志着美国在国家层面对科技政策发展的重视，特别是在人工智能领域。Kratsios曾牵头制定美国首个人工智能战略——AI计划，推动联邦AI和量子研究经费翻倍，并制定全球首个AI发展监管原则。他的任命预示着美国将继续在新兴技术领域保持领先地位。来源：微信公众号【新智元】

Video Ocean平台降低AI视频生成成本，开源方案助力

国产AI视频生成平台Video Ocean在全球热榜中位列第三，并宣布将视频生成模型开发成本降低50%。该平台支持多样化的视频生成方式，包括文生视频、图生视频和角色生视频。Video Ocean背后的AI大模型训练推理系统Colossal-AI，以其高效多维并行和异构内存技术，显著降低了AI大模型的开发与应用成本。此外，Colossal-AI在GitHub全球AI训推系统开源领域指标中位列世界第一，已获得近4万Stars。为了进一步推动社区发展，Video Ocean的模型构建和性能优化方案现已开源，开发者还可以免费获得500元GPU算力代金券。来源：微信公众号【新智元】

Meta、斯坦福等：AI的下一个前沿，正是陶哲轩说的形式化数学推理

Meta FAIR和斯坦福大学等机构的最新立场论文《Formal Mathematical Reasoning: A New Frontier in AI》探讨了AI在形式化数学推理领域的新进展。论文指出，AI在数学推理方面的能力正在提升，特别是在自动定理证明和形式化证明方面。研究者们提出了一个评估AI数学推理能力的分级框架，旨在界定AI在这一领域的进展。AI4Math的非形式化方法及其局限性被讨论，同时强调了形式化数学推理作为推进AI4Math的有希望的道路。论文还概述了数据和算法方面的挑战，以及未来进步的可能路线，预示着AI在形式化数学推理方面可能即将迎来重大突破。来源：微信公众号【机器之心】

上海交通大学研发AI智能体，实现自动化PPT制作

上海交通大学生成式人工智能实验室（GAIR Lab）的研究者们开发了一种名为PC Agent的AI智能体，它能够模拟人类用户执行复杂的电脑任务，如自动化制作PPT。这项技术通过认知迁移方法，高效收集人类认知轨迹，训练AI阅读电脑屏幕并精准操控键盘鼠标，执行跨软件的复杂任务。PC Agent的实现标志着AI在减轻人类工作负担方面迈出了重要一步，展示了AI在数字世界中的潜力和应用前景。研究团队还开源了相关代码，以促进社区对数字智能体的研究进展。来源：微信公众号【机器之心】

英特尔新款游戏显卡热销，AI玩家的新选择

英特尔最近发布的第二代Arc B580显卡因其高性价比而在市场上热销，售价仅为249美元，却能在2K画质下流畅运行3A游戏，并配备了12GB的VRAM和192bit显存位宽。这款显卡不仅吸引了游戏玩家，也引起了AI玩家的注意，因为它的大显存和较低的价格使其成为AI推理任务的一个有吸引力的选择。英特尔对数据中心使用其Arc系列显卡持开放态度，并提供了一系列开源工具以支持AI社区，包括加速库IPEX-LLM和低比特量化工具neural-compressor。此外，英特尔计划在2025年推出显存增至24G的Battlemage系列显卡，进一步扩大其在AI推理、渲染和视频编解码应用市场的份额。这一策略可能会成为英特尔在GPU市场上实现突破的关键。来源：微信公众号【量子位】