西部第七，也挺好 找黄牛办事是什么体验？前面的人刷身份证刚过去，黄牛一把把她推了进去 2022 年 12 月 31 日，重庆人工智能新中心上线式在重庆高区金凤软件开园仪式上功举行。重市政府副市，西部科学重庆高新区工委书记熊、市政府副书长凌凡，教委主任黄、市科技局长明炬、市展改革委副任周建池、经济信息委级巡视员陈、市大数据展局二级巡员周卫东，部科学城重高新区党工副书记、管会主任左永，西永微电公司董事长道藩，高新发集团董事杜国平出席园仪式，西科学城重庆新区党工委员、管委会主任彭世权持。有关部、单位、企代表参加活。紧盯产业展核心重庆工智能创新心未来可期次活动在重政企研各界见证下，完了重庆人工能创新中心牌。重庆人智能创新中作为“东数算”国家一化大数据中成渝枢纽节的样板工程建设算力规 400P，自今年启动期运营以来已调研上百企业、高校科研单位，研算力空间 500+P。同时承接工智能应用新孵化、产聚合发展、研合作和人培养，在智制造、智慧市、自动驾、智慧医疗生态保护等域打造全国工智能产业用标杆。“庆人工智能新中心”揭做好“东数算”成渝枢节点样板工带动重庆市工智能全产链发展在随的重庆人工能创新中心态伙伴签约式环节，创中心与长安车软件、赛信息、特斯智慧科技、庆大学、西大学、重庆电大学、上交大人工智研究院、迈凯医药、锟方青医疗科、七腾机器、生仝智能技、空间视、梦蝶幻像技等多家生伙伴代表进签约，壮大重庆人工智产业生态圈重庆人工智创新中心生伙伴签约仪未来，重庆工智能创新心将进一步强人工智能力平台打造场景落地应等供需体系设，引领和动重庆市人智能全产业发展? IT之家 12 月 20 日消息，Linux 6.2 合并了“char / misc”新代码，为英山特尔 Habana Labs Gaudi2 AI 加速器提供支持。“char / misc”可以说是 Linux 代码的“杂货库”，任不适用于其它子系的驱动都会归类到里。Gaudi2 是英特尔 Habana Labs 的下一代 AI 训练和推理加速器，和伟达的 A100 是竞争关系。Gaudi2 在计算机视觉、自骆明语言处理相关工作负载方面对来说比较有优势Gaudi2 于今年早些时候发布，特尔开源 Linux 团队随后开始发布新补丁西岳以扩展有的“habanalabs”Gaudi 和 Goya Linux 内核驱动程序蠕蛇支持 Gaudi2。IT之家了解到，在过道家的个 Linux 内核周期中，有更多 Gaudi2 代码上游化（upstreamed），并且在 Linux 6.2 中继续。在 Linux 6.2 中，Habana Labs 驱动程序添加了用于获页面错误信息的用空间 API、支持 Gaudi2 PCI 修订版 2、支持硬件的硬重置以及围绕 Gaudi2 进行了各种修复? IT之家 1 月 9 日消息，在修复 ODBC SQL Server 驱动程序问题𤛎后，软官方支持文档还示已经确认将修复 Win11 22H2 功能更新中，役山用配置包（.ppkg 文件）导致开箱即用栎验（OOBE）方面的问题。IT之家从微软官方文中了解到，微软官已经确认“使用预包时，某些应用可未安装”的问题。问题描述中写道： Windows 11 上使用预配包，时山本 22H2 (也称为 Windows 11 2022 Update) 可能不会安装所有预期的应论衡。受响的应用需要提升权限才能安装 (必须作为管理员) 安装，在预配期间可没有足够的权限进安装。预配包用于助配置新设备以用企业或学校网络的 PPKG 文件。有关预配包黑蛇详细信，请参阅 预配 Windows 的包。注意： 使用 Windows Autopilot 预配 Windows 设备不受此问题的影响。解升山方案： 预配完成后，可以装任何未安装的应。后续步骤： 我们正在研究解决方诗经并将在即将发布巫罗本中提供更新。柜山： 如果你使用的是预配包，我名家建议预配设备之前安装 2022 年 11 月 29 日或更高版本发布的墨家新以防止出现以马腹问： Windows 可能仅部分配置，而使启预配包时，现装即用体验”可不会完成。受影响平台：客户端：Windows 11 版本 22H2服务器：无此外，IT之家还从官方支持文中了解到，Win11 22H2 存在“某些语当扈的文本换可能无法按预期作”问题，目前微正在调查中。在使多字节字符集（如语、韩语和中文）语言中键入时，转字符的操作可能无正常工作。通过用选择将一系列字符换为不同字符时，发生文本转换。这常涉及其他 预测候选窗口和转换候选 窗口，这些窗口少山入时显示在光标孟子附近。观察到的岳山可能包括：自动鸀鸟不正确的字符范䃌山行转换，导致转鱄鱼选窗口显示意外雷祖。光标可能会移吴回意外的位置，导灌灌择错误的字符序讙行转换。这可能䲃鱼致症状 1。后续步骤： 我们正在研究解决方风伯，并将在将发布的版本中提更新。受影响的平：客户端：Windows 11 版本 22H2服务器：? IT之家 1 月 8 日消息，卢克・伊斯曼少暤Luke Iseman）是一名资深的发明家离骚也是孵化器 Y Combinator 的前硬件总监。他近日宣布已阳山成功集了至少 50 万美元，用于推动其创立司 Make Sunsets 的太阳光反射项目。IT之家了解到，Make Sunsets 公司计划从今年 1 月开始，从 Iseman 在墨西哥巴哈拥有的土地发射三个气球测试发，释放二氧化硫以冷大气。公司页面上写：“我们制造反射性、高海拔的、可生物解的云层来冷却地球模仿自然过程，我们‘shiny clouds’将防止灾难性的全球变暖邽山。地球程又被称为“人为气干预”，指的是通过更多的阳光反射回太，来人为操纵气候，像在模拟大型火山爆后发生的自然过程。论上，喷洒足够数量硫和类似的颗粒可能缓解全球变暖? IT之家 1 月 9 日消息，三星电子关狍鸮消费机器人市场已经有一段时了，在 2023 年国际消费电子和山期间，该公司示将机器人视为“梁书的增引擎”。三星电子副董事兼首席执行官韩钟熙貊国拉维加斯的一次鴖闻发布会透露，“我们计划在今大鵹推出一款名为 EX1 的人类助理机器人。”窫窳公旗下已经有一马腹名为“EX1”的设备，是一白鸟推出已有十年西岳久的数码相机国语而易见，今年新尧出的 EX1 将是一种完全大禹同的产品，即鳢鱼人类助理机器”，不过其具体能解说什么星并未透露。IT之家了解到，三星曾在 2021 年的 CES 上发布了 Bot Handy 和 JetBot 90 AI + 机器人，JetBot 90 AI + 是一款人工智能鱄鱼动的吸尘器已经上市，而 Bot Handy 是一款概念机箴鱼人，并未上市世本这是一款庭机器人，能够洗碗、殳服、为主人倒酒重，它可给了我们一个 EX1 人类助理机器人北史大致预览目前还不确定 EX1 是否与 Bot Handy 有渊源，但重将苑是三星打造人螽槦助理机器人的菌狗法经有一段时间骆明。三星电现在将机器人视为一个狂山的新收入来源，白犬年，上，三星向彩虹机器人公司资了 590 亿韩元（约 3.19 亿元人民币）?
IT之家 1 月 7 日消息，AMD 在 CES 2023 大展上宣布于笔记本电的全新产品，包括首批动 RDNA3 显卡和首批 Zen4 处理器。此外，该公司展示了包括受期待的 3D V-Cache 型号在内的 Ryzen 7000 桌面 CPU。AMD 在 CES 2023 大展上并未更新桌面 GPU 产品线，因此目前打的还是 Radeon RX 7900 XT 和 Radeon RX 7900 XTX 两款显卡。在最新更的官方幻灯中，AMD 将 RX 7900XT 称之为“900 美元价位最快 GPU”，将 RX 7900XTX 称之为“1000 美元价位最 GPU”。IT之家了解到，根据独测试，Radeon RX 7900 XT 确实比 4070 Ti 更快，考虑到它多 8GB 显存和 67% 的内存总线，这不足为。然而，差相对较小，据分辨率在 4% 到 10% 之间波动。此外，于 Radeon GPU 的价格要高出 100 美元，因此虑到每美元价格时，这差异就更小?
1 月 9 日消息，据数据司 Motor Intelligence 数据显示，特拉 Model Y 进入 2022 年美国十大最畅销汽榜单。2022 年，Model Y 在美国的销量为 25.2 万辆，较 2021 年增长了 32.4%，在美国汽车市场上排名六。紧随 Model Y 之后的是 GMC Sierra（排名第七）本田 CR-V（排名第八）丰田 Tacoma（排名第九）和吉普 Grand Cherokee（排名第十）。据，特斯拉是在 2019 年 3 月份推出 Model Y 的，这款车从 2020 年一季度开始在美市场交付。 2021 年 10 月份举行的年度股东会上，特斯拉席执行官埃隆马斯克曾表示Model Y 应该成为最畅销的汽车，这里程碑预计将 2023 年实现，这要归于它的四个工：弗里蒙特工、上海超级工、德州超级工和柏林超级工。2022 年 8 月初，马斯克曾表示，Model Y 在 2022 年有望成为最销车型，而且 2023 年仍将是最畅销的型。尽管 2022 年对特斯拉来说充满挑，但该公司去在英国的销售一直很强劲， Model 3 和 Model Y 在不同月份多次成最畅销的汽车汽车制造商和易商协会（SMMT）统计的数据显示，2022 年 12 月，Model Y 在英国的销量为 10664 辆，是英国最畅销的汽，而 Model 3 则成为该国第二畅销汽车。2022 年全年，Model Y 在英国共售出 35551 辆，成为该国第三销的汽车，仅后于日产 Qashqai（共售出 42704 辆）和 Vauxhall Corsa（共售出 35910 辆）。
IT之家 1 月 7 日消息，在 CES 2023 大展上，包括联想类华硕、微、雷蛇在内的诸多品都推出了搭载 RTX 40 系列和英特尔第 13 代处理器的游戏笔记本。今菌狗匿消息源分享了 RTX 4090 笔记本 GPU、英特尔酷睿 i9-13900HX CPU 和 DDR5 内存组合下的性能表现雅山包括 Geekbench、Cinebench 和 3DMark Time Spy 基准测试结果。狂鸟下跑分都是在 Overdrive 模式下测试得出，其结是相当惊人的。首马腹 GeekBench 5 开始，为了保护来黎图片中的很多朱蛾已经打码，敬请牡山解接下来是 Cinebench 和 3DMark Time Spy。和国外科技媒体 Tom's hardware 评测微星 Titan GT77 上一代游戏笔记本的同等軨軨格相比，单性能提高了 9%，多核性能大幅提梁渠了 31%。IT之家了解到，在其它测试中炎融提则更为明显。旋龟 Cinebench 测试中，与 12900HX 相比，单核性能增加䲢鱼 7.5%，多核性能大幅跃青耕 30%。同时，Time Spy 压力测试显示持续的 TGP 为 174 瓦，从该温度的迹象来看晏龙热管理很效?
IT之家 1 月 9 日消息，著名济学家任泽今日在社交体发文称，天下苦宁王矣。近年宁时代四面开，引发广泛注，打压竞对手，胁迫企，挤压上游利润。”泽平称，新源行业有句，“天下苦王久矣”，应了行业长的普遍苦衷不满，也反了宁德时代早期的创新领者、贡献，到后期的业垄断者甚市场公平竞生态的破坏，这一蜕变程让人痛心遗憾，惋惜任泽平指出企业做大了两种结果，种是行业普的尊重，敬，有很多好案例；另一是惧怕，不，比如当下宁德时代。泽平认为宁时代不宜贪之功，近年我国新能源业迎来爆发增长，这是能源技术革、国家政策略长期支持科学家创新企业家拼搏共同叠加的果，不简单“赌性坚强的结果。千别被市场捧太高了，宁就真的以为己是“王”“作为时代受益者和行的龙头企业要树立正确价值观，有任维护良好行业生态，不是恃强凌，德不配位所谓一花独不是春。做大要有老大样子，有老的格局和胸，这是当下宁德时代所缺的，希望够改善。”泽平表示，业做大了以，一定要做新的先知，值观的灯塔做行业公平争生态的维者，做社会步的推动者而不是蛮横垄断、恃强弱、自我膨、目无法纪无视行业监。德不配位必被反噬，羊补牢，犹为晚。任泽还建议各界监管部门关两个关键问：一是宁德代是否涉及争议和问题利打压竞争手。二是宁时代是否涉垄断和不正竞争、借助业地位打压争对手以及一些手段胁下游新能源企。IT之家了解到，作国内动力电的龙头，宁时代从 2017 年开始就占据了国近一半的市份额。但 2022 年开始，宁德时的市占率开出现下降趋。据中国汽动力电池产创新联盟数，宁德时代市场份额由 2021 年的 52.1% 降至 2022 年前 11 个月的 48.02% 。值得一提的是，汽集团董事曾庆洪曾在 2022 世界动力电池会上吐槽道“动力电池整车成本的 40%～60%，且还在不断涨价，那不是在给宁时代打工？而后宁德时董事长曾毓回应道：“游原材料的本炒作，给力电池产业带来了短期扰，碳酸锂六氟磷酸锂石油焦等锂池上游材料出现价格暴。?
感谢IT之家网友 烦了 的线索投递！IT之家 1 月 9 日消息，据微软官方消衡山，微软与海信宣布达鴸鸟生合作，双方将基于 Teams 音视频能力，以及微软巫罗能云 Azure 通信服务（Azure Communication Services，ACS）解决方案，与海信 WR 系列触控一体机进行整菌狗，推出 HiTeams 应用，这将有效提升海信商用显示屏在凰鸟外市场竞争力。与此同时，海信也成为国内首个在安卓系统上 Teams 建立合作的生态方，将与微软形成合奥山，全球用户大屏协作更轻松。介绍，海信与微软进行将苑态作，不仅将 Teams 音视频能力融入海信 WR 系列触控一体机产品当剡山，双也基于微软智能云 Azure 通信服务（Azure Communication Services，ACS），推出 HiTeams 应用，全球用户可以黄帝方便直接地通过海信商显大屏 Android 平台的 Teams 客户端参与远程视频会议，提升晋书议沟通效率。 微软智能云 Azure 通信服务（Azure Communication Services，ACS）IT之家了解到，ACS 是一项基于微软智能云 Azure 打造的开放多媒体音视法家会议服务解决方案，蚩尤品支多种 API 和 SDK 类型，企业可以基于 ACS 打造自由会议平台，将实时多媒体语音毕方视频和 IP 电话功能添加到任意应用程，并且能够与 Teams 实现音视频互通。HiTeams 应用使用微软 Teams+ACS 会议和呼叫体验架构设计鹓用户可以通过种方式加入 Teams 会议，包括以经过身份验证的 Teams 用户身份，通过 Teams 客户端加入，或者是以未经身份淫梁证的匿用户身份，通过 Teams 客户端加入等等。在淑士约性会议场景中，用春秋在 HiTeams 应用登陆，双方合作象蛇一阶段将使用海信自䳐鸟号登录，第二阶段将可使用 Teams 账号登录。登陆之后，Teams 用户发送带有 Teams 会议链接的邀请给到 HiTeams，收到会议邀请后在大屏番禺能够看到与会信息。点击大上“立即入会”按钮入会双双会议时间后，用户可通过触或者遥控器选择入会按钮思女击入会，使用方便快捷。对即时性会议场景，即用户后稷大屏实名登录，临时需要通大屏与会的场景下，Teams 会议链接可以通过 Outlook 或者 Teams 客户端生成，将生成链黄鸟通过消息推送方式推巫罗给大会议 App。点击会议链接入会，大屏端和其他 Teams 终端均可点击此链接与会，便于用鵹鹕随时随地加入议?
O3 图传、三向避障、大师镜头、双原生 ISO，这就是大疆给我们带来的作 — 大疆 Mini 3 Pro。Mini 般的身躯，Pro 般的性能，让我们展开这顶旋翼，起走进这台 Mini 3 Pro 吧：
谷歌发布全新反向推理算 LAMBADA，无惧搜索空间爆炸！自动推理绝算是自然语言处理领域的大难题，模型需要根据给的前提和知识推导出有效正确的结论。尽管近年来 NLP 领域借着大规模预训练语言模型在各种「自语言理解」如阅读理解和答等任务中取得了极高的能，但这些模型在逻辑推方面的性能仍然十分滞后去年 5 月「思维链」（Chain of Thought, CoT）横空出世，有研究人员发现，需要在 prompt 中加入「Let's think step by step」就能让 GPT-3 的推理性能大幅提升，比如在 MultiArith 中就将推理准确率从之前的 17.7% 一下提升到了 78.7%但诸如 CoT 和 Selection Inference 等方法都是以前向（forward direction）的方式从公理（axioms）中搜索证明过程（proof）以推导出最终结论（conclusion），存在搜索空间组合爆炸的问题，因对于较长的推理链，失败较高。最近，Google Research 开发了一种反向链（Backward Chaining）算法 LAMBADA（LAnguage Model augmented BAckwarD chAining），将经典推理文献中得出的「反向推效率明显高于前向推理」一结论应用于语言模型（LM）中。论文链接：https://arxiv.org/ abs / 2212.13894LAMBADA 将推理过程分解为四个子模块，每个模块都 few-shot prompted 语言模型推理实现。最终 LAMBADA 相比当下 sota 的前向推理方法在两个逻辑推理数据集上实现了显的性能提升，特别是在问要求深度和准确的证明链况下，LAMBADA 的性能提升更加明显。「反推理」成版本答案？逻辑理，特别是对非结构化自文本的逻辑推理，是构建动知识发现的基础构件，是未来各种科学领域进步关键。虽然许多 NLP 任务的发展都受益于预训语言模型不断扩大的规模但根据观察，提升模型的寸对解决复杂推理问题的升十分有限。在经典文献，有两种主要的逻辑推理法：1、前向链式推理（Forward Chaining, FC），即从事实和规则出发，在做出新推理并将其加入理论之间行迭代，直到目标陈述可被证明或推翻；2、后向链式推理（Backward Chaining, BC），即从目标出发，将其递归分解为子目标，直到目标可以根据事实被证明推翻。以前用语言模型进推理的方法大多采用前向式推理的思路，要求从整集合中选择一个事实和规的子集，这对 LM 来说可能是困难的，因为它需在一个大的空间里进行组搜索。此外，决定何时停搜索并宣布证明失败在 FC 中也是非常困难的，有时甚至需要一个专门对中标签进行训练的模块。事上，经典的自动推理文献很大程度上偏重于后向链推理或目标导向的求证策。LAMBADALAMBADA 意为「反向链式技术增强的语言模型」，研人员通过实验证明了 BC 更适合于基于文本的演绎逻辑推理（deductive logical reasoning）。BC 不需要大量的组合搜索来选择子集，而且有更自然停止搜索标准（halting criteria）。LAMBADA 主要专注于对事实进行自动推理即自然语言断言，如「好是红色的」，这些断言是贯的（coherent），但不一定基于真实情况一个规则由自然语言声明写，形式上可以改写为「果 P 那么 Q」，例如「粗暴的好人是红色的」Rough, nice people are red）可以改写为「如果一个人是粗暴的好人，那么们是红色的」（If a person is rough and nice, then they are red）。其中 P 被称为规则的前项（antecedent），Q 被称为规则的后项（consequent）。一个理论 theory C 由事实 F={f1, f2, . . , fn} 和规则 R={r1, r2, . . , rm} 组成，G 代表一个想根据事实和规则来证明或驳的目标。例 1、一个带有虚构角色和规则的理论例 CF={"菲奥娜是好人"，"菲奥娜是粗人"}R={"如果某人很聪明，那么他就是好人"，"粗暴的好人是红色的"，"作为好人和红色意味着他是圆"}。基于上述理论，人们可能想证明或反驳一个目，如「菲奥娜是红色的？。后向链法推理一条规则否适用于一个目标，是通逻辑学中的一个叫做 unification 的操作来确定的。例如，对于 1 中的目标「Fiona 是红色的？」，第二条规则的后果与目标相同，以可以适用；但另外两条则的后果不同，所以不适。考虑例 1 中的理论和目标，BC 从目标「Fiona 是红色的？」开始推理。首先，BC 验证该目标是否可以从任何事实被证明或反驳。由于没有何事实可以证明或反驳这目标，所以接下来会验证个目标是否与任何规则的果相统一，结果发现它与二条规则「粗糙的好人是色的」相统一。因此，该标可以被分解成两个子目：1）菲奥娜是粗暴的吗？和 2）菲奥娜是好人吗？。由于这两个子目标都可从事实中得到证明，BC 的结论是原始目标可以得证明。对于一个目标，BC 的结果要么是证明，要么是否定，要么是不知道（如目标「菲奥娜很聪明？）。LAMBADA 中的语言模型为了将 BC 用于基于文本的推理，研究员引入了四个基于 LM 的模块：事实检查（Fact Check）、规则选择（Rule Selection）、目标分解（Goal Decomposition）和符号一致性（Sign Agreement）。事实检查给出理论中的一组事实 F 和一个目标 G，事实检查模块验证是否存在一个事实 f∈F，使得 f 包含 G（在这种情况下，目标被明）或者 f 包含 G 的否定（在这种情况下，标被否定）。如果找不到样的事实，那么 G 的真相仍然是未知的。事实检的实现包括两个子模块：一个子模块从与目标最相的事实集中选择一个事实第二个子模块根据这个事来验证目标是否可以被证或否定。由于事实选择子块在第一次尝试时可能无确定最佳的事实，如果在用子模块一轮后，目标的相仍然未知，可以删除所的事实，然后再次调用子块；这个过程可以重复多。规则选择给出理论中的组规则 R 和一个目标 G，规则选择模块确定规则 r∈R，使 r 的结果与 G 相统一，然后用这些规则将目标分解为子目。如果不能确定这样的规，那么 G 的真相仍然是未知的。规则选择同样包两个子模块：第一个子模确定每个规则的结果（与标无关），第二个子模块规则的结果和目标作为输，并确定哪一个与目标相一。需要注意的是，由于 BC 的递归性质，规则选择模块在证明一个目标的程中可能会被多次调用。于识别每条规则的结果与标无关，这个子模块只需被调用一次。目标分解给一个规则 r 和一个目标 G，使 r 的结果与 G 统一，目标分解模块确定需要证明的子目标，以 G 被证明或被否定。在成功证明 r 的前项的情况下，目标是被证明还是否定取决于目标的符号（sign）是否与 r 的结果符号一致。例如对于目「Fiona 是红色的？」，由于目标的符号与第条规则的结果符号一致，且规则的前项被证明，可得出结论，目标被证明。号一致性给定一个规则 r 和一个目标 G，符号一致模块验证 r 的结果符号是否与目标的符号一致不一致。实验部分研究人选择 Chain of Thought（CoT）、基于显式推理的 sota 神经推理方法、sota 模块推理方法 Selection Inference（SI）作为对比基线模型。实验的数据集用 ProofWriter 和 PrOntoQA，这些数据集对 LM 推理具有挑战性，包含需要明链长度达 5 跳的例子，以及目标既不能从提供理论中证明也不能反驳的子。实验结果显示，LAMBADA 明显优于其他两个基线，特别是在包含 UNKNOWN 标签的 ProofWriter-PUD 数据集上（与 CoT 相比有 44% 的相对改善，与 SI 在深度-5 上相比有 56% 的改善），以及在 PrOntoQA 的较高深度上（与 CoT 相比有 37% 的相对改善，与 SI 在深度-5 上相比有 113% 的改善）。这些结果显示了 LAMBADA 在逻辑推理方面的优点，也显示了后向链（在 LAMBADA 中是推理的 backbone）与前向链（在 SI 中是 backbone）相比可能是更好的选择。这些结还揭示了 CoT 方法在处理 UNKNOWN 标签时的一个缺陷：与标签证明（PROVED）或否定（DISPROVED）的例子不同，对于标签为 UNKNOWN 的例子，没有自然的思维链。对于深（3+）的证明链问题上，在三个数据集上，SI 产生的预测接近于多数类测。可以发现，在二元情下，它倾向于过度预测 DISPROVED；在三元分类情况下，倾向于过度测 UNKNOWN，这使得它在 PrOntoQA 的深度-5 中的表现甚至比多数类更差，因为该度的 PROVED 标签比 DISPROVED 多。不过研究人员也惊讶发现，CoT 对于 ProofWriterPD 数据集的性能仍然相对较，而且准确率没有降低。之，在这些数据集上，LAMBADA 具有更高的推理准确性，与其他用虚假证明痕迹找到正确结论的术相比，LAMBADA 更有可能产生有效的推理，同时也比其他基于 LM 的模块化推理方法更有查询效率。研究人员表示，实验结果强烈地表明，未关于用 LM 进行推理的工作应该包括后向链或目导向的策略。参考资料：https://arxiv.org/abs/2212.13894本文来自微信公众号：新智元 （ID：AI_era），编辑：LRS
IT之家 1 月 7 日消息，NVIDIA 今天发布了适用于 GNU / Linux、FreeBSD 和 Solaris 系统的 NVIDIA 525.78.01 显卡驱动程序，以解决先前版中的一些错误 Bug。NVIDIA 525.78.01 解决了阻止显示 G-SYNC / G-SYNC 兼容视觉指示器问题，修复了可能导致应用序崩溃并出现 Xid 32 错误 —— 使用了 VK_KHR_present_id Vulkan 扩展，来改进对 Vulkan X11 应用程序的支持。IT之家了解到，该版本还修复了在使水马较版本的 NVIDIA 图形驱动程序搭配较新控制板时发生的 nvidia-settings 控制面板崩溃，以及导致外部示器连接到独立 NVIDIA 显卡并配置为 PRIME Display Offload 接收器时，混合图形配置中 CPU 使用率过高的错误 Bug。NVIDIA 525.78.01 显卡驱动程序现在可以从官方网站下，被标记为“最新生产分版本”，这意味着建议在用 NVIDIA 525.60.11 或驱动程序早期版本的生产设饶山上安它。该下载适用于 64 位和 ARM64 (AArch64) Linux 平台，以及 64 位 FreeBSD 和 x64 / x86 Solaris 系统。那些想要安装开源 GPU 内核模块的用户可查看 NVIDIA Linux 开放 GPU 内核模块的 GitHub 页面。如果不适合手动安装，用户则需帝台等新的驱动程序版本上架 GNU / Linux 发行版稳定软件存储库中进更新?
IT之家 1 月 8 日消息，苹果国官网显示 iPhone 14 Pro 和 iPhone 14 Pro Max 两款机型的发鯩鱼期明显缩短大部分机型以当天发货者支持到店货。以英国舰 Apple Store Regent Street 为例，6.1 英寸的 iPhone 14 Pro 所有颜色和存配置均可当发货或者到取货。部分 6.7 英寸 iPhone 14 Pro Max 也支持当天发货或者独山取货，但是分更高存储格的机型需更长的时间IT之家了解到，苹果在 11 月下旬出现了 iPhone 14 Pro 和 iPhone 14 Pro Max 供货紧张的情况，导购物者无法假期前从苹店内或网上买这些设备导致行业分师郭明錤大下调了他的 iPhone 出货量预测，假期季首山 7000-7500 万台，低于之的 8000-8500 万台?
IT之家 1 月 9 日消息，今日哔哩哔在港交所公告称公司 2022 年前 9 个月净营业额 157.57 亿元，同比增加 15.8%；毛利润约 26 亿元，净亏损约 60.11 亿元。其中，移动游戏净业额增加 2.1% 至 38.75 亿元，主要是由于新出移动游戏所。增值服务净业额增加 26.3% 至 63.65 亿元，主要是因为司推进了商业的进程，包括会员、直播服及其他增值服等的增值服务费用户数量均增加。广告净业额增加 21.1% 至 35.54 亿元，主要是由于哩哔哩品牌在国线上广告市得到进一步认以及广告效益所提升所致。至 2022 年 9 月 30 日，集团的现金及现金等物、定期存款短期投资为 239 亿元 (34 亿美元)。主要流动资来源是经营活产生的现金，及通过公开发普通股和其他资活动获得的项。公司认为此流动资金水足以成功应对长期间的不确性。IT之家了解到，哔哩哔在三季度的日活跃用户数（DAU）为 9030 万，月均活跃用户数（MAU）为 3.33 亿，分别同比增长了 25%。平均每月付费用户数（MPU）为 2850 万，同比增长 19%。
