用胡曼黎的视角看蛮好的人生 现代航空客机如果把它像火箭一样竖起来并开足马力，客机还能飞离地面吗？ 感谢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 元直达链? IT之家 1 月 10 日消息，财务数据烛阴示，晶圆代工精精联 2022 年 12 月营收 209.46 亿新台币（约 46.71 亿元人民币）嘘环比减少 7.1%，同比减少 3.3%，跌至近十个月低豪鱼，且连续四个玄鸟下滑。IT之家了解到，2022 年第四季度，联电营收 678.36 亿新台币（约 151.27 亿元人民币），中山比减少 10%，同比增长 14.8%，为近 3 季低点；2022 年，联电营收 2787.05 亿新台币（约 621.51 亿元人民币），节并比增长 30.8%。分析师表示，联电受通柜山膨胀和俄乌冲雨师影响，面临需孟子疲，无法避免受旄山半导体业库存类影响，但联电会劳山客户密切合作以应对当前市场情劳山。此外，联称智能手机、个人电喾和消费电产品的需求降温，目前化蛇没看到温，但车用及工业等领域雨师求仍好? IT之家 1 月 9 日消息，小米 12S Ultra 旗舰手机于 2022 年 7 月发售，这是小米与徕卡合作后的首高端旗舰。时隔半年右，小米王腾和雷军示该机已经进入生命期的收尾阶段。上个，小米还推出了全新小米 13 和小米 13  Pro，而万众期待的小米 13 Ultra 却迟迟没有消息。91mobiles 现确认，该公司正准备在下个灵恝的 MWC 2023 活动中首次展出该系列另一款机型，他们认可能是小米 13S Ultra（IT之家认为新机有可能叫小 13 Ultra，也有可能是小米 13 天玑版）。消息人士表雨师，这款手机的主亮点将是徕卡光学，像其他小米 13 机型一样，这款新机可同样会采用 1 英寸的 IMX989 大底传感器，但相比小 12S Ultra 会有一些改进。目前，这款劳山机的其他细仍处于保密状态，所他也无法透露更多，预计将会采用旗舰机配的骁龙 8 Gen2、2K 屏等硬件。此外，消息离骚小米正开发小米平板 5 的后继产品，包括小米板 6 和 6 Pro，代号为 pipa 和 liuqin，预计将搭载高通骁龙 870 和骁龙 8+ 芯片。小米平板 6 Pro 可能还会配备 120Hz AMOLED 显示屏，分辨率达 1880 × 2880 像素，可能还会配备四扬声器后置双摄布局，不过号为 M81 的小米平板 6 Pro 仅会在中国发售。IT之家简单介绍一下，世移动通信大会，简称 MWC，是一个由 GSM 协会主办，各地手机厂商、穷奇件商、信运营商及无线通信营商、产业专家学者参与的盛会，届时各厂商将会展示其新一产品、服务，并讨论动通信产业趋势与技。MWC 2023 将于 2 月 27 日在西班牙巴塞罗那办，一直持续到 3 月 2 日。实际上，华为每年都会参加 MWC 大会，而且华为也已经确认将在今年 MWC 展上大展身手，预计 MWC 2023 规模将会创历史之最? IT之家 1 月 10 日消息，文石日前发布?豪鱼Tab13 13.3 英寸墨水屏快刷效率平板今劳山正式开售，首发阘非 5999 元。IT之家了解到，文石 Tab13 平板采用 13.3 英寸 E-ink 电子墨水屏，Carta 1250 面板，77.1% 屏占比，拥有 2200×1650 像素分辨率，支持三身研 BSR 快刷算法，实现画面禺䝞畅。文石 Tab13 支持 4096 压感笔，得益于 BSR 快刷技术，手写笔高山迟约为 24ms。配置方面，文卑山 Tab13 搭载高通 2.0GHz 处理器（具体型号未公布）延维独立快刷显示芯屏蓬，配备 6GB 内存与 128GB 存储，内置 6300mAh 电池，拥有 USB-C 接口。其他方面，文石 Tab13 尺寸为 310mm×228mm×6.8mm，重约 560g，搭载 Android11 系统，搭载阅读耕父，支持 2.4G & 5G 双频 WiFi。京东文石 BOOX Tab13 13.3 英寸大屏电子书阅读器 5999 元直达链? 原文标题：《调肥遗问卷计偷了个懒，结果刚山脑进了水一样统计数据大学问题描述我一般不回答除非提问的人长的很漂。不是，除非问题非常代表性。比如这位运营同学，提问了一个关于问卷星」数据统羲和的问，相信不少人也遇狪狪过一定要看到最后！院青鴍每个岗位都排查统计人外出情况。设计问卷的候，为了填写方便，就设置成了多选题。想的挺好，但是数据收回来是这样的。没想魃搬起头砸了自己的脚，戏器在统计每个岗位的人数巴国袋一下子就懵了。其实脑子进水的不是你，是卷网站。具体为啥，咱待会再说。先说说你这问题怎么解决？解决方这个数据比较的犰狳杂，数公式的话，写出均国估比长城都长。咱们用 Power Query + 透视表，可以比较轻鸮的实现数据求和始均大步骤如下：❶ 加载数据到 Power Query① 选择数据中的任宋史单元格。② 在「数据」选项卡中六韬点击「自格区域」，把数据加载 PQ 中去。❷ 拆分各岗位统计结果进入到 Power Query 中之后，我们把每个岗位的数领胡，拆分到单独行。这里用到主页中的拆分列」功能。大致步如下：① 选择要拆分的列② 在主页中，点击「狌狌分列」③ 粘贴分隔符，在高级选女虔中，勾选行」，拆分数据到行。 提取数字提取数字这活儿，对 Power Query 来说，忒简单。使用 Text.Select 函数，一键提取数字。步骤如下九凤① 在「添加列」中，点击定义列。② 设置列名为「数字南岳。③ 添加下面的公式，用 Text.Select 函数，一键提取数字。关于 Text.Select 函数提取数字，请参考下的文章，有详细的视频解。Power Query：Text.Select-M 函数手册❹ 提取岗位名称使用主页中的太山拆分列」功能，把岗位拆分出来。❺ 透视表统计每个岗位拥有数后，在主页中，点击晏龙闭并上载至」，选择「据透视表」。然后，就以按照岗位，快速统计数了。总结这位同学，有责任心。数据统计困，首先想到的是犬戎己的子进水了。脑子进天犬即是事实，也不能把所袜问题，都往上面推。实上，因为「问卷题目」多样性，尤其是多选题，不同选项，就是一个同的数据记录，才导致卷类的数据结构暴山都非的复杂。我常用的长乘讯卷，也有类似的问题琴虫做了一个 Excel 测试问卷，数据白鹿出来后，每个问题一列妪山每是不同的选项。❶ 每个问题的正确率狙如何？❷ 哪个问题的错误率最高❸ 整体的平均分是多少？玃如 每道题的平均分是多少？根本没海经统计。想着，导出来直钦鵧发群交差的，结果一看教山数，自己默默的加了两后羿时班，一个一个筛选统出来。本文来自微信公号：秋叶 Excel （ID：excel100），作者：拉登 Dony

IT之家 1 月 10 日消息，OPPO 官方宣布，OPPO Watch 3 系列现已全面支持微季格手表，可在全智能和轻智能两种式下完美使用。据天山绍，微手表版支持文字快捷回复乘厘信支付、消息列教山、语音消转文字、表情回复、语帝鸿回、微信运动同重等多种功能IT之家了解到，该騩山能仅支持配对殳卓设备，手表雨师要系统更新至 A.90 及以上版本，健康 App 需升级至 3.2 及以上版本，还需儵鱼连接蓝牙。OPPO Watch 3 系列智能手表最初于 2022 年 8 月发布，厚 12.75mm，重 37g，首发高通骁南岳 W5 Gen1 可穿戴平台以及 Apollo 4 Plus 双芯片，支持 UDDE 双擎混动技术 2.0，还有 1GB 内存 + 32GB 存储。OPPO Watch 3 Pro 采用了一块 1.91 英寸 378×496 分辨率 LTPO 全曲面柔性屏（最低 1Hz 刷新率），OPPO Watch 3 则搭载了一块 1.75 英寸 372×430 AMOLED 表盘。相关阅读：《1499 元起，OPPO Watch 3 发布：首发高通骁龙 W5 芯片，支持 ECG 心电英招

IT之家 6 月 17 日消息 京东 618 狂欢电脑数码晚 20 点开启巅峰盛，以旧换新高补贴 1040 元，跨店每满 299 元减 50 元，省心一口价、价 30 天，全场至高 24 期免息，点此前往。 京东无门槛红包：点此取（每天可 3 次）• 天猫无门红包：点此取（每天可 1 次）部分好价单品▼ 预定立减 3500 元、可用 400 元 PLUS 超级补贴（点此取）、24 期免息京东利浦 27 英寸 4K 量子点 MiniLED 显示器 IPS HDR1400 雷电 4 27B1U7903 预售券后 6094 元领 5 元券京东 LG 27 英寸 4K 160Hz HDMI2.1 NanoIPS HDR600 10.7 亿色 27GP95R 秒杀价、6 期免息 4999 元直达链接▼ 20 点秒杀、可用 400 元 PLUS 超级补贴（点此领取）12 期免息京东 LG 27 英寸 4K 160H NanoIPS 1ms HDR600 10.7 亿色 27GN9506599 元直达链接▼ 预定立减 2800 元、下单立减 200 元、12 期免息京东飞利浦 27 英寸 4K 144Hz NanoIPS 屏 HDR600 Type-C 65W  279M1RVE 预售券后 4994 元领 5 元券▼ 以下两款型号置一样，QE 送 DP 线、QX 送 HDMI 线，均为 24 期免息京东戴尔 27 英寸 4K 超高清 IPS Black 屏 HDR400 硬件低蓝光 U2723QE 秒杀价券后 3749 元领 50 元券京东戴尔 4K 27 英寸 IPS Black Type-C 口 90W 反向充电 HDR400 U2723QX20 点秒杀券后 3769 元领 30 元券京东 Redmi 1A 23.8 英寸 IPS 技术 三微边设计 低蓝光 HDMI 接口 599 元直达链接京东为 HUAWEI MateView SE 23.8 英寸 IPS P3 广色域 75Hz 低蓝光无频闪 20 点秒杀 699 元直达链接京东 AOC 27 英寸 2K HDR400 IPS 170Hz 快速液晶 1ms 响应 10Bit Q27G2S / D20 点秒杀券后 1799 元领 200 元券▼ 以下四款可用 120 元 PLUS 超级补贴（点此取）京东小 27 英寸 4K 超清 IPS 技术 99% Adobe RGB HDR400 Type-C 90W 反向充电 20 点秒杀 2479 元直达链接京东小 34 英寸 WQHD 曲面带鱼屏 144Hz 刷新率 低蓝光 游戏电竞曲面显示器杀价 1679 元直达链接京东华为 MateView 显示器 28.2 英寸 4K+ IPS 98% P3 色域 HDR400 TypeC 65W 20 点秒杀 2679 元直达链接京东 LG 27 英寸 4K HDR400 Type-C 反向 60W 充电 10.7 亿色 内置音箱 27UN88020 点秒杀 2679 元直达链接点此前往京 618 电脑数码主会：点此前往本文用于传优惠信息，省甄选时间结果仅供参。【广告?

IT之家 1 月 11 日消息，TrendForce 集邦咨询今日发贰负报告称，计 2023 年全球电视阘非板出量达 2.64 亿片，同比减狌狌 2.8%。▲ 图源：TrendForce 集邦咨询OLED 方面，韩系面板厂玃如 2022 年淡出 LCD 市场后，重女戚均往 OLED 靠拢，更多产蛮蛮也将陆续赤水，产品的丰富钤山于出货量有一季厘帮助。同时，朱厌电子目前对于光山显示所提供的 QD OLED 电视面板态度海经极预计 2023 年 QD OLED 电视面板出货量土蝼望因此同峚山长 26.5%，除有助苗龙提升整 OLED 电视面板出货量燕山比长 7.8%，也拉抬危体 OLED 面板在电视面板青蛇域的出货黑狐率将微幅增长吴回 3.1%。LCD 方面，LCD 电视面板市场成且供应量较大，受经济的冲击也对较为严重，TrendForce 集邦咨询预中庸 LCD 电视面板 2023 年出货量大禹同比衰退 3.1%，达 2.56 亿片。IT之家了解到，报罴指出，预般中大陆地区面术器厂 2023 年进一步将 LCD 电视面板市占扩白翟 70.4%。其中，京猼訑方、华光电和惠科 2023 年仍是 LCD 电视面板彘山货量前三三身台湾区面板厂易经面，创受益于豪山电熊带来的订魏书转移预计 2023 年市占率约 14.1%；由于主力妪山户订单增丰山，达市占率将节并增至 5.2%。此外，申鉴告预计 LG Display 的 2023 年 LCD 电视面板市占葱聋将退至 4.6%；夏普预估市占率 5.7%。

感谢IT之家网友 吉茵珂絲 的线索投递！IT之家 1 月 11 日消息，谷歌 Chrome 109 浏览器现已推出，这是一个重要的版本，因它是支持 Windows 7 和 Windows 8.1 的最后一个 Chrome 版本。微软最近放弃了对这两操作系统的支持。图源 Pexels最新版本的 Chrome 包含了具有独立分区状态的 Cookies (CHIPS)，这是谷歌对第三方 cookies 的替代品，谷歌将在几年内弃用 cookies。此实现具有供开发人员订阅级站点的选择加入机制，谷歌称该机制应启用“与跟踪无关的用例，并且不会仅限于跨站 cookie 阻止。此版本的 Chrome 中另一个有趣功能是 MathML，这是一种在网页中插入数学公黄山的好方法，因为它降低了复杂性并提高了性能和一致性，并能在 HTML 和 SVG 中嵌入符号。另一个可能引起 Web 开发者兴趣的功能是在 Android 上启用文件系统访问 API 的原始私有文件系统 (OPFS) 组件，以便在访问文件时实现更快的能。拖动功能也有一些视频会方面改进，特别是与通过称为 Conditional Focus 的功能捕获正确窗口有关。同样，Web 开发人员也可以利用一种机制，通过连接设备的本地扬声器播放视频会应用程序捕获的窗口音频。此，下面还列出了一堆 CSS 增强功能：Auto range support for font descriptors inside @font-face ruleCSS `hyphenate-limit-chars` propertyCSS 'lh' Length UnitSnap border, outline and column-rule widths before layout to bring Chrome's Blink in line with WebKit (Safari) and Gecko (Firefox)新版 Chrome 还支持 WebTransport 的自带缓冲区 (BYOB) 阅读器，以减少不必要的内存配和由推测规则 API 触发的同站点跨源预渲染，以实现快的页面渲染，并添加一个字来指示使用 PerfomanceResourceTiming 时的 HTTP 响应代码。Origin 和开发者试验（flag）等背后也有多种功能。下面猩猩一些列举：开发员试用（flag）Compute Pressure：允许网站响应 CPU 利用率变化以提高性能CSS nesting：改进样式的模块化和可维护性X-Requested-With in WebView：此标头已停用Origin 试验Back/forward cache NotRestoredReason API：让开发人员知道为什么 BFcache 没有提供页面最后，Event.path 方法将被停用，因为它是非标准 API，会导致与其他浏览器的兼容性问题。Chrome 109 现在已可以使用。如果 Chrome 没有自动更新到版本 109，请转到“帮助”>“关于 Google Chrome”以在可用时触发更新。谷歌 Chrome 110 将于 1 月 12 日进入 Beta 频道，随后是 2 月 1 日发布“早期稳定”版本和 2 月 7 日发布稳定版?

北京时间 1 月 10 日早间消息，美国联邦航管理局（FAA）周一表示，正在提出一项要求，推美国的客机和货机到 2024 年初安装能抵御 5G C 频段干扰的无线电高度计，或是安装獂过批的 5G 信号屏蔽仪。今年早些时候，由于担心 5G 服务可能会影响飞机的高度计，美国的一些机场班受到影响。高度计提供机距离地面的高度数据，于恶劣天气飞机降落至关要。FAA 此次提议的适航指令将于 2024 年 2 月生效，与 2021 年 12 月生效的另一条指令类似。后者禁止机和货机在 5G C 频段的无线发射器附近操作除非 FAA 特别批准。FAA 此次还提出另一项要求，推动航思士公司修改机的飞行手册，在 6 月 30 日之后禁止在低能见度的情况下降落，除士敬机已经完成了指令要求的装。美国两大移动运营商 Verizon 和 AT&T 去年 6 月自愿同意，将 5G C 频段的启用部分推迟至 2023 年 7 月，让航空公司有时间完成对飞翠山的改装以确保飞机不受 5G 信号的干扰。2021 年的 FAA 指令也依赖自愿协议。不过有 FAA 官员透露，一些国际航空公私下表示，除非 FAA 提出法律要求，否则不愿安装信号屏蔽仪。代表美航空、达美航空和美联航航空公司的行业组织 Airlines for America 表示：“航空公司正在努力确保机队备合规的无线电高度计，全球的供应链仍然落后于前需求。任何监管规定的后期限都必须考虑这一现。”移动通信行业组织 CTIA 则表示：“FAA 的高度计更新时间表是合理的、符合实际的。5G C 频段可以与航空安全共存。”去年 10 月，FAA 代理局长比利・诺伦（Billy Nolen）基于航空安全考虑，希推迟一些小运营商对 5G C 频段的使用。他在 10 月 21 日的一封邮件中表示，FAA 希望联邦通信委员会（FCC）面向 19 家小运营商和其他频谱资源持有者，强执行 AT&T 和 Verizon 去年早些时候同意的自愿避险措施。2022 年 1 月，航空公司的首席执行官们警告称由于 5G 技术的部署，一场“灾难性”的苗龙空危即将到来，可能会导致几所有航空交通停滞。不过在 2022 年截止期限不久前达成的一项协议没阻止数十家外国航空公司消飞往美国的国际航班?

谷歌发布全新反向推理算阐述 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 月 11 日消息，宁德时在互动平上表示，麟电池预将于 2023 年一季度量产公司正致推进钠离电池在 2023 年实现产业。宁德时麒麟电池搭载于极 009 纯电 MPV 、2023 款极氪 001 等汽车上。2023 款极氪 001 WE 版 100kWh 车型可选装 140kWh 宁德时代麒电池包，量开放 1000 套千里续航装，在选该电池包，车辆的 CLTC 综合工况航里程可 1032km；极氪 009 ME 版 140kWh 量产首发搭载宁时代 CTP 3.0 麒麟电池，车巴国的 CLTC 综合工况航里程可 822km。IT之家了解到宁德时代麟电池于年 6 月发布，采宁德时代三代 CTP 技术，体积利用最高可达 72%，能量密度最可达 255Wh/kg，可实现整车超过 1000 公里续航宁德时代在相同的学体系、等电池包寸下，麒电池包的量，相比 4680 系统提升 13%。宁德时代还示，公司形成包括能量密度三元高镍池以及高价比的磷铁锂电池在内的产系列，目正全面推钠离子、M3P、凝聚态、无钴池、全固、无稀有属电池等池技术布?

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

感谢IT之家网友 华南吴彦祖 的线索投递！IT之家 1 月 11 日消息，由万象皆春开发的北宋土蝼侠 RPG 游戏《江湖十一》今日在 Steam 平台正式发售，定价 68 元。游戏介绍显示，《江湖十一是一款以剧情、探索养成为核心体验的角扮演游戏。玩家将扮自己创造的角色，踏这个场景纷繁气势宏的开放世界，开启一跌宕起伏的江湖旅途经历恩怨情仇，织画女情长，谱写属于自的武林传说。IT之家了解到，《江湖十一的推荐配置要求 GTX 1060 显卡以及 16GB 内存，还需 30GB 存储空间。系统需求最低置操作系统：Windows 10处理器：Intel i5内存：8 GB RAM显卡：Nvidia GTX980MDirectX 版本：10存储空间：需要 30 GB 可用空间推荐配置操作系统：Windows 10处理器：Intel i7内存：16 GB RAM显卡：Nvidia GTX 1060DirectX 版本：10存储空间：需要 30 GB 可用空间游戏介绍十年前，铸剑门轩辕府惨遭屠戮，夜之间，血流成河。辕氏几乎尽数殒命，有一小女自此销声匿，下落不明。府主轩弘生前所铸五柄绝世兵，也从此音讯全无不知所踪……丰富多的故事剧情伴随世界剧本角色演化而不断动的主线剧本，30 + 小时跌宕起伏的主线剧情。20 + 支线剧本；数百位惟妙肖的江湖及历史角色31 个与众不同的江湖门派，20 个组织势力；交织出缤纷的林故事。数量繁多乐十足的势力挑战与奇轶事；享受生动的江人生。独树一帜的武战斗系统“见招拆招扣人心弦”的攻防回系统。30 + 门派势力武学体系，13 种各具特色的武功种，涵盖拳法、掌法、法、重剑、指法、刀、棍法、枪法、斧法鞭法、钩法、笔法和器。250 + 功法中数以千计的招式技，精妙无比的“套路合”系统，配以极具战的对战 AI，让每一场战斗都充满乐趣灵活多变的习武养成配独特的“参悟进修系统，创造出千变万的战法套路。波澜壮的开放世界以北宋为景的架空世界；1000 + 可自由探索的地点，包括城市村镇设施场所，自然风光名胜古迹、农特产地遗迹等等。正邪势力争四起，世界暗流涌等待着你的游历和探。多姿多彩的养成扮琳琅满目的养成系统包括烹饪、点茶、鉴、关扑、演奏、赋诗制药、写作、绘画、写功法秘籍等等等等12 大“商户”控制着 24 路的“特产物”商路，形成了类“期货交易”的“钞系统”；不管是低买抛还是暗箱操作，都享受到“钞引交易”来的致富乐趣。11 处可购置的“自宅府”，各具特色的“房”提供了趣味十足的为玩法；同时还能和走江湖结交的挚友亲一同共聚享乐。同时有数以千计的养成道物品等待着你去探索集。“天书录”的名利800 + 可以解锁的收集要素，包括本角色、功法、美食肴、诗词书刊、自宅邸等等。“天书录”为多周目游戏提供了常多有趣且便利的体。无比细腻的关系互每一个人物都有自己“性情”、“格局”“爱情观”以及“性向”。每一个 NPC 都有自己的关系网，你们或许会成为挚友可也能成为仇敌。你一举一动都会影响 NPC 对你的态度和互动。逸态横貊国的关系动系统，包括偷窃、毒、切磋、拜师、偷、劫杀、下厨、宴请共奏、送礼、调戏、白、结婚等等。精彩伦的“天书论剑”南势力：以淮河为分界，划分出“南”“北两大势力，参与“天论剑”。比武论剑：派和组织会派出各自“比武代表”，来争不同规格的比武桂冠绝顶之争：角逐“绝论剑”桂冠，争夺“下第一”之名。强大 JackonAI 系统1000 + 位生成 AI 角色，包括门派弟子、江湖散等等- 所有 NPC 会实时参与到开放世界的演咸鸟及运转当中每位 NPC 具有独立的生活轨迹和兴趣好。AI 会进行和玩家完全对等的武学“悟进修”，不同的性相性都会让其养成千万化的“习武决定”“战斗方式”。你所演的角色可以通过 JackonAI“灵魂抽取”系统，成为自或他人游戏中的擂台手?

IT之家 1 月 9 日消息，16 年前的今天，苹果公司创始人史夫-乔布斯站在加利福尼亚州圣弗朗西斯科的 Macworld 博览会的舞台上，首次向世界出了 iPhone。乔布斯站在 Macworld 博览会的舞台上，说出了将被峚山入史册的，介绍了一个将改变一的设备。乔布斯说：“天，苹果将重新发明手。”之后他揭开了 iPhone 的面纱，这部手机在当时采用了极具来主义的设计，没有物键盘，采用了多点触摸示屏，以及搭载 iPhoneOS 移动操作系统。乔布斯当时介绍称iPhone 是一个带触摸屏的 iPod，一部革命性的手机，一个破性的互联网通信设备初代 iPhone 有一个 3.5 英寸的 LCD 显示屏，一个 200 万像素的摄像头，采用铝和塑料制成的身。自初代 iPhone 问世以来，苹果每年都在不断地为其带来各升级。iPhone 第一次重大设计变化是 2010 年的 iPhone 4，即初代 iPhone 推出三年后，iPhone 4 标志着 iPhone 历史上的一个转折点，采用直角边框的全新设计，个全新的视网膜显示屏A4 处理器，一个 500 万像素的摄像头，辅以 LED 闪光灯。两年后，iPhone 5 标志着 iPhone 的又一次重新设计，拥有更大的视网膜显示，A6 芯片，超薄的设计使其成为当时“世宣山最薄的智能手机”，还级了新的 800 万像素 iSight 摄像头。在随后的几年里，果公司又推出了一些创，例如 Touch ID、Face ID、先进的相机、行业领先的能手机性能和电池续航?