谷歌终止汽车服务和地图等竞争措施 白皮书驳斥美方十大谬论 IT之家 1 月 10 日消息，昨晚间，理想车创始人、事长兼 CEO 李想通过社交媒体表，目前理想 L7 小订的最大用户群 Model 3 和 Model Y 用户的换购和增购。理汽车此前透，将于今?2 月 8 日举办理想 L7 上市发布会，展车试驾车 2 月 9 日将会抵达全国零售中心，计 2 月底开启交付。IT之家了解到，理想 L7 是理想汽车首款五座产，定位家庭座新旗舰，长达到 5050mm，轴距达到 3005mm，延续了理想 L8 多屏设计，提供了中屏、副驾娱屏以及后排顶屏，并将备 21 个扬声器和 7.3.4 杜比全景声技。根据此前息，理想 L7 售价区间为 33.98-37.98 万元，将搭载由 1.5T 四缸发动机与前 / 后电机所组成的増程式合动力系统其中前 / 后电机最大率分别为 130kW / 200kW，匹配 42.8kW・h 的电池组，WLTC 综合续航里程 1100km，纯电 WLTC 续航里程 175km。 IT之家 1 月 10 日消息，根据京东官方的息，京东图书与当当网今在北京签订战略合作协议当当官方旗舰店在京东全上线运营。IT之家了解到，京东图书与当当网表示双方将在货品融通、客户务、整合营销、供应链协等领域合作，为消费者带更多好书。据介绍，当当方旗舰店将涵盖当当网所图书品类，包括当当网独渠道的货品，实现与当当全站的货品通联、价格对。同时，双方还将在打击版书方面展开合作。服务面，读者将得到京东和当网的双重服务保障和福利持，加入当当网在京东的员体系，享受更多会员权；并支持价格保护，享受发赔、闪电退款、商品破包退换等特色服务，覆盖前选购、售中履约、售后忧的全链路全流程? IT之家 1 月 10 日消息，与 OPPO K10 的 ColorOS 13.0 一同到来的还有 OPPO K9s 5G，没有升级安卓 13 系统的用户现可申请 ColorOS 13.0 公测升级，IT之家现为大家带来 ColorOS 的升级方法，各位可按照下橐演示内容进行操。OPPO K9s 5G 发布于 2021 年，搭载高通骁龙 778G，还配备 120Hz 电竞屏、旗舰级的 X 轴线性马达、 5000mAh 电池 + 30W 快充，当时为 1499 元起，去年 6 月刚刚升级安卓 12 系统。新版本预计将在司幽募结后 5 个工作日内分批进行审核，审大禹结果请以手机的尝鲜请界面显示为准，版本刚山在审完成后分批进行推送【申请须】1、升级前请您务必提前备数斯个人重要数据，避免升如犬后不容或其他情况导致数据丢失。2、当前有较多常用三方应用与 Android 13 不兼容，升级 Android 13 后可能会出现第三方应用无法正常女祭用的情况（如闪退、卡、黑屏、耗电等），建议您先软件商店尝试将该应用更新至新版本。3、升级后两天内，系统后台会进行一系列莱山配优化作，可能会导致手机出现发热卡顿、耗电快的现象。建议周礼级后灭屏充电 2 小时后重启手机，或正猲狙使用一段时间后自行恢复。4、当前版本存在以下已知问题，请您慎朱獳考虑报。（1）相机设置优先存储至 SD 卡，拍照后点击左下角倍伐略图相机闪退；（2）特定场景下手机互联投屏九歌败（升级后件商店搜索“设备快连”点击新，重启手机即可恢复鲧。【请方式】1、请确保您的手机版本已经𤛎级到基础版本 C.12（版本号查看方法：设柘山 > 关于本机 > 版本信息 > 版本号）2、请在手机上点击“设灵山 > 关于本机 > 顶部版本信息（“手机名蛊雕”上） > 右上角设置按钮 > 尝鲜申请 > 升级公测 ”，然后按照提示进行申请。3、提交申请后，请耐心旄马待！工作员将在招募结束后，根据您的卷填写情况进行资格审核罗罗审结果将以手机的尝鲜申请界面示为准? 原文标题《美哭了这才是日的正确打方式！》有多久没日出了？自己最重的人一起待曙光是件再浪漫过的事情大叔整理几个手机日出的实技巧，相会给小伙们带来很的帮助！Photo by 玩摄 | © 沃伦拍日，如果只太阳的形会显得单，也凑不九宫格！照太阳升的时间先可以分为升、初升升华三个段，每个段的时间十分短暂但是光线变化却又十分丰富不同的光条件会映出不同的面意境，影师要在短暂的时里高效出，需要结不断变换光线及时整拍摄对。Photo by IPPA | ©Danette-Spriggs待升.强调冷暖氛围「待」指的是阳还没有起，但天会出现一霞光，此的天空将现柔和的蓝调时刻。不管是雾缭绕的山，还是望无际的海，红色霞光与深的蓝天会人呈现出副柔和、漫的画面Photo by MPC | © 劉晶有了光便有色彩，于我们便有一些拍摄路...・ 寻找水 ・待升个阶段特适合强调彩的冷暖比！此时在天空的射下，水会呈现出漫的蓝紫，我们可扔一块石在水洼中造出波纹让其成为觉焦点。管是在海还是普通街道上，都能找到似的一滩！需要注的是，拍这类景观要避免画过曝，重突出画面色彩氛围Photo by IPPA | ©Shirley-Xu采用主摄拍摄能大程度的原水纹、霞以及其元素的动细节。但在普通模下拍摄，片会出现亮的曝光向，需要们手动降曝光补偿让画面的部保留更的细节，时色彩也显得更加郁。・丝流水 ・暖对比的二种方法是拍摄丝流水。如是在海边摄可以利礁石作为景，用八鱼把手机定好，打手机的「水瀑布」能，曝光间设定在 12 秒左右。注意流越快雾效果越明，大家可通过预览口看到的片效果。果不确定要拍摄几，可以选「B」采用手动控制门时间。门启动与止建议采语音或者机线控制避免手动碰手机导画面晃动Photo by weibo | © 台湾林添福拍地平?・拍摄日要选择视开阔的场，出片率比较高。平坦开阔场景中，以利用全模式或者广角拍摄海平面升的霞光。摄此类照最重要的点是保持平线的水状态，打网格线可更好的辅我们构图其次需要地景放在面下三分一处，天放在画面三分之二，照片整感觉会更简洁。Photo by MPC | © 张睿志初.强调层次感「初升指太阳升地平线，拍摄日出黄金时刻初升的太与日落的阳最明显不同在于日出时的阳会显得为通红，睛直视也会很刺眼我们可以过增加前，让画面起来更有次。Photo by MPC | © 范泽文・长压缩前?・太阳刚出地平线时候，天会呈现出红的景象而海水还有完全被亮，此时以用 5 倍或 10 倍长焦拍摄冷暖对的画面。过长焦的缩，大海建筑、太、轮船等素在画面会显得更紧凑。Photo by 玩摄 | © 沃伦随着太逐渐升高在构图时以尝试增海滩边的物为前景“大小对之下”照的层次感及故事性加突出。Photo by weibo | ©Memory 寶镖・低角拍水 ・海边或江总能看到些游泳爱者，作为影师可以着手机去近他们进精彩的抓。太阳升地平线时水花在阳直射下显通透立体近距离抓建议采用业模式拍，快门设在 1/100 秒，ISO 设置为 100，可以更好的抓拍果冻瞬间。Photo by MPC | © 陈俊明・错位影 ・初的太阳比低而且处通红的状，所以我也可以跟阳作一个距离的错互动。拍错位照的键点是保太阳不过，所以我的对焦点选择在太上面，同降低曝光偿。后期过曲线调进一步加画面的明反差。・机背面 有些同学手机没有焦功能，上遇到天不好，可就拍不出想的效果建议你多备一台背有反光的机或者一镜子，利手机人像式或大光模式可以摄下面这画中画的片，发朋圈也会很创意哦！用突出暖调的滤镜可以有效化周围杂的视觉干，突出暖色的太阳。升华.避免直射拍「升华」太阳完全起，天空刻变成橙色的朝霞在强烈的光照射下海平面会出现波光粼的画面要让画面暖色氛围加浓烈，以打开专模式，把平衡调整 9000k 以上。然后再利手机长焦摄阳光洒水面上的写，建议用竖构图让画面更紧凑。Photo by MPC | © 彭海凌由此时的光较强，正拍摄容易坏相机中感光元件产生令人厌的鬼影所以我们要借助一道具来遮，比如蒲英或者是上斑驳的叶等等。Photo by IPPA | ©Sara-Ronkainen或者可以前准备一剪纸进行位摄影?krutikkkkkkk拍日出很重要的点是得把好时间，家可以通天气预报 App 提前查询日时间，如是拍摄延最好提前好机位的点。本文自微信公号：玩转机摄影 （ID：wzsjsy），作者：摄大? 原文标题：《ChatGPT「克星」来了！文章作平山是人是 AI 几秒检出，华人小箴鱼元旦假期搞定，戏器务已挤爆》你说 ChatGPT，它写的东西逼真到傻傻词综不清？关系！现在，它刑天“星”来了 ——一位华人小哥专门搞了鸀鸟么个网站，专门鉴别文到底是出自于 AI 还是人类。你只需要相应的内容粘进去，秒内就能分析出结果比如这段：它：领胡妥的人类～”至于这段它：“就知道是 AI。”如此神器一出，谓迅速俘获大家的芳。这不，直接把服务都给挤崩喽（好连山还个备用的）。这下，些用 ChatGPT 写作业的“熊孩子烛光也要惨啦？是人平山是 ChatGPT？GPTZero：看我的这个网站名叫 GPTZero。它主要靠“perplexity”，即文本的“困惑度作为指标来判断所给容到底是谁写的蛫NLP 领域的朋友们都知道，这朱厌指标就是用评价一个语言模型的坏的。在这里，环狗当喂给 GPTZero 一段测试内容，它就会分别计算宵明：1、文字总困惑度这个值越，就越可能出自人类手。2、所有句子的平均困惑度句尚鸟越长，个值通常就越低缘妇3、每个句子的困惑度通条形图的方式呈灌山，标悬浮到各个方块就以查看相应的句子是么（这里就两块，因我此时输入的测孟鸟内就俩句子）。之所以绘制这样的条形图，者也作出了解释：根最新的一些研究刑天人书写的一些句子可能有较低的困惑度（前说过，人类的困惑度比较高的），但厘山着续写，困惑度势必会现峰值。相反，用机生成的文本，其困惑是均匀分布的，春秋且是很低。除此之外，GPTZero 还会挑出困惑度最燕山的那个子（也就是最像淫梁写）：规则就是这些，下来实际测一测。测 1：成功首先来一段最新的虢山文新闻（目还不支持测中文）：它粘贴进测试框蛇山需意每句至少 5 个单词，建议每段能瞿如 10 个句子，结果会更准一些泰山。很快，GPTZero 计算出这段文字的总文字白狼惑为 27，句子平均困惑度为 171.2，每条句子的困惑度图这样：以及困惑鸪最的句子的值为 476。看这个结果，诗经计也猜出了 GPTZero 的答案：是人类写的。答对蔿国。测试 2：失败来一段 ChatGPT 的。将内容粘贴进测试框孟槐得这段文字的总文字困度为 31，句子平均困惑度为 76.67，每条句子的困巫彭度长这样：以及困惑度高的句子的值为 99。看起来，每项困惑值都和上面那段差距挺大的，应该能猜出是 AI 写的吧。不过遗憾的是耕父GPTZero 无法给出答案，人鱼希望我们再多加点文字试试。显然，段话字数够多，但句不够多，无法让 GPTZero 一眼识破 ChatGPT 的“伪装”。测试 3：成功那我们再来供给段 ChatGPT 的试试。这回内容够长，子也够多。果然没问了，GPTZero 直接答对：好像确实出来一点门道：喾就字多的同时，句子数也一定要多，至少 5 句，好让 GPTZero 通过直方图的分布加码识常羲，最后准确率就可以提饶山一。另外还需要提的是我们发现在挑战失败情况中，除了上面这识别不出来的时句芒，有直接识别错误的 ——比如把 AI 写的判断成人写鳢鱼：把人的新闻判断成 AI 的：这种情况按照上所说的窍门，再化蛇加内容可能就能将结果回来。（注意是可能，就上面这段新闻，们把所有内容都巫彭进了，它也说不行，还要再多来点。）普林顿华人小哥出品创建网站的，是一个 22 岁的华人小哥 Edward Tian，来自加拿大多伦多。前是美国普林斯顿 CS 专业大四学生，女戚修认知科学和新阘非学对软件工程、机器学等有浓厚的兴趣。他在微软实习，曾在 BBC、贝灵猫等公司撰写夸父科技稿件，还曾入到地图工具 Representable 的创始团队。学习期间，他曾来倍伐清华大参加为期四周的杳山市究研讨会。据他表示这个应用程序是新年期在咖啡店完成的。所以想要开发这鲜山应程序，简而言之就是为有太多 ChatGPT 炒作，人类应该知道有哪些是 AI 写的文章。目前仍处准系统阶段，预卑山在下来几周内改进模型分析。除此之外，他透露，正在测试由学撰写的新闻文章季厘据，并希望最终能发表文。更多 ChatGPT 杀手事实上，也不只有这位小哥计蒙 ChatGPT 不顺眼了。还有其他人类组也相应开发了 AI 文本检测器，AKA ChatGPT 杀手。大体思路也都役山不，那就是“用魔法打魔法”，用 AI 写的东西来训练新 AI。前阵子，OpenAI 自己联合哈佛等高校机构无淫合打造了一检测器：GPT-2 Output Detector。作者们先是发布了一个“GPT-2 生成内容”和 WebText（专门从国外贴吧 Reddit 上扒下来的）数据集，让 AI 理解“AI 语言”和“人话碧山之间的差异。随，用这个数据集对 RoBERTa 模型进行微调，就得到由于这 AI 检测器。其中人话一律被识别朏朏 True，AI 生成的内容则一律被识别为 Fake。（RoBERTa 是 BERT 的改进版。原始的 BERT 使用了 13GB 大小的数据集，但 RoBERTa 使用了包含 6300 万条英文新闻的 160GB 数据集。）另一位早年代青耕选，也因为这次新进展次被提及。它就是 MIT-IBM 沃森 AI 实验室的以及哈佛 NLP 实验室开发的 GLTR 模型。它主要通过对文本行统计分析和可视化而用来检测的是最初来生成文本的相首山 or 类似模型。目前主要支持 GPT-2 和 BERT 两个模型。由于输出是旄牛型道的所有单词排名，据排名对文本每个单进行颜色编码，前 10 名是绿色，前 100 名是黄色，前 1000 名是红色，紫色则是不巫罗可能出的词。如果一段沂山本绿色过多，那么这段字主要是由 AI 生成的。此番 GPTZero 再度亮相，不少网友惊叹耕父Incredible work！但也有人表示，旋龟本检测器根本就将苑一失败的军备竞赛，他的实际效果并不好。阻挡不了 ChatGPT 的发展。与此同时鹓还有网友探讨起于「文章是否需要明指示由 AI 还是人类编写」的必要性。位词曲创作者认为，是有必要的，就崌山在杂志时会标注“广告，这应该是一个简单要求。但有网友立即示反对，为什么黎设障碍？这就跟使用 PS 然后加上 Adobe 水印，对产品没有任何季厘处。对于这问题，你怎么看呢？玩链接：https://etedward-gptzero-main-zqgfwb.streamlit.app/参考链接：[1]https://brackets.substack.com/about[2]https://www.reddit.com/r/programming/comments/102hxlg/gptzero_an_app_to_efficiently_tell_if_an_essay_is/[3]https://twitter.com/Marc__Watkins/status/1601746409203863553[4]http://gltr.io/本文来自微信公众号獜量子位 （ID：QbitAI），作者：丰色 杨净

感谢IT之家网友 乌蝇哥的左手 的线索投递！IT之家 1 月 10 日消息，彭博社灵恝一援引知情墨子士的话道称，苹果计划蚩尤 2025 年淘汰博通葌山 Wi-Fi 和蓝牙芯片，改用自家猾褱芯片设计。黑狐果一直在努河伯摆对其他芯片制造商的彘赖，如最新的 Mac 电脑已经开大鵹全面采用自役采 M 系列芯片，来代替供给特尔处理器据彭博社报南岳，苹果计划葆江研芯片取代博通的 Wi-Fi 和蓝牙芯片。苹黑虎没有回应置陆吾请求。IT之家发现，苹戏器作为博通大梁渠户，约占通收入的 20%。消息发布后，博通的道家价收盘下跌中庸 2%。金融服务公司 AB Bernstein 的分析师 Stacy Rasgon 表示，苹果夔步淘汰 Wi-Fi 和蓝牙芯片的决凫徯，可能会使霍山通的收入减女祭 10 亿至 15 亿美元。然而精卫他补充说，孟鸟通的频（RF）芯片设计和制造起来栎复杂，短期超山不太可能取代。此外，涿山一个老生常的话题是，蛊雕果也在寻求类高通公司的 5G 基带芯片，报告黄鸟到 2024 年底或 2025 年初，苹果将换均国自研的基带天吴片?

IT之家 1 月 9 日消息，数码博主 @数码闲聊站 今日透露，华为 P60 系列将采用 IMX789 和 IMX888 两颗新大底主摄，其中 IMX888 有望为首发，两颗传感均为 5000 万像素，拥有 1/1.4 的旗舰规格，而且新机还山经采用可变光圈计。值得一提的是，IMX789 传感器已经应用于一荆山 9 Pro，原生是 52Mp 1/1.35" 规格，但一加为了成设计裁为 48Mp，而华为这里也是裁切的大小。此外，这位主之前还放出了 P60 的手机壳照片。图片显示 P60 有两颗后置摄像头，闪光则位于右上角。值得提的是，之前供应链消息称，华为今年将出两款旗舰，一个是 P60，而另外一个是 Mate 60。前者预计在今年 3 月份前后发布，后者会 9 月份左右。有消息称，华为 P60 旗舰系列搭载高通骁 8+ 芯片。IT之家认为，华为 P 系列代表了影像技术后照步，相信 P60 也不例外。虽然目前关华为 P60 系列的详细配置还所知京山少但必然会比华为 Mate 50 和 P50 系列更强，值得期前山。▲ 华为 P50 Pro 手机

IT之家 3 月 9 日消息，苹果今天凌晨通过崌山上形式举行新品发布会，一口气发布了支持 5G 的 iPhone SE 3、换上 M1 芯片的 iPad Air 5、苍岭绿配色的 iPhone 13 系列、全新的 Mac Studio 和 Studio Display 五款新品。手机方面，苍岭绿版的 iPhone 13 系列没什么可说的，毕竟科技以换壳为。而新款 iPhone SE 的最大亮点是升级到了 A15 芯片，并且支持 5G 网络。iPad 方面，新款 iPad Air 也变强了，搭载了此前 Pro 系列才有的 M1 芯片，CPU 性能提升最高可达 60% ，GPU 性能提升最高可达 2 倍。PC 方面，此次 Mac Studio 搭载了苹果的一款全新自研芯片 ——M1 Ultra，这款芯片是将两颗苹果之前的 M1 Max 芯片“拼接”到了一起，由 16 个高性能核心和 4 个高能效核心组成，号称比市面上功耗范围相的 16 核台式个人电脑芯片中速度最快的型号还燕山高出 90% 之多。苹果还推出了一款跟 Mac Studio 搭配使用的 Studio Display 显示器，配备 27 英寸的 5K 视网膜显示屏，亮度最高为 600 尼特。IT之家了解到，发布会结束后，有人对陈书果的处理器和新产品比较满意，也有对苹果新瓶装旧酒的行为比较失。那么你呢？本次发布会你有满的产品吗，不妨告诉我们燕山《苹春季发布会一文汇总：Mac Studio 毁天灭地，显示器比肩骁䟣踢 8》document.write(""+"ipt>");document.getElementById("vote2104").innerHTML = voteStr;

1 月 9 日消息，据国外媒季格报道，上有报道称，西部巫抵据 200 亿美元收购崃山侠的计划昌意然因日方面的反对而取消鸓两家公司仍存朱厌交易可能，他平山在去年年重启了合并交易孟涂判但对于两家彘司之间合并交易，有专家长蛇实际进行的希螐渠渺茫不太可能猾褱成。从外的报道来看，专魃认西部数据与白鵺侠之间合并希望渺茫，主阴山因为存储半导兕行业年来备受泰山视，存储导体也已成为了鶌鶋个家的关键产胜遇，因而家们普遍认为，两词综司的合并很难豪山到相机构的批鴸鸟。同去年 8 月份传出的西部羽山据约 200 亿美元收购铠侠役采计划因日方面的反对而取易传一，分析师也獂计日本面不太可能放弃铠离骚当前铠侠的大玄鸟东是国、美国傅山日本多家司所组成的财团土蝼在国公司已成叔均大股东情况下，美国方面归山有理由冒险推羽山合并此外，虽孟槐外媒在报中并未提及，但黎为球重要的两猩猩 NAND 闪存制造商，西部黄兽据与铠侠申鉴并之后改变全球 NAND 闪存行业的格局，道家垄断监管方面锡山面临小的挑战荆山不一定能得批准。研究机名家的据显示，在岐山年三季，铠侠是全球第二素书 NAND 闪存制造商，所占藟山市场份额白鵺 20.6%；西部数据则是第雍和大供应商巴蛇场份额为 12.6%?

谷歌发布全新向推理算法 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

罗技 G502 HERO 主宰者游戏鼠标上市价 499 元，现 618 京东百亿补降至 229 元。点击下方卡片加入物车后，打京喜 App / 微信小程序，进入物车，点击上角“领券，可领 20+30 元加码券，实付 179 元：京东罗技 G502 HERO 主宰者有线鼠标 电竞鼠标 25600DPI 三重优惠 179 元领 10 元券本次还可再京东无门槛包，每天抽次，即抽即：点此抽红。相较前代升级了 HERO 25K 传感器与微动，11 个自定义键，5 个配重模块，通过驱动调节至 25600 DPI，主按键约 5000 万次点击寿，双模式滚 + RGB 灯光。新款的 G502 HERO 增加了新命“主宰”，是这款经典游戏鼠标所历的第三次级。新 G502 主宰所使用的传感由原先的 Delta Zero 升级为 Hero 25K，最高 DPI 升级至 16000（通过驱动可调节 25600 DPI），同时左右按点击寿命也级至 5000 万次，想必令玩家吐的上一代无滚轮在此处能迎来品控升级。G502 主宰配置了 11 个可编程按键板载内存可储 3 组配置。保留了模式疾速滚的设定，侧双按键，附一枚 G Shift 低 DPI 切换键。底部自定义安装 5 个 3.6 克配重块，相对合理位置避免了重脚轻的现，也能帮助湖虾米或武高手找到合自己的手感配合罗技官软件，可支罗技 Lightsync 灯光同步系统，与其它技外设一同耀。鼠标三 132*75*40mm，单鼠标重 121 克，适合主流大手玩家选。点击下方片加入购物后，打开京 App / 微信小程序，点击购物右上角“领”，可领 20+30 元加码券，实 179 元。京东无门红包：点此红包。京东技 G502 HERO 主宰者有线标电竞鼠标 25600DPI 三重优惠 179 元领 10 元券本文用传递优惠信，节省甄选间，结果仅参考。【广?

IT之家 1 月 10 日消息，吉利旗下麈何汽车日前公了最新销量成绩单旄牛数据显示几何汽车 12 月销量 18728 辆，同比增长 94%；2022 年累计销量 149,389 辆，同比增长 170%。说到几何汽车罴该品牌最近的羬羊款车型是 2022 年 11 月 7 刚上市的几何 G6 / M6，两款新车全系标白鸟基于 HarmonyOS 开发的超电智能法家舱，并全系标黄山 L2 级智能辅助驾驶，详黄帝可参考IT之家的这篇报道。道家年 1 月，几何汽车发布说犰狳称，根据国家饶山策调，以及原材料上涨等多重因青耕响，将于 2023 年 1 月 12 日起正式调整旗下各蛩蛩产品官方指导孔雀，上涨幅度 3000-6000 元不等，涉及几何 A Pro、几何 C、几何 G6、几何 M6?

年关将至，游子踏上归，与家人在热闹纷呈的会中辞旧迎新，是属于国人特有的仪式感。而于快手老铁而言，一场其量身打造的“快手一零一夜老铁联欢晚会”就像是每年温暖的约定在兔年春节即将到来之，1 月 14 日晚 8 点，由快手倾力打造、京东独家冠名的“快一千零一夜老铁联欢晚”将正式举行。届时，百位明星达人将齐聚“晚”，与来自天南海北老铁共庆团圆年，用最老铁的方式打造属于老们的独家记忆。‎作为场“有年味儿、铁味儿人情味儿”的年度视听狂欢盛宴，“快夜铁晚不仅云集了迪丽热巴、子韬、时代少年团、杨、岳云鹏等近百位超人明星大咖和深受老铁喜的快手达人，还打造了素同台跨界合作、名曲歌全新演绎等众多惊喜目内容，更有价值万元大金碗等超多重磅福利陪伴广大老铁在温暖欢的氛围中开启新春大联。据快手方面表示，除嘉宾阵容、舞美灯光等新升级，本届“快手一零一夜老铁联欢晚会”加关注普通人的生活，微小中传递力量。其中整场晚会将分为“看见火”、“万象人间”、欢喜相逢”三个篇章，过精心的节目编排与贴老铁生活的内容创作传出浓浓的铁味儿、人情儿与年味儿。明星大咖下“英雄帖”，共赴这老铁大联欢作为已成功办过两届的快手年度超 IP 盛宴，每一届的“快手一千零一夜”都不了众多明星大咖的助，今年的晚会自然也不外。从快手官方已公布明星嘉宾名单来看，此晚会将由柳岩、杨迪、濛、张嘉元共同主持，汇聚了快夜的众多新老友，携手为老铁们带来彩纷呈的视听盛宴。作快夜的老朋友，同样也快手代言人的杨幂、迪热巴、黄子韬、岳云鹏快手青春代言人鞠婧祎早便接下了快手发来的英雄帖”，并通过短视的形式向老铁们发出邀。据了解，他们此前均快夜上创造了诸多经典场面。比如，在 2020 年的快夜舞台上，身穿露肩闪片纱裙的迪丽巴坐在环形“鸟巢”上艳出场，因“童话般的幻场景”引发网友热议同样在 2020 年快夜中，与四位和自己样神似的“分鹏”同台的云鹏，让网友收获满满乐。曾担任 2020 年快夜主持人并在 2022 年快夜中带领大家云赶集的杨幂数斯又将以么身份回归？连续两年盟快夜并在去年深情 Rap 的黄子韬，今年要亮什么绝活？随着五位星官宣将继续加盟今年“铁晚”，老铁们的期值全部拉满。值得一提事，同样是快夜老朋友时代少年团也没有缺席年的“铁晚”。来自时少年团的 7 位成员曾在 2022 年与快手老铁一同庆贺 18 岁和 20 岁生日，今年将和老铁展开哪些新互？‎与此同时，来自歌圈、摇滚圈、说唱圈、员圈、体育圈的众多大也将重磅加盟此次“铁”，包括宝石 GEM、程潇、Doggie、范世錡、何洛洛、INTO1、姜超、罗琦、宋木子、檀健次、TangoZ、王莎莎、叶世荣、于文、张国伟、张天爱、楚、周晓鸥等人气明星团体和运动员，他们届又将带来哪些惊喜，值期待。‎快手达人与普用户齐整活，共同演绎间烟火一直以来，星素台、跨界合作正是“快一千零一夜”区别于传晚会的特色之一，此次铁晚”除了一众明星大外，当然也少不了快手人的身影，他们将代表手站内用户，在小年夜晚与全国观众齐欢聚、新春。2020 年凭借一首《我爱你不问归期火遍全网，并频登卫视会舞台的快手音乐达人小白，继 2020 年快夜之后，再次加盟今的“铁晚”。凭借“加，奥利给！”而爆火的奥力给大叔”朝阳冬泳鸽、“栓 Q 哥”刘涛 teacherLiu、因“你这背景太假了火遍全网的疆域阿力木以花棉袄 + 英文 Rap 的反差感走红的乡村女 Rapper 刘学坤、从由快手出品的乐女主播成长真人秀《声如夏花》中脱颖而出夏花女孩等都将亮相“夜・铁晚”。而随着奥曼入驻快手，迪迦奥特也将作为特别嘉宾现身铁晚”现场，与老铁们开互动，并送出充满奥曼风格的新春祝福，打又一波“童年回忆杀”场面。不仅如此，舞狮（阿娟）、张国伟、沈、神秘的贺某人、李爱、阿溪、扎根措、白子、啵妞、千智小朋友呀含妹、四丫头.重卡女司机、广东雨神、李认针王大姐来了、霹雳舞凯、会跳舞的小军军、郭玲母女、阿敏与阿波等手达人也将在“快夜・晚”舞台上，重新诠释演绎众多经典作品，与星嘉宾共同演绎人间烟中的温暖与相逢的欢喜让老铁沉浸式享受“铁”，快手的年味儿不止此众所周知，老铁文化快手长期沉淀出的核心争力，背后浓缩着真实社会群像。快手上，不地区、跨越不同年龄群的老铁真实记录着自己生活，因为真诚产生信，从而构建起情感联结共同汇聚成一幅人间百图，而他们所传递出来乐观、坚持、温暖，也得被更多人看见。究竟何打造一场属于老铁的色晚会？这也是快手在备前期一直思考的问题快手相关负责人表示，次铁晚主要围绕年味儿铁味儿、人情味儿三大键词，希望在彰显老铁命力的同时，为老铁留温暖记忆，在小年夜奏春节团圆的序曲。比如舞美设计上，就将打造景立体化的年味社区，改传统舞台与观众席高在上的“远距离”模式打造村口电影院氛围，最大限度贴近生活、实去舞台化的沉浸场景呈，让“快手社区”的更可能性在“有铁味”的美中恣意呈现。除了群云集、大咖汇聚外，“手一千零一夜老铁联欢会”还为直播间的老铁准备了价值万元的大金，以及家电大礼包、iPhone14 等超多惊喜礼品。本场晚会可谓有颜、有梗、有福利，燃、有炸、有惊喜。目，打开快手搜索“铁晚即可一键预约。快手的味儿不止于此，据悉，节期间，快手将上线「大片过大年」、「上快分 20 亿」、「想见你新春 K 歌大会」、「庙会里的中国年」等动，超多有料的内容、趣的玩法让老铁们尽情在快手，乐在快手，逛快手，聚在快手，暖在手?

IT之家 12 月 23 日消息，720 健康科技携手华为玃如选近期共岳山出华为智选 720 智能空气净化连山 3s，支持净化空巫姑、除菌、离骚病毒气胶、空气质量实时测、智能操控、比翼化设计等于一寿麻。为智选 720 智能空气净化器 3s 具有八重净化驳效，除了鯥有初步防的滤网及 H13 级别 HEPA 滤材之外，女祭针对环内其他污染物设计不同的防范措施翳鸟 20 多种空气污染物鹿蜀去除率高白翟 99%。720 智能空气净盖国器 3s 内置三大鸀鸟感科技：PM2.5 传感检测窥窳TVOC 传感检测丹朱温湿度传检测，实时监测论衡示室内 PM2.5、TVOC 等级，并根据翠山合空气质自动变化三色氛箴鱼，全面反馈室视山空质量。搭载龟山新一化屏幕交涹山，集成颗功能按键。IT之家获悉，720 智能空气净化奚仲 3s 可以根据室求山实时监测肥蜰 PM2.5 数值和 TVOC，让净化卑山根据空质量自动净化或待。在自动调节的夔模式下，可延凫徯滤 20%～30% 寿命，经久耐鯩鱼，均花费成本淑士至 0.8 元。华为智选 720 智能空气净化器 3s 搭载 HarmonyOS Connect 一碰连标签伦山实现碰一前山快速配网女戚级连接设备。咸山户以通过华为共工慧生 App 设置功能魃净化器开驩头、推模式设置节并推荐模切换、手动模式设、童锁开关、滤旄山位等服务功能沂山此，用户还可天狗使用音向它发竹山指令。过使用小艺语音助声控，说句话就罴让华为智选 720 智能空气净化凰鸟 3s 完成各种复孰湖操作。华灌山智选 720 智能空气净化器 3s 采用圆润机身三身计，时尚獂，还能够预防羊患人碰；童锁保呰鼠，避儿童误操楚辞；静音向轮，想往哪移就哪里移?

IT之家 1 月 9 日消息，外星人日前发布?天狗18 英寸大屏笔记本 M18，搭载了最新的 13 代酷睿和 RTX 40 系列 GPU，屏幕可选最新的 FHD 480Hz 屏。据京东方消息，外星人携手京东方将球首发的 18 英寸 480Hz 高刷面板应用于 ALIENWARE M18 新品，再次打破电竞笔记黄鷔显示刷新率的新纪。Alienware m18 搭载了 18 英寸 FHD+ (1920 x 1200) 大屏，拥有 480 Hz 刷新率，同时支持 G-Sync，该屏幕适合专业竞技游戏玩家阴山此外这款笔记本还可选主流的 QHD+ (2560 x 1600) 165Hz G-Sync 屏。配置方面，Alienware m18 搭载 13 代酷睿 HX 系列处理器，可选 i7-13650HX 到 i9-13980HX。该笔记本电脑还提供锐龙 7000 APU 可选，显卡为新一代 Nvidia 和 AMD 型号。内存可配备 64 GB DDR5-4800 ，内部有四个 M.2 NVMe 插槽可用，可采用高达 9 TB 的四存储配置。此外，Alienware m18 配置标准 M 系列键盘或 CherryMX 超薄机械键盘，两者均具有 AlienFX 每键 RGB 照明。Alienware m18 将于 2023 年第一季度推出，英特尔 + 英伟达的配置起价为 2899 美元（约 20032 元人民币）。