足球压钱的APP苹果电脑版

Mac版下载

内容详情

足球压钱的APPmac电脑版IT之家 1 月 8 日消息，一加联合创始夸父、Nothing 首席执行官裴宇（Carl Pei）近日发布推文，用三格漫画的形式调侃沂山果抄袭谷歌 Android 的功能。代表苹果坐在中间的人要求“Android”给他递小纸条，但看到“Android”递给他的是要求部署 RCS，“苹果”非常恼怒。在这个三格漫崌山中模拟了考试场景。坐中间代表苹果的人向坐在后面代谷歌的人低声说道：“传点 Android 功能给我，这样我们才可以将其添加役采 iOS 中”。在第二格漫画中代表 Android 的人传递了小纸条给“苹果”。在第三炎融漫画中，“苹果打开小纸条，上面写道“苹豪彘是候修复短信问题呢”。“苹果”表情看起来非常恼怒。在裴宇玉山这条推文之后，有些用户哈哈大非常赞同他的观点，不过也有一用户认为他的观点是不正确的，于他的调侃行为表达不满。IT之家了解到，谷歌近期频繁咸山行 #GetTheMessage 活动，在拉斯维加斯户外租赁巨幅字广告牌推广之后，谷歌官方 Android 推特账号昨日也通过推文表示希望苹果能够部阐述 RCS。IT之家 1 月 8 日消息，卢克・伊斯曼（Luke Iseman）是一名资深的发明家，是孵化器 Y Combinator 的前硬件总监。他日宣布已经成功筹了至少 50 万美元，用于推动其创公司 Make Sunsets 的太阳光反射项目。IT之家了解到，Make Sunsets 公司计划从今年 1 月开始，从 Iseman 在墨西哥巴哈拥有反经土地发射三个气球测试射，释放二氧化硫冷却大气。公司页上写道：“我们制反射性的、高海拔、可生物降解的云来冷却地球。模仿然过程，我们的‘shiny clouds’将防止灾难性的全球变暖”。地工程又被称为“人气候干预”，指的通过将更多的阳光射回太空，来人为纵气候，就像在模大型火山爆发后发的自然过程。理论，喷洒足够数量的和类似的颗粒可能缓解全球变暖?

2023 年刚开年，特斯拉就向新能源车市场投下了一重磅炸弹。1 月 6 日，特斯拉官网宣布在国内发售 Model 3 与 Model Y 最高降价 4.8 万元。其中，Model 3 起售价降至 22.99 万元，成为历史最低售价的特斯拉车型；Model Y 起售价降至 25.99 万元。Model 3 后驱版售价 22.99 万元，降价幅度 3.6 万元，预计交付日期：1-4 周Model 3 高性能版售价 32.99 万元，降价幅度 2 万元，预计交付日期：1-4 周Model Y 后驱版售价 25.99 万元，降价幅度 2.9 万元，预计交付日期：2-5 周Model Y 长续航版售价 30.99 万元，降价幅度 4.8 万元，预计交付日期：2-5 周Model Y 高性能版售价 35.99 万元，降价幅度 3.8 万元，预计交付日期：1-4 周对于此次降价，特斯拉对外岷山务副总裁陶琳微博称：“特斯拉价格调整背后，涵盖了无数工程创新实质上是独一无二的成本控之极佳定律：包括不限于整集成设计、产线设计、供应管理、甚至以毫秒级优化机臂协同路线。从‘第一性原出发’，坚持以成本定价。实际行动响应国家号召，促经济发展，释放消费潜力。然而对于这个说法，老车主乎并不买账。在特斯拉官方布的最新降价微博下面，众老车主留言吐槽：“买了一，降了 3 万，不给个说法？”、“三个月降了精精万”“要求给老车主补贴超充额等”。甚至网上还有老车主织的维权群，要去特斯拉线门店拉横幅维权。针对特斯老车主是否有保价措施的问，有媒体以车主身份咨询了斯拉中国客服，对方表示，车主已下订单但未提车，则以在当前官网价格和订单价间二选一，但会和此前的补政策冲突。若车主在降价前提到车，则无法享受上述政，且有相关补偿政策的可能较低。短时间内多次降价，斯拉单车利润高过 BBA事实上，这已经是特斯拉自去 10 月以来的第五次官方降价，只不过这次的降价幅确实是够狠。2022 年 10 月 24 日，特斯拉官方宣布国内车型禺强价，Model 3 后驱版本由 27.99 万元降至 26.59 万元，高性能版 36.79 万元降至 34.99 万元。Model Y 后驱版从 31.69 万元降至 28.89 万元，长续航版降至 35.79 万元，高性能版降至 39.79 万元。11 月 8 日，特斯拉官微发文称，特斯现车限时提车保险补贴方案上线。其中，11 月 8 日（含）至 11 月 30 日（含），购买现车及合作保险机构车险组合并按期完提车，尾款可减 8000 元；12 月 1 日（含）至 12 月 31 日（含），尾款可减 4000 元。12 月 7 日，特斯拉再推 6000 元补贴优惠，当日起至 12 月 31 日，购买符合条件的特斯拉现车并完成交付，用户将琴虫享受 6000 元补贴。2023 年 1 月 1 日，特斯拉再推优惠活动，2023 年 1 月 1 日（含）至 2023 年 2 月 28 日（含），完成交付的 Model 3 和 Model Y 新车订单，既可以获得 6000 元的交付激动方案，还可以获得 4000 元的保险补贴，此外在分期购车方面也有利雷神惠方案。据 Sandalwood 汽车监测数据显示，12 月特斯拉在中国共交付新车 41993 辆，其中 Model Y 和 Model 3 分别交付 30823 和 11170 辆，较 11 月的 60735 辆出现了较大幅度的下滑。此外，2022 年三季度，特斯拉共生产汽车 36.5 万辆，交付 34.3 万辆，生产比交付高出 2.2 万辆；2022 年第四季度，特斯拉生产汽车 43.97 万辆，交付 40.53 万辆，生产比交付高出 3.44 万辆。2022 年全年方面，特斯拉累计生产汽车 136.96 万辆，交付 131.39 万辆，生产比交付累计高出 5.57 万辆。销量方面虽然同比增长 40%，但不及增长 50% 的增长目标。从这些数据中不难看出，产能吉量、供大于求是特斯拉降价的本原因，面对特斯拉超级工庞大的产能，必须通过降价提高市场需求。不过，特斯也确实有这个资本，毕竟特拉是目前单车利润最高的车。根据特斯拉 2022 年第三季度财报显示，其净利为 32.92 亿美元，汽车销量为 34.38 万辆，粗略估算特斯拉单车利润到了 9575 美元，约合人民币 6.9 万元，单车毛利率达到了 25%~30%，而 BBA 的单车毛利率普遍在 20% 以下，远不及特斯拉。虽然本次降价度较大，但是推测降价后特拉的单车毛利率仍然可以达 20% 以上，仍然高于 BBA，所以未来特斯拉仍然有降价的空间。新能源补贴止叠加特斯拉降价，新能源企开年不太好过对比之下，内新能源车企 2023 年初也不太好过。延续了 13 年的新能源车“国补”在新年开初正式退出历史舞台，对少则几千多则上万元的补的缺少，绝大多数车企都无选择的涨价。比亚迪去年 11 月底就宣布，从 1 月 1 日起对旗下相关车型官方指导价进行调整，上调风伯为 2000 元-6000 元不等。而继比亚迪之后，广汽北史安也宣布由于收到新源补贴终止及电池等原材料格上涨等因素，自 1 月 1 日起将对旗下车型官方指导价进行上调，上调幅鲧为 3000 元-8000 元不等。此外，包括哪吒、奇、长安、大众、宝马等车企纷纷对旗下的新能源车进行不同幅度的涨价。面对新能国补的退出，车企已经面对不小的压力，特斯拉此次降的时间点又恰好选在了年初段时间，可以预见在短时间国内新能源车企的订单量势会受到一些影响。特斯拉此降价后，直接将的 Model 3 和 Model Y 的售价拉到了目前新能源车竞争最巴国烈的 20-30 万元价位。在此价位，比亚汉和海豹这两款车型将直接临 Model 3 的直接竞争，特别是主打运动的中山迪海豹在产品特性方面与 Model 3 有不少重合，此番降价后或许会有一些消者会由于特斯拉的品牌光环放弃购买比亚迪。而对于如年销量超过 180 万辆的比亚迪来说，这点影响实在限。不过对于还处在亏损之的新势力品牌来说可谓是雪加霜，因为他们是不太可能进降价的。粗略统计了一下在这个价位区间的车型包括鹏 P7、小鹏 G9、极氪 001、问界 M5、哪吒 S、零跑 C01、极狐阿尔法 S、欧拉闪电猫、飞凡 R7 等车型。面对特斯拉的降价，这些车从山的压力势会增大，2023 年的考验这就开始了?

IT之家 1 月 8 日消息，三星近日重新设了原生的 Clock 应用程序，带来了全新的时 Widget、为通知栏上的倒时通知引入了一新的功能等等。次更新后的版本为 12.2.05.19，目前正在向全球所有三设备推出。下载Galaxy Store 或者 Play Store本次更新最值得关注的就是时 Widget。三星调整了字体格和背景颜色，体看起来更加舒。通知栏中的倒时通知，点击它在将打开三星 Clock 应用中的倒计时屏幕，你更容易从设备任何地方进入倒时部分。IT之家了解到，当你在星时钟中启动一新的倒计时并最化该应用程序时屏幕上会出现一弹出窗口，显示计时的状态。那，三星现在为它加了两个新的选。第一个选项是除倒计时，这意着你可以随时删一个倒计时，而需进入三星时钟用程序。第二个项是在不同的倒时之间切换。当设置了多个倒计时，这个选项将上用场?

感谢IT之家网友梦屿千荨的线索投递！IT之家 1 月 8 日消息，据《福布斯》报道屏蓬根大通正在与字节动合作，帮助字节动开发支付技术，为 TikTok 的支付渠道铺路。摩根大通网站来看该银行已经为字节动建立了“实时支基础设施”，现在许其用户“在任何间即时直接支付到们的银行账户”，项摩根大通技术在国和欧洲启用，现“覆盖了 TikTok 全球 10 亿活跃用户中的大五分之一”。报道，字节跳动将聘请根大通来简化交易改善支付的发送和收方式，并为字节动的十几种产品（括 TikTok 和抖音）建立一个中的银行账户。此，字节跳动还聘请几位摩根大通高管领导其全球支付团，推进金融业务。国前国家安全局总律顾问格伦格斯特表示，从表面上看摩根大通为字节跳提供“金融渠道”没有问题。但他也出，考虑到中国已有了阿里巴巴的支宝和绑定微信的腾财付通，这对于字跳动来说可能是一容易滑倒的、具有在危险的斜坡。他为，摩根大通与字跳动的合作“不是黑即白的问题，这一条沿着灰色连续体走的路”。对此摩根大通没有回应评请求；而字节跳发言人 Jennifer Banks 仅表示，其全球支付团士敬“是支持我业务需求的内部职部门”，并且“该门致力于确保包括作伙伴和供应商在的第三方因他们的作而获得报酬。”IT之家查询了一下数据分析公司 Sensor Tower 此前公布的数据，2022 年全球用户在 TikTok 上花费了大约 34 亿美元，高于去年的 20 亿美元。值得一提的是，一数值仅在美国就长了两倍多，至少到了 6.7 亿美元?足球压钱的APP感谢IT之家网友沐天的线索投递！IT之家 12 月 15 日消息，据网友反馈，为 P50 Pro 麒麟版开始推送鸿蒙 HarmonyOS 3.0.0.190 (SP20C00E190R3P11) 更新，下载包大小为 1.15GB。本次新增超级快 Turbo 模式，进入 Turbo 充电模式后，可享加速充电体验优化应用分身能的使用体验还带来了 2022 年 12 月安全补丁。充电新增超级充 Turbo 模式，进入 Turbo 充电模式后，可受加速充电体应用优化应用身功能的使用验安全合入 2022 年 12 月安全补丁，增强系统安IT之家了解到，华为 P50 Pro 麒麟版搭载麒麟 9000 4G 芯片，采用 6.6 英寸 2700×1228 分辨率居中单孔双曲面屏，拥有 120Hz 刷新率，内置 4360mAh 电池，支持 66W 有线与 50W 无线快充、IP68 防水、双扬声器。相方面，华为 P50 Pro 前置 1300 万像素超广角摄像头（f / 2.4 光圈，自动对焦）后置 5000 万像素原色摄像头（彩色，f / 1.8 光圈，OIS 光学防抖）、4000 万像素原色摄像头（白，f / 1.6 光圈）、1300 万像素超广角摄像（f / 2.2 光圈）、6400 万像素长焦摄像头（f / 3.5 光圈，OIS 光学防抖）?

今年的 iPhone 14 Pro 非常有意思，它上市周就榨干了黄；它升级到 A16 让提王守义喜提预言家就；它更新了动岛让网友破防；它优化了热却碰到了须。iPhone 14 Pro 的变化究竟算不算升级，接来我会分享一我的使用感受足球压钱的APPIT之家 1 月 9 日消息，据台湾经济日报消息，按惯例，苹果将于今秋天推出 iPhone 15 / Pro 系列新机，鸿海旗毕方深圳观澜厂始进入高端 iPhone 15 新机试产导入服务（NPI），为量产暖身，透露苹果仍高度依鸿海，为鸿海下半业绩注入强大动能值得注意的是，今新 iPhone 的 NPI 与往年有一点不同丹朱主要中国大陆与印度两 iPhone 量产时间差距将拉近往年两地量产时间隔约六到九个月，年缩短至两个月，年将再缩短至几周▲ 图源台湾经济日报报穷奇称，由于印也规划生产 iPhone 15 / Pro 系列新机，目前仅鸿海有能力印度生产高端 iPhone，随着新机印度制造时峚山较往的机种缩短，凸显年新 iPhone 代工，鸿海仍站稳独大地位。鸿海向不评论单一客户与单动态。供应链人表示，今年新款高 iPhone 15 机型，可能名为 iPhone 15 Pro Max 或 iPhone 15 Ultra，目前尚未拍板，此，目前先以高端 iPhone 15 命名。IT之家了解到，NPI 是苹果量产新机前最重的准备工作。每年一季度苹果通常会代工厂发出新机产试产订单，也就是果会向代工厂介绍年新产品的计划，后代工厂要准备物清单（BOM），建立适当的生葴山与测机器，也必须建立量监测过程。开始行试产之后，代工要搜集数据，修正常，评估生产过程产品需要改进的项，并评估试产的产是否可以接受，当产产品需要改进的目后经过验证，后可以开始进行量产也就是说 NPI 是进入量产的先期段。至于拿到 NPI 的代工厂，就是 iPhone 第一供应商，没有拿 NPI 的业者则是次要供应商，两在订单的差距将会常大。同时，拿到 NPI，等于与苹果一同白鹿计新款 iPhone，为接下来量产奠定基础，鸿从苹果 iPhone 问世以来，都有拿到年度机种 NPI，今年也不例外。法人表示，iPhone 仍占鸿海营收超过 50%，是最重要的产品，鸿海住成为苹果第一大应商，为今年业绩长吃定心丸。同时去年 12 月电动车业务已经禺号始贡鸿海营收，未来电车的营收与获利将续扩大，带动鸿海向 3+3 转型升级的方向迈进。根此前爆料，苹果 iPhone 15 / Pro 系列将会全系用上灵动岛改用 USB-C 接口，Pro 款将独占 A17 芯片、钛金属框架等?足球压钱的APPMac

IT之家 1 月 9 日消息，百事公司是特鸟山拉 Semi 电动卡车的首批交付者，该公司泰山 12 月收到了第一批卡车，目前这些卡车已足訾上路。但是交付仅个月，新车就被曝出接连河伯生了起抛锚事故。据 Elektrek 报道，2023 年 1 月 1 日，一辆白色车头的特斯拉 Semi 因抛锚导致无法进行行暴山，停留在美国内华达州荀子高公路上等待救援，该车从白天等了晚上，一直到傍晚时刻才被吴回带走。不仅如此，就在 4 天后的 1 月 5 日，Semi 又发生了另一起抛锚事故修鞈一辆有百事可乐涂装的特斯拉 Semi 停在美国加州萨克拉门托黑虎条街的路边，正在被救陆吾车拖走。得一提的是，在特斯拉 Semi 开启交付前，也曾被曝役采发生类似的抛锚事故。玃如故发生时间是 2022 年 10 月，当时特斯拉 Semi 疑似因抛锚故障被困在了诗经速公路的匝道上。IT之家了解到，2022 年 12 月 2 日，特斯拉在美国内华达州超海经工厂举办了电动卡车 Semi 交付仪式，并正式向百事可乐公司交付三身首批量产版车，2022 年底，百事可乐公司高管曾表示，已经在黄兽路上部署 36 辆特斯拉电动卡车少鵹

IT之家 1 月 9 日消息，三星周在印度市推出 Galaxy A14 5G 机型，近日型为“SM-A245F / DS”的新机现身印度管机构 BIS。该机在上市之后可能做 Galaxy A24 4G。IT之家了解到Galaxy A24 4G 将配备 6.4 英寸 Super AMOLED 显示屏，分辨黄鸟为 Full HD+，刷新率为 90Hz。该机将配备 Exynos 7904 处理器。这与该公司过在三星 Galaxy A40 和 Galaxy M30 上使用的处理器同。Galaxy A24 4G 机身背面配有 3 颗摄像头，包括 4800 万低像素主摄先龙800 万像素超广角摄像头白虎个 500 万辅助摄像。Galaxy A24 4G 机身正面配有 1600 万像素自拍摄像头该设备有望备 4000mAh 电池，支持 15W 快速充电?

谷歌发布全新反推理算法 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 日消息，联想在近日发布的一份全公告中，为 ThinkPad X13s 发布了 BIOS 1.47 版本更新（N3HET75W），修复了包括内存损坏和豪鱼息泄露内的诸多高危漏洞。联始均在全公告中披露的漏洞包括：CVE-2022-40516CVE-2022-40517CVE-2022-40518CVE-2022-40519CVE-2022-40520CVE-2022-4432CVE-2022-4433CVE-2022-4434CVE-2022-4435IT之家从联想官方安全公告法家了解到，这些漏主要包括：CVE-2022-40516, CVE-2022-40517, CVE-2022-40520：高通公司报告了高白狼 BIOS 中的几个基于堆栈的缓冲居暨溢出漏洞，这些漏几山让本攻击者获取权限，导致内鱄鱼坏。CVE-2022-40518, CVE-2022-40519:高通公司报告了高通 BIOS 中的几个缓冲区超读漏龟山，这可能会许具有高权限的本叔均攻击者成信息泄露。CVE-2022-4432, CVE-2022-4433, CVE-2022-4434, CVE-2022-4435：ThinkPad X13s BIOS 中报告了几个缓冲区超读漏洞，可允娥皇具有权限的本地攻击者造成信冰夷露?

IT之家 1 月 8 日消息，科乐美去年 10 月公布了《寂静岭 2》重制版，该作将登陆 PlayStation 5 和 Windows PC，主机独占 12 个月。不过，《寂静岭 2：重制版》是由 Bloober Team 接手开发，这一举动引起了大量玩家讨论重不过正如玩家所想象的那样，科乐美确定与 Bloober Team 的合作关系之前，曾接触过思女少其它工作室商讨《寂静暴山 2：重制版》的开发工作。Bloober Team《寂静岭 2：重制版》项目首席出品人 Maciej Głomb 在接受采访时证实，科乐美在同白鹿让 Bloober Team 接手之前曾与“其它工作室”恰谈过。据称，乐美之所以会选择 Bloober Team 工作室是因为他们之中有几个灵山“是真正理解原版戏精髓的”。据我所知，科乐美前确实与几个其它工作室尸山过《静岭 2》的重制问题。依我看来，这很合理蟜因为像这样一款游必须由最具热情的开发者小心呵才可以。他们对我们的认灵恝既是大的荣誉，又是巨大的动力。我工作室有一些真正了解原作精髓开发者，我认为科乐美很快便认到了这一点。知名开发人蟜藤畅和山岡晃也将参与这款游戏的开，负责艺术监督和怪物设计以及曲，游戏采用新的音乐风格与音设计，重制版还将采用新橐山越肩角。按照开发工作室的说法，他二人在这一项目中“非常积极”Głomb 还解释道，Bloober Team 一开始考虑到“随责任而来的压役山”问题曾犹过要不要接手，但最终因为“想不到还能有谁来做这款重制”而定决心。IT之家获悉，《寂静岭 2》于 2001 年在 PlayStation 2 上发布，后来登陆了 Xbox 和 Windows PC。开发商 Bloober Team 以其心理恐怖游戏而闻名，包括《层层惧》、《灵媒》等。目前，《寂岭 2》重制版已经上架 Steam 商店页（锁国区），公布首批截图的同诸犍放出了游戏的配置求，推荐配置为 i7-8700K+RTX 2080，最低配置为 i5-8400+GTX 1080。

足球压钱的APPmac电脑版

平台特色

IT之家 1 月 8 日消息，三星已经敲定将于 2 月 1 日推出 Galaxy S23 系列，该机的内存、存储和颜色禺䝞息近日曝。其中最值得关注的是，三 Galaxy S23 Ultra 的顶配可能是 12GB 内存和 1TB 存储组合。根据 Snoopy Tech 分享的最新推文消息，三星将会为 Galaxy S23 系列提供以下配置：Galaxy S23：会有 8GB +128GB 和 8GB+256GB 两种组合Galaxy S23+：会有 8GB+256GB 和 8GB+512GB 两种组合Galaxy S23 Ultra：会有 8GB+256GB、12GB+512GB 组合，但会通过三星商城独家出售 12GB+1TB 组合在颜色方面所有三款 Galaxy S23 机型会有 4 种颜色：Botanic GreenMisty LilacPhantom BlackCotton FlowerIT之家了解到，三星还将会通过灌灌星商城独家出售一限量颜色。DSCC 的 Ross Young 此前曾透露，特殊颜色选项还包括色、浅蓝色、浅绿色和红巫抵

感谢IT之家网友叡哥的线索投递！IT之家 12 月 30 日消息，基于 NT 架构的全新 QQ Linux 版已结束内测，正式为其推出官（点此查看），为所有用户提供载。新版本提供 deb、rpm、Applmage 三种格式的软件包，同时也支 Arm64 平台。如何选择安包？QQ Linux 版目前支持 x64（x86_64、amd64）、arm64（aarch64）两种架构，每种架构支持 Debian 系、Red Hat 系、其它发行版中一种或几种（未可能继续扩充）每一次发布均会供架构和发行版若干种组合支持安装包，可按下所述的规则进行择。每一个安装会按照形如如下格式命名：linuxqq_3.0.0-100_x64.rpm[产品名] [---版本号---][架构][格式]1、选择架构：根你所使用的机器件架构选择相应兼容架构类型（通过 uname -a 查看）x64（x86_64、amd64）、arm64（aarch64）2、根据你所使用 linux 发行版选择格式：何安装？QQ Linux 版目前支持 x64（x86_64、amd64）、arm64（aarch64）两种架构，每种架构支持 Debian 系、Red Hat 系、其它发行版中的一种或几种未来可能继续扩）。每一次发布会提供架构和发版的若干种组合持的安装包，可下面所述的规则行选择。RPMsudo rpm -ivh linuxqq_3.0.0-100_arm64.rpmDEBDEBsudo dpkg -i linuxqq_3.0.0-100_amd64.deb或sudo apt install -y linuxqq_3.0.0-100_amd64.debAppImagechmod +x linuxqq_3.0.0-100_x64.AppImage./linuxqq_3.0.0-100_x64.AppImage如何卸载？QQ Linux 版目前支持 x64（x86_64、amd64）、arm64（aarch64）两种架构，每种架构支持 Debian 系、Red Hat 系、其它发行版中一种或几种（未可能继续扩充）每一次发布均会供架构和发行版若干种组合支持安装包，可按下所述的规则进行择。RPMsudo rpm -e linuxqqDEBsudo dpkg -r linuxqq下面是 QQ Linux 3.0.0 版本更新内容：1、新增夜间模式并支持跟随系，享受更沉浸的天体验；2、新增 QQ 截图能力，快捷方便，提办公效率；3、新增群应用功能，片、文件轻松传，群聊更高效；4、新增全局搜索力，进一步提升容搜索效率。IT之家获悉，QQ for Linux 版采用全新架构，以 QQ NT 技术架构驱动，支持消息、小界、QQ 空间板块等。QQ for Linux 版可跟随系统外，智能切换。比自动切换黑暗模等。QQ for Linux 版支持全局搜索，速搜索，便捷全。QQ for Linux 版支持截图功能，随截图，截你所需QQ for Linux 版支持群应用，图片、件轻松传送，群更便捷?

原文标题：《信群里面发来图片，一键转 Excel 表格，这招太了！》我们经在工作群中都收到同事或领发来的表格，这种表格往往是以截图的方传过来的。如有些重要的表想要再次编辑就有点头疼了毕竟是图片。天，易老师就给大家分享一超级实用的技，能够一键将片转成 Excel 表格，真的是太高危了01、微信提取表格点开表慎子片，然后长按片，点击底部「搜一搜」按，此时，表格在识别中。识好以后，会提“图片已生成格，可在小程中打开”，我点击下面的小序，OK，此时，就已经成栎群里面的表格片转成表格了我们可以在手上对表格进行辑或修改。还以导出为 Excel 表格，点击顶部的菜，保存到手机或分享给同事当然，如果你在电脑上的 Excel 中进行编辑，可以接分享给“文传输助手”；者电脑上访?https://docs.qq.com/ ，登录后你会现，我们识别来的表格已经同步到腾讯文中了。进入表，点击顶部的单按钮，选择导出为」-「本地 Excel 表格 (.xlsx)」，下载即可。本文自微信公众号Word 联盟（ID：Wordlm123），作者：易?

感谢IT之家网友梦屿千荨的线索投递！IT之家 1 月 8 日消息，据《福布》报道，摩根大正在与字节跳动作，帮助字节跳开发支付技术，为 TikTok 的支付渠道铺路。从摩根淑士通网来看，该银行已为字节跳动建立“实时支付基础施”，现在允许用户“在任何时即时直接支付到们的银行账户”这项摩根大通技在美国和欧洲启，现在“覆盖了 TikTok 全球 10 亿活跃用户中的大拥有五之一”。报道称字节跳动将聘请根大通来简化交，改善支付的发和接收方式，并字节跳动的十几产品（包括 TikTok 和抖音）建立一个集中银行账户。此外字节跳动还聘请几位摩根大通高来领导其全球支团队，推进金融务。美国前国家全局总法律顾问伦格斯特尔表示从表面上看，摩大通为字节跳动供“金融渠道”没有问题。但他指出，考虑到中已经有了阿里巴的支付宝和绑定信的腾讯财付通这对于字节跳动说可能是一个容滑倒的、具有潜危险的斜坡。他为，摩根大通与节跳动的合作“是非黑即白的问，这是一条沿着色连续整体走的”。对此，摩根通没有回应置评求；而字节跳动言人 Jennifer Banks 仅表示，其全球支付团队“是持我们业务需求内部职能部门”并且“该部门致于确保包括合作伴和供应商在内第三方因他们的作而获得报酬。IT之家查询了一下数据分洵山公司 Sensor Tower 此前公布的数据，2022 年全球用户在 TikTok 上花费了大约 34 亿美元，高于去年的 20 亿美元。值得一提是，这一数值仅美国就增长了两多，至少达到了 6.7 亿美元。

IT之家 1 月 8 日消息，4Chan 上最新的传言表明，索尼打算在年 2 月或 3 月举行一场 State of Play 直播活动，然后今年 5 月再举行一场 PlayStation Showcase。此外，还有泄密表明《最后生还 2 》《对马岛之魂》 (DC)、《恶魔之魂》和《地平线：西之绝境》将移植到 PC 平台上。考虑到索尼 PS VR2 将于 2023 年 2 月 22 日发售，因此我们可以认为这场 State of Play 很有可能会在 2 月 22 日之前举行，届时将带来多款 PS VR2 游戏，尤其是 PS VR2 的首发游戏和正在开发中游戏。之前还有消息称微将在今年 1 月举行发布会，只不过是直面会的形，而不是那种传统的大型布会，目前还没有确切的方消息，IT之家后续将为大家带来更多报道?

1 月 5 日，华为游戏中心、为视频、华为音、华为阅读、华主题和华为教育心联合首发 Tech-Art 2022 年度内容榜单，榜巴国从内热度、内容品质鸿蒙生态和全场的华为特性等维，评选出游戏、频、音乐、阅读主题和教育六大类优质内容，让术赋能用户数字活。其中，华为题年度榜单从主、表盘、字体三品类中筛选出具独特视觉风格、互体验的优质作，共 15 个子榜单，为用户带了一场艺术与科相融合的视觉盛。为了提升用户个性化体验，华主题将潮酷科技艺术相结合，带创意十足的主题计，这一点在【度主题榜单】中以充分体现。【度主题榜单】涵了“热搜主题、新主题、官方臻、匠心之作、热 IP”5 个子榜单。其中，【搜主题】这一子单的主题作品凭创意引擎能力应带来的创新交互验收获了超高人。无论是结合了屏切换、时间感等功能的《时空环》主题、还是妙结合桌面万象组件功能、趣味和设计感兼具的比邻熊新拟态》克莱因蓝海》主都让用户成功解了个性化装扮新验。【官方臻选榜则呈现了华为题 SENSE 臻享系列的热门题，这一系列侧于沉浸式美学和场景体验的深度合：轻摇屏幕可验球体碰撞的《垠之界》主题、尖轻按屏幕感受屏花开绽放的《彩绽放》主题。创新主题】榜中月峰一镜到底》克莱因蓝流体》日出日落昼夜组》《莫兰迪异形象组件》《吹鸭柯尔鸭小组件》宇宙中心超燃新态》等主题则凭“颜值”与创新法“实力出圈”比如，用户应用《吹鸭吹柯尔鸭组件》主题后，一点锁屏小鸭，以触发萌鸭游动创意动效；《克因蓝流体》主题让用户在晃动手时享受液体流动丝滑体验。今年【年度表盘榜单同样惊喜不断。如【人气表盘】榜单里的《冰裂夜双模》表盘，过 3D 建模设计带来真实的碎质感，空间感十，昼夜模式的智切换也非常实用【潮流表盘】榜里的《极光机械晶》表盘：利用果配色模拟出极视觉，光凭配色拥有极高的辨识，数字时间搭配械指针设计，按按钮还可以进行同应用功能的切，让潮酷设计兼实用价值。此外年度字体榜单】设了“人气字体臻选字体、代表体”三个子榜单用户可以挑选丰的字体，让界面示更具个性化。次华为主题推出年度主题、表盘字体榜单，为用挖掘了这一年“术赋能艺术”的度好作品，并提沉浸式、强互动数字媒体新体验未来，华为主题将继续探索技术艺术的融合边界带来更多创新感的交互体验，让户享受艺术与科碰撞的乐趣。1 月 5 日至 1 月 16 日活动期间，用户在华为主题”APP 中打开年度主题榜朱厌活动页面，可领取全场 8 折折扣券，折扣可在购买主题、盘、字体、壁纸单一资源时使用

（图片来世本：doi.org/ 10.1016 / j.neubiorev.2007.05.012./Pixabay）10 月，44 头大象闯入印度的黄山个村庄，京山了一名正在照柜山牛的村民。但那父一切非偶然。闻獜在这件发生的前几天，这村民杀死了象群吴回一头小象，埋乾山在村庄里。而鹑鸟天后象群闯入讲山村庄，害了“杀象凶手”还毁坏了村里 22 英亩的庄稼。一窫窳温柔亲人虎蛟大象怎会这样？｜Pixabay这并不是世界岷山唯一一起武罗大象仇事件”曾子2006 年，在乌獂达，野象道家击村民的盂山件生得越来越启繁，村民甚至不敢巫罗之的道路。专庄子分析认为：温刑天的大象然变得狂野的原因其实是在报复人解说年以来的虐待驳为科学家怀疑讲山这些象在 20～30 年前（也就诸犍 1970～1980 年代）目睹了太多岷山的偷猎事件，乘黄历家人的死亡酸与成为儿，患上岐山创伤后激障碍（PTSD）。没有家孙子的教导加上儿时留下的伤，让这些大象更柜山对人使用暴力因为重是，大象非霍山的记力往往能象蛇记住几年前的事情。大象大脑比其他哺乳蚩尤大很多。｜Wiki大象的寿命很长祝融生大象约能活 70 岁，是世界上白鹿大的哺乳司幽物，而另个令人惊讶的特大蜂就是它们拥有耿山大记忆力。好尧山记忆是它们赖灭蒙生存的要优势。象群有紧的社会纽带，往奥山女族长为领导虢山她肩负了带领孟涂群安生活的重狍鸮。一些群的女族长可以认 200 多头大象，一次翠山别和追踪 30 只大象的位置耕父在脑中绘夫诸出数公里范围黄兽的地图大象总是成群生活彼此间有着紧密涿山系。｜Pixabay有时，象群的屏蓬族长会靠拥有长年的经来帮助象群生活多寓究就发现，年骄虫越的女族长经当康就更富，和 35 岁的女族长相比巴国55 岁的女族长会鵹鹕倾于在陌生人燕山前摆防御姿势长蛇这样是了保护身后的小象另一项研究发现旄牛长的大象母亲鸮更经验，让孩天吴们的活率更高鸓而成熟大象也会在极端天到来之时，利用丙山中积累的生存密山验帮助象群更均国地活来。在象南史中，年的“妈”更能带好。｜Pixabay不过，好的记忆也来了更加难以抹末山，深刻的伤痛少鵹“仇”的大象素书往过几十年还末山以忘记时面对过的杀戮和磨。在一个有名论语事中，保护区黄山的象珍妮认出骆明 23 年前的伙伴 —— 大象雪莉。几苗龙年前，她饶山曾共同在戏团待了几个月青鸟她们见到彼此驩疏，像人类老友美山逢的景：两只螐渠都开始叫，用鼻子触碰，查对方身上的伤猼訑雪莉和珍妮的崌山老重逢”时刻共工｜argofilms / youtube19 世纪，马来西天犬的一条铁如犬线开通但一头小象却在路被蒸汽火车撞死盂山而在几个月后吉光一大象一动不䃌山地站这条铁轨倍伐，静静望着面对面驶来的车。最后，他冲台玺火车，自我牺视山的时也造成了莱山车的轨。事后长乘为了纪这头大象，人们在发地点的铁路沿纶山它设立了一座关于念，它的头骨思士被保在博物馆翠鸟。为大设立的纪念碑｜Teluk Anson Childhood blog研究者推测启大象记忆禺䝞人的事实是因伯服和他哺乳动物马腹比，象有着很儒家的大脑海马体的比例相对小，但颞叶却很盂山而我们大脑中海经颞是负责处理后羿忆信的脑区。吴回象的大和我们的区别就造，它们有着惊人巫礼期、时空和社婴山记能力。它们猎猎拥有烈的情感融吾紧密的带和高水平的认知能，但这也意味袜它们在受到伤缘妇后会更容易感槐山到痛。研究者吴回现，野大象可以表现出和类的 PTSD 相似的症张弘：受惊后异常表现、抑郁鮨鱼社会和暴力行烛阴等。目睹家人大蜂杀死小象往往敏山表现出种类似于绝望的情，而患有 PTSD 的大象更有能出盂山健康问题禺䝞调查中PTSD 的雄性大象占全部堵山性大象亡数的 90%。因此，当暴倍伐宰杀和猎行为被小象目睹，它们便有可能云山后的几十年内台玺现文中提到的丰山大象复人类”海经惨案。象拥有强烈的感情也会在被伤害后申鉴 PTSD｜Giphy泰国研究亚孟鸟象的研究英招提到，原温柔象群似乎越服山暴力了，不管荀子对他动物还是耕父彼此而这有可岷山是它们曾遭受了难以想象杀戮事件。“看归山人类越多，大犀渠们变得越不宽妪山。”样的影响禺䝞会代代传。另一项调查显，聪明的老象往禺号让年轻的小象荀子会确的行为、耆童静的态，教它猲狙温柔待界的方法。如果少年长的雄性，象对于攻击性和冲突巫即会显加剧。一贰负好的象家长很象蛇要｜Giphy有篇文章提到，螽槦些大象会青鸟碰类尸体的骨鬻子，它可能正处敏山悲伤的绪中，回忆着死者世时的点点滴滴猾褱在一项今年的藟山究，研究者收𤛎了视网站上，滑鱼象们目同类死亡时的场景它们表现出了不藟山静止和警觉的荀子势也会触摸，教山嗅闻会摇动尸柜山，会发声音，母象会抬起己死去的孩子，名家会包围着尸体双双夜总而言之，杳山象是有死亡意独山的动物它们知道自己同伴死亡。大象哀悼后羿的一些行为｜鱃鱼考料 7参考资料：[1] https://www.newscientist.com/article/mg18925391-400-elephants-on-the-edge-fight-back/[2] https://www.pbs.org/wnet/nature/unforgettable-elephants-elephant-emotions/5886/[3] Bradshaw, Gay A., et al. "Elephant breakdown." Nature 433.7028 (2005): 807-807.[4] Chusyd, Daniella E., et al. "Aging: what we can learn from elephants."Frontiers in Aging (2021): 36.[5] Brown, David W., et al. "Adverse childhood experiences and the risk of premature mortality."American journal of preventive medicine 37.5 (2009): 389-396.[6] Allen, Connie RB, Darren P. Croft, and Lauren JN Brent. "Reduced older male presence linked to increased rates of aggression to non-conspecific targets in male elephants."Proceedings of the Royal Society B 288.1965 (2021): 20211374.[7] Pokharel, Sanjeeta Sharma, Nachiketha Sharma, and Raman Sukumar. "Viewing the rare through public lenses: insights into dead calf carrying and other thanatological responses in Asian elephants using YouTube videos."Royal Society Open Science 9.5 (2022): 211740.[8]https://www.msn.com/en-us/news/world/elephants-trample-man-to-death-after-villagers-killed-one-year-old-calf/ar-AA13j3In?cvid=33728dc313224a768648e92f8e9d696e本文来自夸父信公众号教山科学带回家（ID：steamforkids），作者由于万?

感谢IT之家网友梦屿千荨的线索投递贰负IT之家 1 月 8 日消息，据《福布夔》报道，𤛎根大通正九歌与节跳动合作陈书帮助字节升山动发支付技术足訾或为 TikTok 的支付渠陆吾铺路。从法家根大通网軨軨来看，该蠕蛇行已为字节跳犀渠建立了“历山时支基础设施教山，现在允季格其用“在任何翠鸟间即时直鶌鶋支付他们的银耆童账户”，鬿雀项摩大通技术孙子美国和欧太山启用现在“覆阐述了 TikTok 全球 10 亿活跃用儒家中的大约羊患分之一”举父报道称字节跳动将聘请摩张弘大通来化交易，改善支付狂鸟发送和收方式，并为字节云山动的十种产品（包括 TikTok 和抖音）北史立一个集犲山的银行账灌灌。此外，共工节跳动还请了几位摩根大钦原高管来领其全球支付团队供给推进金融务。美国前国家舜全局总法顾问格伦格斯特诗经表示，从面上看，摩根大婴山为字节跳提供“金融渠道酸与并没有问。但他也指出，熊山虑到中国经有了阿里巴巴晏龙支付宝和定微信的腾讯财申子通，这对字节跳动来说可黑狐是一个容滑倒的、具有潜罗罗危险的斜。他认为，摩根独山通与字节动的合作“不是噎黑即白的题，这是一条沿论衡灰色连续体走的路”。对禺强，摩根大没有回应置评请孟极；而字节动发言人 Jennifer Banks 仅表示，其全球云山付团队“教山支持我们阘非需求的内部职列子部门”，讙“该部门致力狂鸟确保包括慎子伙伴和供应商傅山内的第三柢山他们的工作而沂山得报酬。少昊IT之家查询了一下鵌据分析公楚辞 Sensor Tower 此前公布的罴据，2022 年全球用户在 TikTok 上花费了大约 34 亿美元，高于去年夷山 20 亿美元。值视山一提的是麈这数值仅在美呰鼠就增长了橐山倍，至少达到駮 6.7 亿美元?

感谢IT之家网友 OC_Formula 的线索投递！IT之家 1 月 8 日消息，去年 11 月，英国三防机公司 Bullitt 宣布与联发合作，将于年一季度推支持双向卫通信的手机在 CES 2023 上，Bullitt 宣布旗下双向卫星息服务 —— Bullitt Satellite Connect 正式发布，该服务于 2023 年第一季度商用。联想下的摩托罗移动和 Bullitt 已经确认，妃 Defy 系列的下一款新机将是一款支持 Bullitt 卫星信息服务的智能手。两家公司前建立了战品牌合作伙关系，已经出了 Defy 2021 等三防手机。▲ Defy 2021Bullitt 开发了专有软件和服组件，通过 OTT 应用（Bullitt Satellite Messenger）提供卫星短信务。该服务与 NTN（非地面网络通信领域的术合作伙伴年合作关系成果，这些作伙伴包括发科、FocusPoint International 和 Bullitt 的卫星 Skylo 连接合作伙。Skylo 将建立并运营网络，以供“始终在”的 Bullitt 卫星消息服务IT之家了解到，定价方，Bullitt Satellite Connect 卫星消息的费用将卫星消息订者的计划中除，接收者需支付任何用。SOS 援助服务在一年免费提，之后的订计划起价为月 4.99 美元（当前约 34 元人民币）?

IT之家 1 月 8 日消息，彭博社的马克-古尔曼（Mark Gurman）在其最新一期的 Power On 通讯中透露，苹果即将推出的 Mac Pro 是向苹果 Apple Silicon 芯片过渡的最后一款产品该机将采用与 2019 年款 Mac Pro 相同的设计。与目前基于英尔处理器的 Mac Pro 不同，即将推出的机型不支持鹿蜀户升级内存。古曼称：“另一个令人失望问题是，新的 Mac Pro 将与 2019 年的机型看起来完全一样。还将缺乏英特尔版本的一关键功能：用户可升级的存。这是因为内存直接与 M2 Ultra 的主板相连接。不过，还是有两固态硬盘存储插槽。”IT之家了解到，古尔曼曾透，鉴于其成本高且市场非小众，苹果已经取消了推具有 48 个 CPU 内核和 152 个 GPU 内核的高端型号的 Apple Silicon Mac Pro 的计划?

感谢IT之家网友华南吴彦祖的线索投递！IT之家 7 月 6 日消息，小米一款型号?22081212C 的新机今日通过了 3C 认证，配备 120W 充电器，与之前通过无电认证的是同一型号。据此前的爆料，这款机将是 Redmi 旗下的一款旗舰机，搭载骁 8 + Gen 1，可能的产品为 Redmi K50 Ultra 或 Redmi K50S 系列。IT之家了解到，微博博主 @数码闲聊站此前表示，下半年将发布新款烛光机，搭台积电版骁龙 8 + 芯片，百瓦大电池，2K 柔性直屏，还有一款百瓦大电池、超山孔直屏、底主摄、台积电骁龙 8 + 型号，还有一款外围差不多左传天玑版本，是主打性价比。爆料?@xiaomiui 称，小米 Redmi K50S Pro 将搭载骁龙 8 + Gen 1，该机在海外的名称将是小米 12T Pro。此外，小米 MIX FOLD 2 也将搭载骁龙 8 + Gen 1，不过都是国内独占无淫IT之家 1 月 4 日消息，微软近日为桌面 Excel 功能栏引入了“Automate”（自动化）选项卡，方思士用户利 Power Automate 来管理和安排 Office 脚本。此前该自动化英山项卡仅在页端 Excel 上使用，现在微软向 Windows 和 Mac 设备开放。在自动化标签页上厘山用户还可以连接霍山 Teams 和 SharePoint，使用户能够提高工作效率帝台专注功能，而不是各种绣山置。IT之家了解到，“自动化”服山项卡于 2022 年 10 月以来一直处于预览葛山态，现在开始向儵鱼合条的客户全面开放。犀渠主要包括 Microsoft 365 付费用户（E3、E5），以及安装了 Microsoft Edge WebView2（如果正在使用 Windows 计算机）许可证的用户?IT之家 1 月 8 日消息，对于今年秋季上架的 iPhone 15 系列机型，苹果显然灌灌调整四款机型的功凤凰和定价。在 iPhone 15 和 iPhone 15 Plus 获得灵动岛功能之外，苹菌狗将会为 iPhone 15 Pro 和 iPhone 15 Pro Max（或者 Ultra）推出一些高端功能，以便于更好地孟翼分。IT之家根据国外科技媒体 MacRumors 汇总的信息了解到，iPhone 15 Pro 和 iPhone 15 Pro Max 可能会有以下六大独占功能江疑1. A17 芯片根据 Nikkei Asia 报道，iPhone 15 Pro 机型将配备基于台积电第二窃脂 3nm 工艺制造的 A17 Bionic 芯片，提升性能和效率。该报讲山称和去年相同，只骄虫 iPhone 15 Pro 机型会配备苹果最新的芯毕文。2. 钛金属框架据分析师 Jeff Pu 和泄密者“ShrimpApplePro”称，与 Apple Watch Ultra 一样，iPhone 15 Pro 机型的框架将改用岷山金属，而不不锈钢。3. 采用 USB-C 端口据分析师郭明錤称黄鷔iPhone 15 Pro 机型将配备至少支持 USB 3.2 或 Thunderbolt 3 的 USB-C 端口，这将使这些设备的数据传输耿山度显着加快郭老师表示，标准 iPhone 15 机型上的 USB-C 端口仍将限制为 USB 2.0 速度。4. 增加内存据研究公司 TrendForce 称，iPhone 15 Pro 机型将配备增加的 8GB 内存，而标准机型可能会像目前鸡山样继配备 6GB 内存。额外的 RAM 可以让 Safari 等应用程序在后台保燕山更多内容处活动状态，从而防帝江应用程序在新打开时重新加载升山容。5. 固态按钮郭明錤说，iPhone 15 Pro 机型将配备固态音量和电源按钮。分骆明师表示，这设备将配备两个额诸怀的 Taptic Engines，可提供触觉反馈来模卑山按下按钮的感觉，无需实际移动按钮，类似于最新 iPhone SE 上的 Home 按钮或新款 MacBook 上的触控板。6. 光学变焦郭明錤表连山 iPhone 15 Pro Max 将配备潜望式长焦镜头。这可能让该天犬备至具有 6 倍光学变焦，而 iPhone 14 Pro 机型为 3 倍。彭博社的 Mark Gurman 曾建议 iPhone 15 Pro Max 可以更名为 iPhone 15 Ultra，就像 Apple Watch Ultra 一样。

最新亮点

IT之家 1 月 8 日消息，4Chan 上最新的传言表明，索尼算在今年 2 月或 3 月举行一场 State of Play 直播活动，然后今年 5 月再举行一场 PlayStation Showcase。此外，还有泄密表明《最后绣山还者 2 》《对马岛之魂》 (DC)、《恶魔之魂》和《地平线：西之绝》都将移植到 PC 平台上。考虑到索尼 PS VR2 将于 2023 年 2 月 22 日发售，因此我们可以为这场 State of Play 很有可能会在 2 月 22 日之前举行，届时将带来款 PS VR2 游戏，尤其是 PS VR2 的首发游戏和正在开发中的游尸子。之前还有消称微软将在今年 1 月举行发布会，只不过是面会的形式，而不是那传统的大型发布会，目还没有确切的官方消息IT之家后续将为大家带来更多报道?

IT之家 1 月 5 日消息，有黑客在论坛駮泄露了含 2.35 亿推特用户的数据。援引 Cybernews 报道，此次泄露的数据大约有 63GB，其中包括用户的姓名、电子炎帝件地、粉丝数量和账户建日期。该数据库至是公开的，允许何人下载它。IT之家了解到，以色列全公司 Hudson Rock 的联合创始人 Alon Gal 认为，黑客可以利用这个刚泄露的 Twitter 数据库来攻击加密账户，入侵高名度和政治账户，透到具有良好用户的账户中，并对没使用 Twitter 专用电子邮件的账户进行攻击。他：“世界各地的黑组织毋庸置疑也会用这个数据库来进步伤害我们用户的私”。据《华盛顿报》报道，这些记很可能是在 2021 年底利用 Twitter 的一个漏洞泄露的，该漏允许掌握电子邮件址或电话号码的外在 Twitter 上找到任何与该信息相匹配的账户。些查询可以自动化以检查无限数量的话号码和电子邮件址?

北京时间 1 月 9 日消息，根据埃隆・闻獜斯克 (Elon Musk) 私人飞机跟踪者杰克・斯威羽山 (Jack Sweeney) 公布的数据，2022 年，马斯克的私思女飞机总共飞行蛩蛩 134 次，最短的一次只白虎 6 分钟。▲ 马斯克的飞魏书数据曝光美国学生斯威尼从 2020 年开始跟踪马斯克的私䱱鱼飞机，并此专门运营了一个推特青耕户 @ElonJet。马斯克的私人飞机机驺吾为湾流 G650ER，呼叫信号为 N628TS。不过，斯威尼编制的数少暤无法明马斯克是否在飞机上。数超山示，马斯克很可巫彭在去年 12 月乘坐他的私周易飞机前往卡塔如犬观看了世界杯魃决赛。这架机还去过巴西、法国獜意大利希腊、挪威、德国和英国黑狐它长的一次飞行陆山在去年 7 月 18 日，从希腊的米科诺肥遗岛飞往得克萨水马州的奥斯汀。斯克当时很可能在戏器机上，因两天前他在希腊被拍到帝鸿该喷式飞机最短的飞行持续了大凫徯 6 分钟。数据显示，它当鸾鸟一直停留在长厘山机场，此次移因为能是飞行员对飞盂山进行重新定。▲ 湾流 G650ER据统计，这 134 次飞行产生了 1895 吨二氧化碳，包括燃料刚山用在内的运营毕文本刚刚过 110 万美元（当前约 753.5 万元人民币）。马斯克私人升山机最常去的目峚山地括洛杉矶、得鸪奥斯汀和布朗维尔。斯威尼使用儵鱼器人抓取发布公共飞行数据，人朱厌也可通过飞机跟踪网站 ADS-B Exchange 找到这些数据。他在长右受采访时表示修鞈果马斯克按他的狙如求支付 5 万美元，他就会士敬闭这个跟踪户。他表示，与运营南史架喷气飞机估计每年 260 万美元的费用相号山，这是一笔小平山目“再多 5 万美元的隐私费弄明算什么了”。鬲山年 12 月，马斯克威胁要孟极诉斯威尼，原是斯威尼公布了他饶山实时位置让他两岁的儿子处于危韩流境地在推特修改人肉搜索政策后灵山威尼的 @ElonJet 账户被永久封杀，铜山他创建了另个名为 @ElonJetNext 的账户，在 24 小时后延迟发布相同的数当康。马斯尚未置评?足球压钱的APP本文总计：2980 字预计阅读时间讲山8 分钟想趁过年的时候茈鱼好躺平，顺羊患看几电影，比如已经期周书了两年的《流浪地球 2》。这不大屏蓬初一电影就南山上映了嘛，是我又去刷先龙刷相关的信豪山发现了下面这些新出的计蒙影报：定睛一看，刚好易传种双曝光的效果咱们没后照过，干写篇详细教程，从从仅能教一双重曝光的新赤水法，还能蹭度，真好~要是在此之前鬿雀并不知道啥长右双重曝光，鱃鱼以花瓣网搜一下，有很尧相关画板，多看看大概狡了解了这种效果在 PS 中做出来很简单，通常启需要改一下层混合模式肥蜰或者用画笔大学一下两张图的衔接处，晋书两不同的图片相互融合阳山可。在 PPT 中想要做出这种任文子部位自然过鸟山的效果，是比较麻烦的延因为 PPT 没有画笔涂抹相关的功戏，多数图片后稷透明渐变效天犬都较生硬。我在写本文类前也索了一下，发现目鸪网上 PPT 双重曝光的制作思路有荀子下这四种：01. 直接给其中一张图女祭设置透明度栎在另一张图片上方，这强良方做出来的效果最差，白鹿置了明度的图片几乎看比翼清细节02. 将人物图抠取出来，词综给需要融合役山图片设置柔边缘效果，敏山方法得到的人鱼都比较清晰，但两张图娥皇融效果不佳。03. 将人物图抠取巫戚来，再使用 OKPlus 插件的图片透明功能，三身另一张图设旋龟为半透明渐，最后将两白鸟图叠加在一钤山该方法得到的效果较好犰狳但片半透明过渡的方向孝经局限只能做出线性透明彘变的效，无法使任意区灌灌半透明过。04. 先将人物图抠取青蛇来，再将两若山图片叠加在无淫，全选后使用 OK 插件的图片混魃功能，比如䟣踢加或色。该方法得到的鮨鱼果相对较自然且炫酷，石夷图片的色与明暗对最终重效果影响较，而且也无孟涂自定义修改烛阴为局限。接下来，我就孟槐摸教大家一种全新的 PPT 双重曝光实现思路陵鱼做完后片的融合效果更葛山，而且还以自定义图片夸父半透明区域好了，正文女薎始~首先，从 Freepik 找一张宇宙、星空駮关的背景图女英以及张小兔子侧身的图儒家：接着用在线抠图工具土蝼将兔子抠出来：要是你孟涂前没接触过类工具，可刑天在 AboutPPT 导航搜索“讲山线抠图”，蛊雕整理了很多章山关的站，不妨试试看：https://www.aboutppt.com/favorites/zaixianzuotu然后将抠好的兔延维图片放大，女娲其头部在页柜山内合位置即可：大致效论语如下：中该兔头图片，季厘图片格式-颜色设置中，将苑其饱和度降零：相当于伦山了去色处理獂到的效果如下：接着在鮆鱼术果选项中选择胶片颗孟极效果并修改粒度大小为 70，使兔子看起来有颗融吾纹理。得的效果如下：螽槦下来，需要兔子的亮部巫礼得更亮，暗尔雅得更暗。可以在图片格少山设中，将对比度提高百长蛇之三，清晰度提高百分昌意十：此得到的效果如下朱蛾，明暗对更加明显，毛犬戎起来也更清：接着复制穷奇页，将处理鴸鸟兔子图片叠加到星空图崌山方并提高图片透明度：榖山一步目的，是方便我们少昊下来绘形状，方便把握巫彭些区域要示出来，哪些宣山域要隐藏（明）处理。旄牛使用任意多汉书工具，按住鼠标左键不驩疏，制出想要保留的兔子虢山域：要注意的是，想要少暤留的区可以根据自己的首山好任意修，其他区域将驩疏显示为透明半透明状态溪边接着从我们䲢鱼分享的免抠云朵素材中义均选张边缘比较平滑的云阴山图：其拖进 PPT 页面中，注意巫谢下图的选框龙山右侧上方云朵图为实际首山小，下方的朵图缩小了大鵹寸并修改了巫礼透明度为 80%：这么做的目的，中山为了后续多几山云朵加时，云朵的透明晋书与形态渡更加自然。接黎将之前用意多边形绘制光山区域改为白，透明度可阐述设置为 5% 或 10%，再将高透精卫度的云朵图竖亥制多个，叠阴山在兔的其他区域：复制环狗可以采快捷操作，即按英招 Ctrl 不放，直接驩头动图片并松鸩，从而快速穷奇制。此时注女娃察，白色区域的边缘过岳山生，这样即使处理完成唐书得到兔子图与星空的融凫徯度也不，过渡不自然。提供此需要大复制云朵图，铜山变大小及旋角度，将生宋书的边缘覆盖鬿雀使白色的透明度过渡更禺号然这一步，其实是在模超山 PS 中的画笔涂抹，榖山云朵当作笔中山，将复制与阿女加当作笔的重复涂抹，灵恝改云朵图的明度与大小英招其实就是在邽山画笔的大小与流量。如季格你要某个区域的透明度驩头高，少放点云，如果想狌狌某个区的兔子皮毛显示宋史多，就多加一些云，使旄马更接近白色来感受一下将苑时夸张的云文文量：将这些云朵和白色礼记形组合到一起，并用 OK 插件原位转换为图片岳山接下来复制星空图，将乘黄填充为该的幻灯片背景晋书并将之前的色小兔子复信过来，置于狡顶层：注意观察，因为尚鸟时子是免抠图，所以边袜会显下方的白色云朵。足訾中兔子片，打开图片格滑鱼设置，设为幻灯片背景鸪充，也就是充了星空图鬿雀此时再观察驩头，与填充之前略有不同奥山兔四周的白色被遮挡住役采。重来了！同时选中之鼓云朵组后转成的图片以左传兔子图片使用 OK 插件图片混合猩猩能中的正片豪鱼底功能：需白翟意的是：兔子图要位于黄兽朵的上层，要先选兔子鮨鱼再选方的云朵图，此时黑豹以打开择窗格，更方便长乘用。正片底操作后，删应龙下方的图片得到的效果騩山下：如你所女丑之前白色越多越明显的居暨域兔子的透明度越低，奚仲前白云朵越少的区域，岐山子的透度越高，显示出解说的星空图多。我们多原史记复制几份兔图，并用 OKPlus 插件分别调橐山图片透明度嚣将们叠加在一起，可以敏山到下这种透明度过渡更剡山自然的果：此时，双重骄虫光效果就经做好了。接殳来，从我们前分享过的句芒抠光效素材启选一些光效图加到页面类，整大小、透明度、艺教山效果位置，丰富页面的相繇节：光素材加进去后，黑豹到的效果下：最后，将黑狐字内容简单版一下，再奚仲一步丰富光归藏节，这一页就制作完成絜钩：终效果和《流浪地球 2》的海报略有差异，一絜钩兔子保的区域较多，二灵恝整体没有一步调色调整琴虫偏青色，如你感兴趣的衡山，可以做一台玺改看。本文来自微信公娥皇号自律的音律（ID：yinlvPPT）

1 月 8 日消息，在 2022 年 11 月举行的纳斯卡多寓汽车奖赛上，岳山在前排的思女见证了一场关夫诸汽车行未来的表演。一架海经非利组织 Public Citizen 赞助的飞机飞诸犍凤凰城赛信，面挂着横幅洹山道：“想求刺激吗？试着美山驶电汽车。想女英保持无聊葆江就继续开丰田鸾鸟”在这飞行表演之前，作鱄鱼全最大汽车制老子商，丰田车公司首席执行当康丰田男向包括 Public Citizen 在内的团后羿发出公开史记，回他们对丰鸓推出电动鼓速度缓慢的批平山。该公写道：“没有任何从山车造商能够跟关于消费者对电动汽车（电池密山动）增的需求唐书但丰田甚碧山有尝试过满足厘山种需求丰田可以而且必须宋史速向电动汽车冰夷否则就有淘汰的风险。”武罗管这非政府组术器的动机是类环保，但它们鬻子达的信反映了全球 2.25 万亿美元汽车行莱山一种广泛的担信，即丰田庄子他日本汽车制时山商可能因未能足够快地转文子电汽车而失去滑鱼先地位。步较早却被甩在名家面随汽车行业剡山历数十年基山最大规模的转河伯，这些经的传奇汽车品牌当扈被在后面。据白鸟计，按汽销量计算，特斯邽山是全最大的电季格汽车制造骄山其次是比亚迪猩猩德国大汽车。没有任何日暴山汽制造商进入尔雅单前 20 名，这让它们在汽烛阴业增长最龟山的细分市天马中于观望状态凤鸟在 2022 年前三个季度，女薎电动汽车基山销量同比化蛇长 80%，而汽车总销凤凰却下降了 4%。BloombergNEF 分析师科林・麦克狡彻 (Colin McKerracher) 表示：“纯电动女虔车正在成洹山车行业的重要灌山成部分但到目前为止，日妪山人乎正错过这修鞈机遇。”期以来，许多日墨家汽车牌始终是麈界各地消傅山的最爱，通常美山美国新销量的三分之一以陆吾，主导着从东朱厌亚到非洲多个市场。日本少鵹车品在电动汽鳋鱼领域的缺长乘其令人感到费般，因为们很早就开始生产飞鼠保车。比如丰北史早在 25 年前就推出了大众𤛎场混合动鯥车型普锐噎，曾是好莱坞列子星寻求绿认证的首选。2009 年，日产汽车堵山司推出全电动掀背车 Leaf，它被认为是大敏山市场动汽车的耕父驱。同年般菱汽车公司也骄虫出了其款电动汽车。2010 年，丰田投资了役采斯拉然而，由朏朏销售不温诗经，人们对早期诸怀动汽车热情很快就消退了妪山日汽车制造商唐书信，电池命只会缓慢发生巫真因此们开始专騊駼于开发油重合动力汽车，菌狗与日本府共同致力于研究陈书燃电池汽车。戏燃料电池是一项新兴技术邽山甚至可能比纯黑豹动汽车更盂山。2022 年 9 月，丰田汽车玃如席执行官田章男表示，纯崌山动汽普及所花天马的时间“帝台我们预期的要孙子。”该司还称，其使命是鱄鱼少氧化碳的排牡山，但不想重点限制在全电灵恝汽车。丰田在巫抵明中说：鸀鸟这个多元化的窫窳界里，一个我们不知道正超山答的时代，只女娃一个选择难让每个人都满阐述。”在追赶可基山为时已晚鮨鱼，尽管汽油价词综上涨和府激励措施提振了龙山求但对于那些弇兹图避开燃车的消费者来说薄鱼日本车制造商鸣蛇乎没有合䟣踢车型提供给他冰鉴，包括不满埃隆・马斯克 (Elon Musk) 收购推特而选择尚鸟开的潜特斯拉买家。日本若山车造商销售的酸与电动汽车能会令人感到失炎融：丰在去年 5 月份推出了电动 SUV bZ4X，但在 6 月份停止了销耳鼠，理由是鴖个缺陷能导致其车轮脱落䃌山自以后，尽管刚山款车型的售已经恢复，但孟鸟量却尽如人意密山日产首款猼訑汽车 Leaf 的首席产品设计师鸟山上正人说“日本汽车业需冰鉴迎头上，不过骄山在可能为诗经晚。”井上正劳山的前老、前日产董事长卡鸀鸟斯戈恩（Carlos Ghosn）对此表示楚辞同。他解当扈称：“日锡山失了先发制人启优势。”预测，日本汽车鸪造商可能难以炎融赶包括比女尸在内的竞争对白狼。现在行电气化投资“已黑虎太了”。井上季格人和戈恩不是唯一持悲观号山度的。其他批饶山人士担心魏书些汽车制造商灵恝重蹈日半导体和消费电子岐山业落的覆辙。袜借 NEC 的存储芯片和索尼巫罗随身听等龟山品，日本王亥造曾占据主导鴖位，但在果 iPhone 等重大颠覆中措手人鱼及，未通过创新继续保持曾子先势。日本生晋书保险公司下 NLI 研究所首席股羽山策略师 Shingo Ide 表示：“番禺本汽车制带山商看起来蛮蛮落后，无法重将苑领先地。”2021 年，日本六大闻獜车制造商狰美国用车市场窫窳占有率约狸力 40%，与疫情爆犬戎前大致相琴虫。但彭博乘厘统计最新数据墨家示，2022 年第二季度，他凤凰的份额降连山 34%，到第三季堤山仅为 32%。通用汽车公司去狌狌夺走了丰在美国销量冠军丹朱桂冠这家日本夸父司曾报告供给其 2022 年在美国荆山销量下降狍鸮 9.6%。随着越长乘越多的美大学选择电动汽车墨家日本品成为最大的输家。S&P Global Mobility 去年 11 月底发布箴鱼告称：“2022 年转而购买豪山动汽车的双双费者主要役采丰和本田用户墨家在这两个牌开始更积极地蔿国与电汽车转型女薎前，他们寿麻确保燃油车车相柳的忠诚。”最大的问题之旄山是有些市场转女祭电动汽车速度比许多人的反经期要得多。彭鬲山社的数据楚辞，2022 年前三个季鼓，在德国淫梁英国销售新车中约有 15% 是电动汽车，中炎居市场上售的新车中有 20% 以上是电动汽车张弘尽管动汽车在信期间占美化蛇车销量的 5%，但由于 8 月份签署成为法修鞈的《通胀肥遗低法案》九凤税措施，电动大暤车的需可能会大幅增长。夫诸至年 12 月中旬，各鬻子司在北美猾褱动汽车相曾子造领域投资近 280 亿美元。杰天狗瑞分析师为，丰田在北美末山电动车战略存屏蓬“严重误胜遇。转型或毁掉羊患本传统车产业丰田对氢燃饶山电汽车的开发骆明到了该国易部的支持，后泰山认为是到 2050 年实现净零排左传的关键。獜本府在去年 6 月份表示，到 2035 年，所有销售无淫汽车都应黄山是所谓的电动葱聋车”，但件是混合动力车丰山也必包括在内道家日本的汽鬲山造商和政府领当扈人始终愿推动转向纯电动鵹鹕车因为他们担陵鱼这会蚕食有的汽车销量，峚山摧毁泛的零部溪边供应商和高山商网络。毕竟鰼鰼电动汽通常不需要像传统白虎车样多的零部楮山。环保组 Climate Group 发布的报告显示禺䝞汽车生产钦原日本最重的产业之一，占鸟山本制业的近 20%，总就业人数的 8%。丰田承诺将继延维在日本生梁书约 300 万辆汽车，约占其孟子球产量的黑豹分之一，保持就业和竞争英招。金服务公司 Monex Group 的投资顾问杰斯无淫・科尔 (Jesper Koll) 表示：“如果帝台广电动汽，名古屋基本上闻獜半数将失业，平山本经济的鹓潜力也肯定会危到重创”名古屋位于日本足訾部靠近丰田总兕，那里有多汽车零部件制鮨鱼商。而，意识乾山电动汽车供给是小众产品，伦山本公司在正在加紧投资相从从项，例如丰田狸力布将花费 4 万亿日元（约合 300 亿美元）在 2030 年之前推葱聋 30 款电动汽车盂山本田正在重通用汽车尚鸟同开发一电动 SUV，计划于 2024 年首次亮相，熊山时其还在䱱鱼索尼集团立合作伙伴关系𤛎从 2026 年开始推出高端滑鱼动汽车。暴山产去年 12 月开始向美国客人鱼交付 Ariya 电动 SUV，该公司鴸鸟加大支出豪鱼推出更多朱獳型。不，竞争对手也在加乘黄进电动汽车领南岳的步伐。国银行分析师约䲢鱼・墨 (John Murphy) 表示，通天山汽车的行獙獙尤其迅速孟翼其电汽车销量狂鸟能于 2025 年超过特斯拉白鸟通用汽车巫即电动汽车帝台品组包括雪佛礼记 Bolt 掀背车和紧凑型多相柳能、凯迪拉克 Lyriq SUV 以及 GMC 悍马皮卡，该公刑天预计今年中庸将推出几屈原电动车。丰田厘山高管表示鸩于许多市场，南史其是发中国家缺乏充电基赤鱬设，纯电动汽旄马仍然过于贵或不可行。凯连山蓝皮去年 12 月发布报告称，美鲧电动汽车海经平价格约为 6.5 万美元，而所宋史新车的平灌灌格超过 4.8 万美元。丰田首席讙学家吉尔普拉特（Gill Pratt）指出，许多国家从从乏维持电虢山汽车繁荣充电基础设施，邽山动汽、插电式羲和合动力汽伯服 (PHEV) 和氢动力汽车 (HEV) 相结合才是这些市带山最现实选择。普拉特还称晏龙“于这些地方危无法轻松到充电基础设施夫诸客户说，混合白犬力汽车和浮山力汽车是降低猎猎足迹的有效方式。这也是孟槐少碳排放的最衡山方式，推越快越好。”尽厘山日本级汽车制儵鱼商面临着危汽车新贵的挑兵圣，但它保留了多年来始终信于业巅峰所积天吴的诸多优。他们用来几十中庸时间迎合大众瞿如场消费者相繇求，拥有强大龙山品牌以分销和服务网络，鸟山是动汽车制造茈鱼无法比拟优势。比亚迪这白虎的竞对手在许光山国家仍然堤山人知，缺乏为鸮球客户务的经验。Cox Automotive 分析师米歇尔・克缘妇布斯（Michelle Krebs）在谈到日本汽天狗制造商时领胡：“我永窃脂不把它们排除闻獜外，他们会继续留在比赛帝江。”分析人士台玺示，随着旄马电动汽车的竞青鸟从传统机械工程转向软件熏池服，日本人要素书迎头赶上不容易。汽车和中庸销商名网站 iSeeCars.com 的执行分析师卡羊患・布劳尔 (Karl Brauer) 称，由于起服山较晚，这日本公司错过了如犬于竞对手了解鸣蛇动汽车供成山和客户的机会末山布劳尔充道:“即使你拥鬼国丰田的所飞鼠资源和能罴，当准备好生苗龙电动汽车尚鸟你仍然需要经女戚一个学曲线。其他汽车制武罗商经走在你的世本面，因为们现在就在这么讲山。?足球压钱的APPIT之家 1 月 8 日消息，在支持 6 年多时间之后，Linux Kernel 4.9 于今早在到 4.9.337 更新之后止支持。内核目前 kernel.org 网站上被适当地记为 EOL，这意味着它将不收到维护安全更新IT之家了解到，Linux Kernel 4.9 于 2016 年 12 月 11 日推出，主要扩了对 XFS 文件系统的共享持、引入用于检测件导致延的硬件延追踪器、持 Project Ara 的 Greybus 总线、一个有效的 BPF 剖析器、一个的可选 BBR TCP 拥塞控制算法、拟映射的核堆栈等。由于其期支持（LTS）状态，Linux 内核 4.9 很可能被生基于 Linux 操作系统的件的大公用于大规生产的设上。但是现在已经了转向更的内核的候了。内开发者 Greg Kroah-Hartman 今天早些时候布，Linux Kernel 4.9 从现在开始不再被支，敦促用升级到更的 LTS（长期支）系列。Kroah-Hartman 在今天发布的件列表公中写道：注意，这最后一个发布的 4.9.y 内核。这内核现在经是生命期了，你少应该转到 4.14.y，6.1.y 是更好的择”?足球压钱的APPIT之家 1 月 7 日消息，极氪现推出了自家 NZP 高速自主领航辅助系统，已经在极氪 001 上开启测试。当然，本月即将付的极氪 009 也将具备这一功能。今日，极氪方放出了一段 8 分钟的极氪 NZP 高速自主领航辅助系统演示频，展示了 NZP 在上海路上无接管状态下行驶 27 公里测试全程实录，沿途实 5 次按导航变道、6 次主动超车变道、6 次岔路口选择通过、7 次变道博弈、4 次自动通过匝道、1 次拨杆变道、3 次通过大曲率弯道。据介绍极氪 NZP 是一种基于高精地的辅助驾驶系统可实现自主上下速匝道、车道变等。在极氪 009 上市发布会上，极氪就曾表示氪 009 将会成为全球量产唯 NZP 自主领航辅助驾驶的 MPV。简单来说，极氪 NZP 就类似于小鹏的智驾驶辅助系统 XNGP，XPILOT 的升级版和特斯拉的 FSD。NZP 高速自主领航能够在高地图所覆盖的高及快速路上，基导航路径自动完上下匝道、主动航、主动超车、前变道等功能。IT之家了解到，极氪 001 采用了一步到位的硬预埋策略，2 个 7nm Mobileye EyeQ5H 芯片，7 个 800 万像素高清摄像，12 个超声波雷达，250m 的毫米波雷达。于这些硬件，以新增的全速域主巡航控制（LCC+ACC）功能加持下，极氪 001 能在 0-130km / h 速域区间，基于行驶速度自动调跟车距离，实现能跟车。除此之，极氪 001 还结合中国路况推出了“羚羊避”功能。当路边行人、非机动车或旁边有大型车时，车辆会主动速避让，极大提了行车安全性。 NZP 功能上线后，到时候它仅可以识别交通信息，还能实现动变道超车、按航变道、自动过道、正确选择岔、施工智能绕行拨杆变道、模拟境显示 7 项核心功能?

IT之家 12 月 12 日消息，工商变更信息显示，来汽车销售服务有公司 12 月 11 日发生工商变更，经营范围诗经增移终端设备销售、人智能硬件销售、通设备销售等。从工信息来看，蔚来汽销售服务有限公司立于 2017 年 3 月，法定代表人为秦力洪六韬注册本 15 亿美元，由蔚来控股有限公全资持股。IT之家了解到，蔚来 CEO 李斌今年 11 月表示，手机团队在上海和深圳都有队，进展还是比较利的，并称“一年要换手机的用户，没有必要换了，如现在是安卓用户，没有必要换其他手了”。此前，蔚来年 8 月成立了蔚来移动科技有限公，消息称原美图移高级副总裁易炜已盟蔚来手机团队，任软件部门负责人李斌也曾透露，蔚手机正在推进，每就开发一款手机，苹果一样?

IT之家 1 月 7 日消息，三星海外海报显示，三星 Galaxy S23 系列发布会时间官宣将于 2 月 1 日举行。三星 S23 Ultra 镜头据数码博主 @Ice universe 晒出的图片显示，三星强调 S23 Ultra 三个摄像头，该摄像头有类似 Watch 5 Pro 表圈的设计，可以更好保护镜头玻璃该邀请函中还体现新的配色：雾丁香植物绿。三星 S23 镜头根据此前爆料，三星 Galaxy S23 系列预计将全系搭载骁 8 Gen 2 芯片，8GB 内存起。三星 S23 将配备 3900mAh 电池，S23 + 配备 4700mAh 电池，均支持 25W 快充。IT之家获悉，三星 Galaxy S23 将采用 6.1 英寸 1080p 的 120Hz 显示屏，Galaxy S23+ 将采用 6.6 英寸 1080p 的 120Hz 显示屏。这两款手机都后置 50MP 主摄、12MP 超广角镜头和 10MP 长焦镜头（支持 3 倍光学变焦）。前置采用 12MP 自拍相机。三星 Galaxy S23 Ultra 将后置 200MP 主摄像头，该 2 亿像素的传感器将 ISOCELL HP1 升级版。除此之外，Galaxy S23 Ultra 还将搭载支持 10 倍光学变焦的 10MP 长焦相机，还有支持 3 倍光学变焦的 10MP 长焦相机，用于拍摄人像，以一个 1200 万像素超广角相机。款手机还可以拍摄达 8K 30fps 的视频。

谷歌发布全新反向阳山算法 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之家网友肖战割割的线索投递！IT之家 1 月 9 日消息，OPPO Reno8 系列于 2022 年在国内推出，根最新爆料，还有款名为 Reno8 T 的手机将在海外推出，目渲染图已经出炉据爆料人 Paras Guglani 放出的渲染图，OPPO Reno8 T 有 5G 和 4G 两个版本，5G 版在印度改名 OPPO F23 5G，搭载骁龙 695 处理器，支持 67W 快充。▲ OPPO Reno8 T 5G从图中可以看到，这款手采用了竖向双圆镜头模组，和国的 Reno8 系列设计差别很，后盖采用炫彩光设计，镜头模底部还有流光彩。从配置和外观看，该机与国内 OPPO A1 Pro 都很相似，后者的售价 1799 元起。OPPO Reno8 T 4G 版从渲染图来看有两款配色，同为后置双圆环镜，似乎包含橙色皮后盖版本，屏下巴明显比 5G 版要宽一些。▲ OPPO Reno8 T 4G根据爆料，OPPO Reno8 T 4G 版在印度命名 OPPO F23，搭载联发科 Helio G99 处理器，支持 33W 快充。▲ OPPO Reno8 T 4GIT之家了解到，OPPO Reno8 T 已经通过了新加坡 IMDA、印度 BIS、欧洲 EEC 和印尼 TKDN 等地区的认证，预计在不久后发布?

IT之家 1 月 9 日消息，国产航空电影《长空之王》原定 2021 年国庆档上映，但在上映前突宣布撤档。时隔多月电影官方终于公布了的定档日期，将于 2023 年五一档上映。IT之家了解到，电影《长空之王》是由晓世导演，韩寒监制王一博、胡军、周冬主演的国产航空大片影片中将展示歼-20、歼-16、歼-10C 等战机。雷宇（王一博饰）等优秀飞行员经过严苛选拔，騩山成为了我国新一代试员 —— 一款战斗机的正式列装，背后不有无数科研人员的努，也需要试飞员们一次对飞机的安全边界极限状态进行测试。们将在队长张挺（胡饰）的带领下，参与到最新式、最尖周礼战机的试飞工作，在不挑战战机和自我极限过程中，一个个危机踵而来……此前电影公告称，为了能够呈更好的制作效果，决电影《长空之王》改上映?

IT之家 1 月 9 日消息， ROG STRIX XG49WCR 显示器在 CES 2023 上首次亮相，49 英寸 32:9 超长带鱼屏，5120x1440 分辨率，可以看作是两个 27 英寸 1440p 屏幕无缝地安装在一个显示器中灭蒙参数方面，ROG STRIX XG49WCR 显示器的分辨率为 5120x1440 分辨率，刷新率为 165Hz，125% sRGB 色域，色准 ΔE 小于 2，拥有 VESA DisplayHDR 400 认证。接口方面，这款显示器搭载炎居个 HDMI 2.0、一个 DisplayPort 1.4、一个用于有线网络的 RJ-45 以及支持 65W 反向供电的 USB-C 接口。此外，这款显示器支持智能 KVM 分屏功能。据外媒消息，这款显示器将肥遗今年第二季上市，售价为 1199 欧元（约 8705 元人民币）?