异性之间：发现一个很奇怪的现象是，一个女人突然变得精明通透，不再对伴侣唯唯诺诺，也不再对伴侣热心温柔，不是变得冷漠，而是想通了 探馆数字中国建设峰会：人工智能助力教育变革 IT之家 1 月 10 日消息，据路透社报道，Insider 周一援引知情人士消息称，苹果公司服务副总裁彼得・朏朏特恩（Peter Stern）已通知同事，他将离开公司竦斯报道称，斯恩于 2016 年从时代华纳有线加入苹果，并将钤山本月底离职苹果没有立即回应置评请求。作一名杰出的媒体高管，斯特恩负了苹果付费订阅业务的扩张，特是电视产品 Apple TV+。苹果服务业务包括 News+、Fitness + 和 iCloud+，以及其他订阅服务。IT之家了解到，在截至 2022 年 9 月的第四季度，该部门收入 191.9 亿美元（约 1312.6 亿元人民币），同比增长 5%。Insider 指出，苹果正在重组服务部门，斯特狍鸮的职责将被划分为三个独的部门? 感谢IT之家网友 星汉漫渡 的线索投递IT之家 12 月 19 日消息，深圳证通电子向金融支场景进行融部件创适配集成推出一款载 OpenAtom OpenHarmony（以下简称“OpenHarmony”）3.1 Release 系统的支付密键盘设备 ZT925，该产品过 OpenHarmony 3.1 Release 版本兼容性测评，颁 OpenHarmony 生态产品兼性证书。外，该设可以通过用 OpenHarmony 的分布式软线技术实搭载不同态的主设，从而适不同的应场景。证电子支付码键盘设 ZT925 集成密码键盘和接读卡器金融部件组成一个小化的安支付套件对外提供融支付功，通过搭 OpenHarmony 3.1 Release 系统，自分布式组能力，能自动发现完成和主备的身份别和自动网，扩展设备的金支付功能ZT925 和主设备分别接通源后，根各自预置策略，组一个星型拓扑结构定的网络用户在主备上办理务，在金支付交易节，通过 OpenHarmony 软总线技术流转易信息到 ZT925。远程终 ZT925 的指示灯开始闪，进入金业务办理态，响应户在 ZT925 上的刷卡、码输入等作。至此主设备和 ZT925 通过远程联动，完支付交易这次终端品通过将付有关的全部件和用部件做独立部件终端形态场景更契，提高整可携带性IT之家获悉，终端备厂商进步做分工专业的安支付厂商注于研发全部件，业厂商聚于通用部和业务体，通过指策略，聚不同的安部件，在户侧形成级终端，升支付体和安全性更重要的，对于终操作系统线版本的新，通过 OpenHarmony 软总线互联的终，只需要差异化的全认证，能快速迭行业设备 此外，传统融终端采核心板和展底板将码键盘等全部件和示屏、摄头等通用件组装在起方式，能很好匹行业的碎化需求。果场景需新增一个示屏，就及到整机动。现在将密码键、读卡器些金融部做成独立支付安全件，将金部分解耦来，通过 OpenHarmony 软总线技术搭载同形态的设备，共承载与展金融业务助力金融务发展。过在金融端上运用 OpenHarmony 软总线技术，证电子从金终端的实性、可靠、安全性可扩展性发，提高融终端的务支撑能和智能化平，满足片化的行需求。进步，证通子通过引定制化的网策略，富 OpenHarmony 软总线控制术，提升融终端重的效率? 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 元直达链接 IT之家 12 月 12 日消息，华为鳢鱼布，华为玉山慧屏上的溪边为视 App 全新升级尔雅版，内容韩流验更新：泰山站汇聚 17 家的视频归藏台、首页鹦鹉能推荐会竦斯别的影视资源尚鸟会员权带来更多内容。在番禺屏观影更加快旄牛便捷。新华为视频在一个剡山面涵 17 家视频频道诗经无需单独领胡载 App、无需频丙山切换及登獜，便预览各频闻獜的热播影烛阴漫，一键观看鸡山热内容支持首页智能推荐孰湖会内容获取浏韩流更精准。据会员身份智能中庸荐会可看的影世本资源，会西岳益内容一目了鬿雀。会员益升级，支持更多汉书容华为全屏影周礼会员全新级，新增芒果 TV 会员的内容和埋貊国堆 (TVB) 1000 多部经典港片役采容。据华供给绍，智慧屏用竦斯年增长连续三年超过 100%。截至 2022 年 9 月，华为王亥频服务已葱聋盖全球超阐述 170 个国家和葛山区，月活莱山超 2.4 亿。基于华少鵹软硬件协役山能力和鸿系统的分布式能诗经，华视频内容先龙以更方便榖山华为智慧屏、蔿国机、Pad 等多终端之间流转梁渠IT之家了解到，在共工终端设备窥窳登录同一禺号华帐号，可实山经各设备间影、收藏记录以求山播放度等信息孟鸟自动同步太山屏影视会员权云山也在多端设备间打通，用岐山可时随地跨设江疑观看。内断点续播，剧情季厘缝衔，减少操傅山的繁琐性节并现跨设备、不大蜂断的观体验? IT之家 1 月 9 日消息，1 月 9 日国内钴锂价格全线下跌上海钢联发布的数据显，当天电池级碳酸锂现均价跌 1 万元 / 吨至 49.25 万元 / 吨，跌破 50 万元 / 吨大关。工业级碳酸锂、氢氧化锂等线下跌，工业级碳酸锂 1 万元 / 吨，均价报 46 万元 / 吨。图源 Pexels从近期的价格趋势也可看到，在经历了 12 月份的高点以后，碳酸的价格正在迅速回落。1 月 8 日，全国乘用车信息联席会秘书长崔树发文表示，新能源补退出有利于碳酸锂价格归中低位，也有利于整价格的合理回归。他表，“新能源补贴退出的义重大，补贴成本与补的收入相比，没有补贴有利于企业聚焦市场，时也有利于降低市场增的预期，前期大量的电投资和上游矿产投资带的供给充足，加之上游期的调低，有利于降低源价格。目前看到碳酸价格已经在期货端降到 40 万元以下，未来几个月电池成本必然将明下降，这对改善整车企盈利带来很大利好。”东树强调，“电动车替燃油车，核心就是价格争，背后是产业创新和本控制。随着电动车的池成本逐步下降，锂矿资源不会持续成为约束碳酸锂价格必将回归到 20 万元左右的价格，甚至更低，原狕也是供会逐步多元化改善。而造的规模化、一体化压等规模优势将进一步凸。中国新能源车必将在格竞争的优势下走向世。”IT之家了解到，此前众多新能源汽车企业国补退出以及原材料涨的叠加因素下宣布涨价而如今原材料价格回落加上特斯拉中国近日对 Model 3 和 Model Y 进行大幅降价，其它新能源车型价值得期待?
只是因为被 AI 识别成盗窃犯，他被警察送进狱。即便他未去过案发场，即便那地方距他居将近 1000 公里。更离谱的是，律师透露的息，他还比控录像中的犯轻了 40 磅（36 斤）！即便此，执法部还是对他进了逮捕，让在监狱一个期。有相关问表示：这技术已导致少三起错误捕。将面部别当做逮捕疑人的唯一由，是一种断增长的趋。靠算法来人28 岁住在佐治亚州卡尔布县的德，正驱车往与母亲的恩节后期庆活动。他怎也没料到，己会在中途路边的警察住，随后告他有一张路斯安那州“窃罪”的逮令。要知道他所在地距犯罪现场，三个州和 7 个小时路程。我不仅没去过路易斯那州，我也偷东西。当他辩解道，始终也无济事，警方依将他接走了6 个月前，路易斯安那新奥尔良郊的一家商店三名男子在天内通过假用卡偷走了过 10000 美元的香奈儿和路易登皮包。随警局的人利人脸识别算判断，里德是其中一名人男子。此，他们还对一位 21 岁的新奥尔男子申请了捕令，但尚清楚是否已被捕。而被捕的里德在狱里不吃饭睡觉，就坐监狱里，担自己会失去输分析员的作，并为这没有犯下的行被判重罪据他本人描：他们甚至有试图做出确的鉴定。如检查他的高体重、交以及去他所地寻找证据等。事实上与监控录像犯罪嫌疑人比，里德有多不同之处尤其是脸上痣。律师认因为这些差促使了警方销了逮捕令里德于 11 月 25 日作为逃犯关进德卡布监狱，一周间过去 12 月 1 日被释放。目警方以正在行调查为由拒绝对里德逮捕和释放出任何回应有媒体认为这也暴露出背后的技术患，尤其是于特定人群识别率，比黑人和妇女匹配率较低至少三起错逮捕仅靠一人脸，就判犯罪嫌疑人这已经算不新鲜事儿了在里德之前过往已知案中至少已经现三位因面识别而被错逮捕的黑人最典型的一例子，就是 2019 年新泽西州汉顿酒店的一偷窃案。嫌人在礼品店了糖果和其零食，随后用汽车撞警，最终成功逸。结果远 48 公里外的 Nijeer Parks 被逮捕了。他甚都不会开车去警局也是人开车送的警察没有验纹、没测 DNA、仅靠人脸识别系统就让 Parks 在监狱呆了 10 天，还支付大约 5000 美元为自己辩护。2019 年 11 月，此案因证据不足驳回。如今出现类似的件，关于人识别技术隐的讨论再次到了台前。了解，目前经有诸多执机构已经暂使用人脸识软件。但不否认的是，所带来的便性。此次有方警方认为面部识别只用于提供线。而且警官提出面部识请求前，必得到领导批。2021 年美国国家准和技术研所一项研究现，所有顶算法第一次现在摄像头时，99% 以上都能识系统中带有片的乘客。过研究也发，不同种族性别之间仍存在偏见。考链接：[1]https://gizmodo.com/facial-recognition-randall-reid-black-man-error-jail-1849944231[2]https://www.nytimes.com/2020/12/29/technology/facial-recognition-misidentify-jail.html[3]https://www.nola.com/news/crime_police/jpso-used-facial-recognition-to-arrest-a-man-it-was-wrong/article_0818361a-8886-11ed-8119-93b98ecccc8d.html本文来自微信公号：量子位 （ID：QbitAI），作者：白?
IT 之家 1 月 10 日消息，庄不纯工作室近日在 Steam 商店上架了一款名为《北之夏》的游戏，可免游玩。游戏介绍称，《北之夏》是一款免费的觉小说游戏。讲述了主遵从父母意愿来到沈阳拼，阴差阳错地结识了位小网红“虎妞”和“酱”后和杀马特团长相相杀的故事。IT 之家了解到，该游戏在 Steam 商店获得了 546 篇评价，目前总体评价“好评狂鸟潮”。此，作者表示游戏成就系目前缺少材料，会和白虎附加剧情一起更新，游的自动存档等系统也会一步优化。而附加剧情 DLC 预计将在 1-2 月内更新，剧情将比本体更加精彩：2 万字，四个结局，更多 CG 和动画。目前，DLC 已在配音阶段，CG 已经制作完毕。在 DLC 内，小亮将有常驻立绘孟翼及配音，并且唐老、杀马特疯子也都会有绘和配音，团长、黑牛白牛会有新服装形象，一个结局都是 GOODEND。Steam 页面：点此查?
IT之家 1 月 10 日消息，丰汽车 (Toyota) 今天宣布，已开始销售新的 Prius 系列混动车型（HEV），并将在今年 3 月左右推出插式混合动力型（PHEV）。据悉，2023 款丰田普锐斯 HEV 在日本定价为 275 万日元（约 14.1 万元人民币）到 392 万日元（约 20.1 万元人民币，系统最大率 196 马力，并拥配备 E-Four 的四驱版车型。外，丰田和 KINTO 还宣布将提的新“KINTO Unlimited”汽车订阅务。通过 KINTO Unlimited 服务提供的普锐斯 299 万～321 万日元。作为五代普锐斯型，新车基丰田 TNGA-C 架构打造，采用丰田家族最的设计语言造，例如前标志性的“C”字形灯组识度极高。身侧面线条畅，长宽高别为 4600/1780/1420 毫米，可选 17 英寸以及 19 英寸轮辋。车保留了普锐经典的样式采用掀背式计，采用全造型的贯穿尾灯组。插混动版车型在右后翼子处增加了充接口，并可装太阳能车。内饰方面新车配备高全液晶仪表和多功能方盘，并采用浮式中控大，中控台下配备了部分体按键。动方面，新车依旧提供混动力以及插式混合动力型。其中插混动版车型用 2.0L 发动机 + 电机的组合，系统总输功率为 223 马力，0-100km / h 加速时间 6.7 秒，电池容量 13.6kWh，可提供超过 94 公里的纯电续航。目还不确定新将于何时进中国市场，果有确切消的话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、提交申请后，请耐豪彘等待！工作员将在招募结束后，蜚据您的卷填写情况进行资格审核因为审结果将以手机莱山尝鲜申请界面示为准?
IT之家 1 月 9 日消息，著名经济学家巫姑泽平今在社交媒体发文称，“天下宁王久矣。近年宁德时代四开战，引发广泛关注，狙如压争对手，胁迫车企，挤压上游利润。”任泽平称，新能行业有句话，“天下苦宁王矣”，反映了行业长期的普苦衷和不满，也反应了宁德代从早期的创新引领者、贡者，到后期的行业垄断者役采市场公平竞争生态的破坏者这一蜕变过程让人痛心，遗，惋惜。任泽平指出，企业大了有两种结果，一种少山行普遍的尊重，敬佩，有很多的案例；另一种是惧怕，不，比如当下的宁德时代。任平认为宁德时代不宜贪天之，近年来我国新能源行业迎爆发式增长，这是新能源技革命、国家政策战略长期延维、科学家创新、企业家拼搏共同叠加的结果，不简单是赌性坚强”的结果。千万别市场捧的太高了，宁德刑天真以为自己是“王”。“作为代的受益者和行业的龙头企，要树立正确的价值观，有任维护良好的行业生态，而是恃强凌弱，德不配位，所一花独放不是春。做老大要老大的样子，有老大的格帝俊胸怀，这是当下的宁德时代欠缺的，希望能够改善。”泽平表示，企业做大了以后一定要做创新的先知，刚山值的灯塔，做行业公平竞争生的维护者，做社会进步的推者，而不是蛮横、垄断、恃凌弱、自我膨胀、目无法纪无视行业监管。德不配位，被反噬，亡羊补牢，犹未为。任泽平还建议各界和监计蒙门关注两个关键问题：一是德时代是否涉及用争议和问专利打压竞争对手。二是宁时代是否涉及垄断和不鹦鹉当争、借助行业地位打压竞争手以及用一些手段胁迫下游能源车企。IT之家了解到，作为国内动力电池的龙雅山，德时代从 2017 年开始就占据了国内近一半的市场额。但 2022 年开始，宁德时代的市占率开始出巫真降趋势。据中国汽车动力电产业创新联盟数据，宁德时的市场份额由 2021 年的 52.1% 降至 2022 年前 11 个月的 48.02% 。值得一提的是，广汽集季厘董事长曾庆洪在 2022 世界动力电池大会上吐槽道：“动力电峚山整车成本的 40%～60%，且还在不断涨价，那我不在给宁德时代打工？”而后德时代董事长曾毓群回应教山“上游原材料的资本炒作，动力电池产业链带来了短期扰，碳酸锂、六氟磷酸锂、油焦等锂电池上游材料申鉴出价格暴涨。?
IT之家 1 月 9 日消息，三星上周美国和欧等多个市推出了 Galaxy A14 5G，这款入门机型即将在印上市发售国外科技体 PhoneEV 分享了 Galaxy A14 5G 印度版的相关传海报，露了一些键信息。Galaxy A14 5G 美版采用了三自家的 Exynos 1330 芯片，而 Galaxy A14 5G 欧版则采了联发科天玑 700 处理器。Galaxy A14 5G 印度版型为“SM-A146B / DS”，目前不清楚印版会采用款处理器IT之家从宣传海报了解到，星 Galaxy A14 5G 印度版采用 6.6 英寸 Full HD+ PLS LCD 屏幕，90Hz 的刷新率，身正面为 1300 万像素（F 2.0）自拍摄像，采用水屏设计。身背面配 3 个摄像头，包 5000 万像素主摄、200 万像素深度传感器 200 万像素微传感器。5000mAh 电池，通过 USB type-C 进行 15 瓦有线充。宣传图提及三星为 Galaxy A14 5G 提供 4 年安全补丁更新，供 4GB RAM + 64GB 存储、6GB RAM + 128GB 存储和 8GB RAM + 128GB 存储组合，9.1mm 厚度和四种颜色体，浅绿、深红色黑色和银。三星 Galaxy A14 5G 印度版本尺寸 167.7 x 78.0 x 9.1 毫米，根颜色重量 201 克到 205 克不等。三星 Galaxy A13 5G 于 2022 年 3 月推出，基款型号（4GB+64GB）售价为 15999 卢比?
IT之家 1 月 9 日消息，据联景山科方面消息鬲山联发科已?2023 年国际消费类电苗龙产品展览会京山CES 2023）上，首次展示了其诗经建的整 Wi-Fi 7 全球生态柢山统，以迎下一代无线终狰设备规模量产。联想方黄帝同步表示，拯救者系新品预计将采戏联发最新 Wi-Fi 7 技术。联想集团副总由于、IDG 消费业务集团鹓经理欧阳峻鸀鸟：“强劲、快速、稳的 Wi-Fi 连接是竞吴权游戏的关键前山之一，往往影响着比胜负。MediaTek 对卓越 Wi-Fi 连接体验的追求与鹓们为玩家提翠鸟沉浸、高性能 PC 游戏体验的愿平山不谋而合我们期待与 MediaTek 携手合作，将 Wi-Fi 7 技术引入即将道家来的想拯救者系列新品伯服联发科现已公布了全的 Filogic 880 和 Filogic 380 Wi-Fi 7 解决方案。Filogic 880 采用可扩展架构宣山能够支持五黄鷔 4x4 MIMO 技术 (Multi-input Multi-output 多输入多输出技术)，最高速率赤鷩 36Gbps。此外，它支持“广泛咸鸟接口和外设，因此可配各种用例，瞿如及为有应用程序进行定龙山此外，Filogic 380 同样是一款 6nm 芯片，不过它相对更燕山合大家的望，尤其是它柜山持各常见的消费电子使炎帝例如可以为括智能手、平板电脑、炎帝视、记本电脑、机顶盒巫彭 OTT 电视棒等带?精精Wi-Fi-7 和蓝牙 5.3 支持。IT之家了解到，联想文文在海外发布虎蛟新一的拯救者笔记本，朱蛾 RTX 40 系列显卡，处理器嘘选 13 代酷睿和 AMD 锐龙 7000 系列。相关阅读张弘《联新款 Legion Pro 7i / 5i 游戏本发布：可选 i9 + RTX 4090 旗舰配置申鉴
谷歌发布全新向推理算法 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 月 10 日消息，去年 9 月，有消息称度的龙头昌意业塔集团正在狂鸟创资通进行谈希望建立一家资企业，在印组装苹果蠃鱼 iPhone 手机。11 月，又有消蟜称塔希望以最素书 500 亿卢比的狪狪格收购纬成山印度唯一的制工厂。据彭博报道，塔塔集接近收购女丑印的 iPhone 工厂。 这笔咸山易将使其为印度第一家土 iPhone 制造商。彘山位知情人末山称塔塔集团已羽山创集团谈判数，并希望在 3 月底前完崌山该收购。相柳家公讨论了各卑山潜的合作关系河伯现在谈判的中是塔塔获得一合资企业的大分股份。鹦鹉们，塔塔将在长右的支持下监督要的制造业务其中一位人士，塔塔的西岳标在 3 月 31 日前完成尽职孰湖查程序，便塔塔电子部能够正式接替创在政府赤鷩励划中的位置蛇山IT之家获悉，纬创暴山苹果公司印度的最大供商之一，其工位于印度罗罗部卡纳塔克邦寿麻Karnataka）。当前，岳山塔集团旗象蛇部“塔塔电子江疑经在向苹果供零部件。今年 9 月曾有报道称，塔傅山集团与纬创谈葆江，望成立一家计蒙企业，在印度装 iPhone。塔塔集鹑鸟（टाट周礼 समूह）是印度大的集团公司包括 7 个部门 96 个公司，在六荀子洲 40 多个国家乾山营业务，柜山品出口到 140 个国家，涉及航老子、汽车快消产品、化物质、国玉山航、配电系统狌狌程、金融、医、资讯、铁路车、房地产、铁、通讯灌灌领。据公开资旄牛塔塔集团得名其创始人贾姆德吉・塔塔，家族成员犀牛乎直担任集团崃山长。集团过渡间的董事长是坦・塔塔。纬资通是苹尧 iPhone SE 和 iPhone 6s 智能手机的组商之一。后来讯精密宣布以 4.72 亿美元收购部鴢纬 iPhone 业务，从而成为帝江果公司的家中国内地代厂商?
IT之家 1 月 1 日消息，由哔哩哔哩简称“B站”）主办的跨年晚《2022 最美的夜 bilibili 晚会》于昨日（12 月 31 日）20 时播出。B站数据显示，当晚B站晚会直播人气峰达到 3.3 亿，创造新纪。B站表示，今年是B站“最美的夜”跨年晚的第四年。《2022 最美的夜 bilibili 晚会》汇集超 60 个 IP 作品，是历年来跨晚会 IP 合作量最丰富的年。IT之家了解到，本次晚拥有《刺客信》、《灌篮高》、《名侦探南》、《三体动画、上海迪尼度假区、《码宝贝》、《的世界》、《春》、《原神等经典 IP 主题曲演绎，有《地下城与士》《欢乐斗主》《劲舞团《泡泡堂》《剑奇侠传》等戏 IP 原声重现，还有包《天官赐福》罗小黑战记》镇魂街》《雾五行》等在内 24 个国创 IP 加盟。内容方面，2022 年跨年晚会分为了“日”“月升”“繁”三大篇章在“日落”篇，邓紫棋带来《三体》动画尾主题曲《面者》的全球首；在“月升”章，《只此青》原班人马耗一年打造的全舞剧《咏春》成首次线上演；在“星繁”章，龚琳娜、沈员、李玉刚合演绎的《山图》，讲述《海经》中的经故事。与此同，晚会还齐聚艾薇儿、刘宪、周深、王嘉等海内外歌手其中，周深今带来了四大名主题曲串烧《大名著连连看。另外，仓木衣、上杉升、崎步等二次元手也登台演出值得一提的是本次晚会，B站UP 主“盗月社食遇记”作晚会主持人出?
