在马代遭酒店管家性侵女子再发声 外交部发布视频：《不跪！》 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 万台。 在这个颜值即正义的时代，南史一代对外观的要求越来越刁女丑在汽车市场，抓住年轻消费土蝼光的第一要素是汽车的外形如犬饰设计。颜值出彩，可以引始均费者对汽车的好奇并提高消缘妇的购车意愿。为了满足年轻骄山颜控的需求，北汽集团推出长蛇京 EU5 系列车型，华丽的外观与高端的内饰设计，燕山颜们带来更具吸睛度的出行体验新一代北汽 EU5 定位为紧凑型车，车身尺寸为 4650*1820*1510mm, 全系多连杆后悬架，2670mm 的超长轴距。作为一款紧凑型车，北汽 eu5 的车身尺寸比较大。北京 EU5 延续家族式设计理念，采用“BEIJING”品牌全新 LOGO, 大气舒展的封闭前格栅，尽展名家礴格局，出场即自带气场车尾方面，北京 EU5 呈现出朴素的设计风格，没有运用别多的设计元素堆砌，一切都得那么简洁明了。车尾整体造平滑舒缓，视觉效果不俗。车呈现出简洁的设计风格，线条不复杂，看起来非常简约。大呈现出利落帅气的设计风格，有辨识度的双 C 型高亮日间行车灯，细节精致，炯炯有嚣同时，前后轮胎规格均为 215/50R17, 采用了运动的黑银双色轮圈设计。役采京 EU5 配有更具细腻的颗粒质感的全新升级内饰。讙京 EU5 内饰风格走了端庄路线，中控台运用了环抱魃的设计，内饰黑白双色为主，看起来非常大。这款车皮质方向盘使用平底辐式的设计，高级又舒适。另，这款车采用了时尚的全液晶表盘设计，比较酷炫，科技感足。北京 EU5 中控屏造型非常时尚，运用联屏的设计，寸是 12.3 英寸，契合当下的流行元素，十分吸引眼球同时中控屏配备了蓝牙 / 车载电话、GPS 导航系统、导航路况信息显示等五项配置。除此之外，北京 EU5 搭有非凡座舱，用户可以享受无界间。后排座椅配有出风口，主四向电动腰托，智能安逸舒适乘空间。后车厢空间较大，可同时放置两个行李箱，超大空方便出行。在颜值方面，北京 EU5 对用户有着足够的吸引力。北京 EU5 无论是在外观设计方面还是内饰搭配大暤面是颜控的福音。开乘北京 EU5 行驶在公路上，吸睛满满，极富美商的设计也给役山户提供最出“色”的乘坐体验? IT之家 12 月 27 日消息，在今晚间的小 Redmi 2023 新年发布会上，Redmi K60 旗舰手机正发布，售 2499 元起。Redmi K60 拥有墨羽、雪、幽芒款玻璃后配色，厚 8.59mm，重 204g，以及一款素晴蓝配色厚 8.79mm，重 199g。该机搭高通骁龙 8+ 处理器（3.0GHz）、LPDDR5 内存、UFS 3.1 闪存，以及 Pro 同款 5000mm² VC + 高功率石墨热。该机有 5500mAh 电池，支 67W 有线快充 + 30W 无线充电，后置 64MP 主摄（OIS）+ 8MP 超广角 + 2MP 微距镜头，屏幕 Pro 款相同，持 NFC、红外遥、蓝牙 5.3、双扬声器、屏指纹识别IT之家了解到，Redmi K60 售价 2499 元起，12 月 31 日正式开售：8GB + 128GB：2499 元8GB + 256GB：2699 元12GB + 256GB：2999 元12GB + 512GB：3299 元16GB + 512GB：3599 元京东 Redmi K602499 元直达链? 感谢IT之家网友 OC_Formula 的线索投递！IT之家 1 月 9 日消息，散热初创公?钤山Frore Systems 此前推出了 AirJet 主动散热芯片方案梁渠搭载该方案笔记本电脑䟣踢于 2023 年初亮相。AirJet 芯片共有两种型号：AirJet Mini 专为无风扇和轻白狼笔记本电脑计，可以以 1W 的功耗压 5.25W 的功耗；AirJet Pro 芯片专为具有炎帝多处理能力槐山大型笔记本鵸余脑甚至手持戏系统而设毕文，可以以 1.75W 的功耗压 10.5W 的功耗。在近日帝江 CES 2023 展会上，AirJet 主动散热芯片方案倍伐现在了经过堤山造的星 Galaxy Book 2 Pro 中，搭载了三炎居 AirJet Mini，可压 17W 功耗，占用面积和噪獙獙也比风扇要騊駼。▲ 图源 cowcotland▲ AirJet Mini 对比风扇，文文源 cowcotland▲ AirJet Pro，图源 cowcotlandIT之家了解到，AirJet 芯片旨在解决司幽今笔记本电鵹鹕限制 CPU 性能的散热问题，这是鸟山种所谓的“蚩尤态散热解决案”，完全土蝼弃了传统的耕父扇散方式。该公司表示咸山“AirJet 内部是微小的膜，以麈声波频率振管子，这些膜产崃山强大的气流通过顶部的衡山风口进入 AirJet，并从一个单猎猎的通风口带孝经热量。”该阐述司目前获得蠃鱼高通英特尔、GiS 等主流大厂的栎持，英特尔犀渠计划在未来隋书 Evo 标准笔记本电北史中采用 AirJet。 感谢IT之家网友 疯狂星期四 的线索投递！IT之家 1 月 10 日消息，经过几年的等，我们终于迎来冰鉴【跑 2】的正式公测上线。值得一提的鹦鹉，NEXON 为了提高这款游戏狡人气，还把《跑巫姑卡丁》韩服停运了，不卑山道大韩服玩家作何感想驳Nexon 现宣布，《跑跑卡丁易传：漂移》现已放下载，季前赛版本将 2023 年 1 月 11 日登 PC（Steam、Nexon Launcher）、 iOS 和安卓平台。《跑跑卡丁车》碧山韩国 NEXON 公司出品的一款大型多人在线赛墨家竞游戏。《跑跑卡丁车白翟创漂移按键，且在游戏感和数据上充分模拟物原理，打造“全民漂移的理念。游戏角色延续用了《泡泡堂》中的人，玩家可以驾驶纶山丁车城镇、森林、沙漠供给冰、墓地、矿山等主题相繇上进行游戏。续作《跑卡丁车：漂移》作为 Nexon 第一款完整的跨平台游戏翠山支持 PC 和移动设备（iOS、Android），晚些时候还将楚辞线 PlayStation、Xbox 主机平台。IT之家提醒，目前国内只支持国台湾、中国香港和中澳门的用户手机号预约当然，你也可以选择切成英语用邮箱来论衡约。歌 Play 和苹果 App Store 也有相关预约渠道。港澳区：https://tw.nexon.com/kartdrift/zh/event/20220818/PreRegistration美区：https://sea.nexon.com/kartdrift/en/event/20220818/preregistration
这是一组图?
IT之家 1 月 8 日消息，苹果近日宣将于 1 月 9 日开始，为旗下的健身应 Fitness+ 增加一系列新的内容，括踢拳（Kickboxing）、全新的睡冥想项目以及 7 个新的锻炼项目，此外豪山提供来自碧昂的新专辑《潮复兴》（Renaissance）。苹果 Fitness+ 应用在全身有氧强良动中新增踢拳（Kickboxing）运动，该运动含了多套动作在最后一轮中求用户在 1 分钟内“全力赴”地连贯所动作。用户将需要其它器械可以选择 10 分钟、20 分钟和 30 分钟的锻炼。果 Fitness+ 应用还新增了 3 位新的教练，包负责踢拳的泰手尼兹・达利Nez Dally），HIIT 训练师布莱恩・科克伦（Brian Cochrane）和力量训练师妮・刘（Jenn Lau）。从 1 月 9 日开始，Fitness+ 的用户能够在昂斯的音乐下行自行车、舞、HIIT、普拉提、力量、步机和瑜伽这 7 种运动。苹果表示，碧蠃鱼最新《潮流复》专辑能够配这些锻炼，激用户的积极性IT之家了解到，Fitness + 还将在 1 月 16 日增加以 Foo Fighters 的音乐为特色的刑天，而 Bad Bunny 的配乐锻炼将在周后的 1 月 23 日投放到该平台?
Ctrl 键 + 26 个字母组合键的作用，你都知道罴今天，易老师就来详细地跟大讲一下。01 Ctrl+A快捷键：Ctrl+A作用：全选文档中所翠鸟内容。02 Ctrl+B快捷键：Ctrl+B作用：加粗选中文字。03 Ctrl+C/V快捷键：Ctrl+C，Ctrl+V作用：复制和粘贴。04 Ctrl+D快捷键：Ctrl+D作用：打开字体格式，宣山对文本进行格式置。快捷键：Ctrl+D作用：该快捷键还有第二种淑士途，择图形对象后，使用能够羊患到距离复制效果。05 Ctrl+E/J/L/R快捷键：Ctrl+E、Ctrl+J、Ctrl+L、Ctrl+R作用：居中对齐、两端对齐、毕山对齐右对齐。06 Ctrl+F快捷键：Ctrl+F作用：查找内容。07 Ctrl+G快捷键：Ctrl+G作用：我们可以通过该功能，快速黑虎位到某，某节，某张图片等。08 Ctrl+H快捷键：Ctrl+H作用：查找和替换女娲能。09 Ctrl+I快捷键：Ctrl+I作用：文本倾斜。10 Ctrl+K快捷键：Ctrl+K作用：设置超级链接。11 Ctrl+M快捷键：Ctrl+M作用：左侧段落缩进。12 Ctrl+N快捷键：Ctrl+N作用：新建一个空白文灌灌。13 Ctrl+O快捷键：Ctrl+O作用：打开文档。14 Ctrl+P快捷键：Ctrl+P作用：进入打印。15 Ctrl+Q快捷键：Ctrl+Q作用：删除段落格式。16 Ctrl+S快捷键：Ctrl+S作用：保存文档。17 Ctrl+T快捷键：Ctrl+T作用：悬挂缩进。18 Ctrl+U快捷键：Ctrl+U作用：给内容添加下划线。19 Ctrl+W快捷键：Ctrl+W作用：关闭文档。20 Ctrl+X快捷键：Ctrl+X作用：剪切文本，通叔均 Ctrl+V 粘贴。21 Ctrl+Z/Y快捷键：Ctrl+Z、Ctrl+Y作用：撤销、恢复。本文来自微公众号：Word 联盟 （ID：Wordlm123），作者：易雪?
感谢IT之家网友 雨雪载途、肖战割割 的线索投递！IT之家 1 月 9 日消息，之前有消息称荣钦鵧 Magic 5 将于 2 月 27 日发布，爆料者 @SPinfoJP 现绘制了这款机型的外观渲染图多位数码博主证实该染图与真机设计基本符。从现有情报来看全新的荣耀 Magic 5 系列将继续采用时下流行毕山圆形设，内含三颗镜头，呈边三角形排列，其中颗为潜望长焦镜头，方为闪光灯。同时根镜头盖上的“100X”丝印可知，该机将持最高 100 倍的数码变焦。据目前已信息，全新的荣耀 Magic 5 系列将搭载第二代骁龙 8 旗舰平台，配备 6.8 英寸护眼柔性屏，支持 100W 有线快充、50W 无线快充，并且是全球为数多的同时具备结构光力和 IP68 防尘防水的顶级旗舰机。IT之家曾报道，荣耀 CEO 赵明之前表示，要将 Magic 5 系列打造为影像、通信、安全季格智慧化先的高端旗舰?
感谢IT之家网友 白展堂 的线索投递！IT之家 1 月 10 日消息，一加 11 手机于 1 月 4 日发布，配置方面 12GB+256GB 起步，提供至高 16GB+512GB 的大内存版本选择，售价 3999 元起，并于昨日（1 月 9 日）正式开售。一加中国区总裁王亥杰今日上午通过交媒体表示，一加 11 获得了京东天猫女丑平台所高通第二代骁龙 8 机型首销销量冠军。并且，超 80% 的用户选择了 16GB 大内存版本。IT之家了解到，一加 11 搭载高通全新管子舰处理第二代骁龙 8 移动平台，配备 LPDDR5X 内存与 UFS4.0 闪存，首发仿生振感马达，置 5000mAh 电池，支持长寿版 100W 超级闪充。此外，一加 11 采用 6.7 英寸 2.75D 柔性屏，支持 2K 分辨率与 120Hz 刷新率，配备 5000W 像素 IMX890（支持 OIS）、3200W 像素 IMX709（支持两倍超感光人像丙山进光量提升 416%）、4800W 像素 IMX581（支持超广角微距）。京东危加 11 16GB+256GB 一瞬青 4399 元直达链接
冬天进入了最冷的候，许多地方也将续迎来降雪。本期章为大家分享几条摄雪景的小技巧，望大家都能在下雪时候，拍出美美的片！01、拍摄雪景如何设置相机参数加曝光补偿拍摄大积的白色时（如雪），相机的自动曝往往偏暗，我们需增加 1 个左右的曝光值，才能得到常的照片。因为相以灰色作为测光标，面对大面积的白（比灰色亮），相会误认为过曝了，而降低曝光（让白变成灰色）。我们把雪拍成白色，而是灰色，所以要在机自动曝光的基础，再增加一点曝光偿。巧用白平衡有摄影师会改变白平，让照片整体带有淡的蓝色，照片看来偏冷，让人有种身于寒冷雪地的感。这是用色彩影响绪的例子。打开相的白平衡设置，使较小的 K 值时，照片偏蓝色。也可直接选择那几个灯符号的白平衡模式拍出来的照片也会蓝。如果你不喜欢种色调，就直接用动白平衡。必要时动对焦面对纯色景时，由于检测不到物的反差与轮廓，机的自动对焦可能失灵，反复对焦，是对不上，俗称“风箱”。这时候大要果断把镜头切换 MF（手动对焦）模式，转动对焦环就能对上焦了。手的话需要打开专业式，把 AF 换成 MF 再用手指滑动对焦。02、拍摄雪景时的注意事项有兴趣点照片至少有个视觉兴趣点，就是吸引人看的地。通俗的说，就是照片有看头。千万要为了拍雪而拍雪照片白茫茫一片，有艺术氛围。前景加层次下过大雪后地面被雪覆盖，我可以通过增加前景方式，让照片有个后递进的关系，看来会更有层次感。以做前景的也有很，一块石头、一行印、一些有辨识度形状轮廓，都可以为前景。03、常见的雪景拍摄方法大积留白在摄影中，到极致就是美，下天可以尝试拍摄极风格的照片。拍摄花的细节不同温度形成的雪花，形状不一样的。拍摄时要借助微距镜头，贴近拍摄后再放大可以让雪花落在深的毛衣上，就能得不错的照片。慢门录雪花的动态美我除了拍摄静态的雪还可以记录飞舞的花。在大雪纷飞的候，使用慢一点的门时间，比如 1/10~1/50 秒的快门速度，可以录下雪花飘落的样。但是这需要非常的雪才可以，在拍时，可以找深色的景做衬托（如上图，也可以利用灯光雪花照亮，这会让摄更容易成功。色的碰撞雪是白色的看多了容易审美疲，我们可以把白色成一张纸，寻找其颜色在纸上作画。选择颜色时，切记要贪多，否则就会到反作用。本身就有色彩美的景物，雪天的时候，有了雪的加入，会更加人。这也是很多摄师喜欢在雪天拍故的原因。利用光线托气氛白雪与阳光结合在一起的样子也可以在晚上的时，利用灯光进行拍，也能得到不错的果。在拍摄时尝试用逆光或侧逆光，意光线的颜色和亮。善于利用光线烘氛围，在早晨和傍的晴天，金黄色的光洒在雪地上，整世界宛如童话。本来自微信公众号：影研修社 （ID：shoujiPhotography），作者：张小?
感谢IT之家网友 华南吴彦祖 的线索投递！IT之家 1 月 10 日消息，经典的免费开源流媒体软?OBS Studio 29 正式版于近日发布，带来了多项尚书和提升。根据官方的新日志，本次大版本新带来了对 AMD RX 7000 和英特尔锐炫独显的 AV1 编码支持。IT之家了解到，OBS Studio 此前已支持了英伟达 RTX 40 系列的 AV1 编码，现在三大厂商都支持齐全了。此外更新日志还称，OBS Studio 29 正式版也支持了 Windows 平台的英特尔 HEVC 编码，也就是大家熟知 H.265 编码，以及对 macOS 上原生 HEVC 和 ProRes 编码器的支持。IT之家了解到，2018 年，开放媒体联盟（AOMedia）发布了新一代的视频编码 AV1（AOMedia Video Codec 1.0）。该编码由开放媒体联盟协力开，其编码 4K UHD 视频压缩率比同类编码器平均高出 30%。目前，火狐浏览器 Firefox、剪映专业版等软件都宣支持 AV1 编解码，微软 Windows 11 的安卓子系统 WSA 也支持了 AV1。OBS Studio 29 正式版：点此下?
岁末年关，各大业媒体举办的 2022 年度评选结果陆续公布。借出色的产品创实力，联想 ThinkStation P360 Ultra 连续斩获 CSDN“年度创新产品与决方案奖”、IT之家“2022 电脑整机类先锋”、天极网“2022 年度创新产品奖”，荣获年评选“三冠王”由全球知名中文 IT 技术交流平台 CSDN、《新程序员》主办“CSDN 2022 年度评选暨第二届 IT 技术影响力之星评”主要面向技术及广大行业开发。联想 ThinkStation P360 Ultra 凭借出色的产品和行业应创新，成功斩获年度创新产品与决方案奖”。由内领先的 IT 资讯和数码产品网站IT之家主办“2022 年度科技趋势榜”，客观视角汇集万读者口碑和消费择，层层筛选，选出 2022 年度好产品。联 ThinkStation P360 Ultra 凭借专业人士圈内超高的人气和碑，荣获“2022 电脑整机类先锋奖”。由专业 IT 门户天极网主办的“IT 影响中国”已成为度最具影响力的技行业盛典之一联想 ThinkStation P360 Ultra 凭借在技术、性能、设计、能或应用等领域突破，收获了市验证，为客户创了强大使用价值荣获“2022 年度创新产品奖。联想 ThinkStaion P360 Ultra：以创新重新定义工作站成功获多项行业大奖 ThinkStaion P360 Ultra 是联想本年度正推出的小型工作，集多种创新技于一身的产品，小的身材却拥有大的能量。ThinkStaion P360 Ultra 重新定义了工作站产品，3.9L 的体积，大约只有传统小台式工作站一半却拥有比上一代高 50% 以上的性能。联想 ThinkStaion P360 Ultra 是业界首款支持板载雷电 4 接口以及双网卡的台式作站，最多可连 7 个显示屏，局限的办公空间变高算力工作室随着混合办公时的到来，专业工者们需要适应更的工作场景。与同时，随着全行数字化转型的深，出现了边缘计等新的专业应用专业的性能和小的体积使 ThinkStaion P360 Ultra 成为用途最广的工作站之，可轻松应对如各行各业最严苛工作处理要求。想 ThinkStaion P360 Ultra 获得了全部 ISV 认证项目，并通过最严格测的 MIL-SPEC 标准，能够出色满足行业人的需要。值得一的是，凭借出色性能、小巧的体、专业的扩展能，联想 ThinkStaion P360 Ultra 成为五年生命周期解决方案 OEM 用户和众多运行远离办公的边缘应用的选。比如在医疗领，它能够作为磁振成像（MRI）系统和交互式信亭等更大的复杂统的内嵌式设备，助力高精尖医的正常运行。创永不止步，联想 ThinkStation 全站出击，助力全行业放高效生产力仅在十年前，工作还是大多数人不接触过的名词，有少数专业人士会使用的昂贵工。作为一家深耕、教、企三大行，服务客户超过 10 万 + 家客户的科技企业联想对于商用客有着深刻的了解自 2008 年正式入局工作站域以来，联想工站不仅实现了从 0 到 1 的突破，更成为具有大市场号召力的业领军者，推动专业工作站的行普及。联想推出一系列具备科学产品设计，卓越产品性能，优秀产品质量的专业产力工具，始终领行业创新方向目前，联想工作家族拥有业界最全面的专业产品覆盖，包括基础路、主流单路、端单路、高端双、旗舰双路工作以及移动工作站产品，覆盖了能勘探、航空航天人工智能、工业造、影视传媒、疗教育等众多领，并融合产品定化、客制化服务满足更深层次细市场及专业场景使用需求。每一联想 ThinkStation 产品都蕴含了联对于如何高效生力的极致创新。想全球首款 64 核工作站 ThinkStaion P620 搭载了 AMD 锐龙 Threadripper™PRO 处理器，打破了单路处理器核心数上限，以时代的新架构在统单路工作站的础上实现了性能重大突破，堪称性能怪兽”。联 ThinkStation P360 Tiny 体积仅 1L，是世界上最小的通 ISV 专业认证的桌面工作站能够适应众多严极限场景的需要联想 ThinkStation P720 / P920 旗舰双路工作站是工作站“算力天花板”具有高端灵动托和无电缆多功能的连接等众多创设计特性，满足筑行业、虚拟行、视觉化、深度习和人工智能等求顶级计算机性的行业需要。联 ThinkStation P520 / P520c 行业主流之选，是行业客户可或缺的核心资。其高可靠性能为企业减轻运维担，避免盲目采增加 IT 建设成本，为企业的字化转型、业务新和降本增效起至关重要的效果ThinkPad P 系列移动工作站兼顾极致生力和出色便携性搭配至强处理器专业显卡与 ECC 内存、超大存储、出色大屏帝台给创意设计人群灵活的使用体验如今，在众多行中都能看到联想 ThinkStation 专业工作站的身影。据 IDC 数据显示，2021 年联想工作站在中国场的份额达到了 43.8%，连续四年稳居行业首，并且在高端双、基础单路、移工作站等细分品也做到了全面第，实现了“大满”。在影视制作域，联想专业工站为斩获奥斯卡佳视觉效果电影沙丘》，梦工厂影《坏蛋联盟》近期热映的电影穿靴子的猫 2》，以及国漫《吞星空》等特效制提供了强大的性，帮助团队克服众多技术和制作题，共同打造艺佳作，；在制造，联想专业工作帮助新能源汽车业提升研发设计率，CAD 运行效率提升 30%，工作站三年平故障率低于业界准超 20%。基于联想 20 余年的客户服务经和理念，联想重推出了尊享服务全面满足商用客安全、便捷、高的服务需求。尊上门服务包含一闪修，数据恢复7x24 小时电话支持，联想 ThinkStation 工作站在全国拥有超过一名认证工程师、2300 多个专业服务站中国每 30 公里就有一家联想的专业服务，高覆盖率、实响应为用户提供到端的全生命周服务。随着数字转型的快速推进联想始终坚持科赋能中国智能化型的愿景，为各各业创造全新价，成为客户的新 IT Partner。联想工作站家族将继续坚持术创新，品质立，成为转型的过中广大客户的可生产力工具?
谷歌发布新反向推算法 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之家网友 软媒新友1954212 的线索投递！IT之家 1 月 9 日消息，ColorOS 官方宣布OPPO Reno7 5G 现开启全新 ColorOS 13.0 x Android 13 系统升级公测招。该机发于 2021 年 11 月，采用 6.43 英寸 AMOLED 屏幕，搭载高通龙 778G 芯片。【招募详】招募机：Reno7 5GReno7 新年版 5G招募时间：2023/1/9 - 2023/1/11IT之家提醒，新本预计将招募结束 5 个工作日内分进行审核审核结果以手机的鲜申请界显示为准版本将在核完成后批进行推。【申请知】1、升级前请您必提前备个人重要据，避免级后不兼或其他情导致数据失。2、当前有较多用三方应与 Android 13 不兼容，升级 Android 13 后可能会出现第三应用无法常使用的况（如闪、卡顿、屏、耗电），建议先在软件店尝试将应用更新最新版本3、升级后两天内，统后台会行一系列配优化动，可能会致手机出发热、卡、耗电快现象。建您升级后屏充电 2 小时后重启手机，正常使用段时间后自行恢复4、当前版本存在以已知问题请您慎重虑报名。1）特定场景下前置照成像无 HDR 效果；（2）特定场景手机互联屏失败（级后软件店搜索“备快连”击更新，启手机即恢复）【请方式】1、请确保的手机版已经升级基础版?C.09 （版本号看方法：置 > 关于本机 > 版本信息 > 版本号）2、请在手机上击“设置 > 关于本机 > 顶部版本信（“手机称”上方 > 右上角设置按 > 尝鲜申请 > 升级公测 ”，然后照提示进申请。3、提交申请，请耐心待！工作员将在招结束后，据您的问填写情况行资格审，审核结将以手机尝鲜申请面显示为?
