美联储这次可能没法救市了 只限制宽度？这是你说的啊！ 感谢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 年初，苹果将换用自研钦原基带片? 年底了，又了写年终总的时候！屏前的你是否正在为制作终总结 PPT 而发愁呢？相比较于享 PPT 模板，我更告诉你一些正有价值的西！这是一企业员工的终汇报：他一页 PPT 来回顾这一年的工作，觉得这页报怎么样？稍思考看似密麻麻写了很，但我相信应该什么也记住！01.信息精简因当面对大段字时，人们能的反应是想阅读，你一年的辛苦果很可能就没其中了！是典型的在 word 思维来撰写 PPT！之前，我专门做一期视频来析 2 者之间的差异：的来说，word 是需要完整叙述的而 PPT 是要点式的不需要写完的句子。用简短的语言意即可：因可以去除冗的话术，仅留关键信息比如开头和尾的话，仅是为了构成个完整的句，而出现的头语。它们没有包含实信息，可以去：接着修模板样式，除右侧大面的无意义图，让重点信均匀铺开：这一步，如你迫不及待始美化设计，那么下面内容请一定意听！目前共有 10 项，请问你住了哪些？者有哪件事象深刻吗？信是没有的为当信息众时，注意力自觉地会被散。而这也绝大多数职人最容易犯问题之一：息过载！恨得把全年的作都事无巨的呈现在领面前，可越这样对方反记不住。这要做的就是舍，将领导注的重点事展示出来，重点的省略可。比如这的最后 2 项，邮件及话次数，它属于日常最本的工作事，每个人都做，不需要意去提。02.信息归类目前的信息还很零散，不易记忆。怎办呢？这时以用结构化维去整合信。比如这里以按参与项的深度分为主导型和协型，这样记起来就更有律了。当然类的方式不一，比如按对内 | 对外”、或“行 | 管理”分：总之住一个原则不重复不遗就好。至此我们就得到几件条理清的大事。你得领导能感到你的突出献了吗？给 3 秒钟思考下...好，时间到！的答案是：然不能！03.强化意义因为单纯的几数据罗列，并不知道它背后有怎样意义！比如组织了 26 场技能培训，这个数量多还是少？导员工宿舍修这就事又什么意义呢诸如此类的题，相信你定也很疑惑。因此，我议在描述工成果时，可简单阐述事背后的意义比如：技能训比去年多织了 10 场！维修宿节省了 10 万元水电费！开招聘会募了 60 + 优秀应届生！拍广告吸引了 10 余次外部合作！这一行补充说明的字，是不是马让工作的值升华了呢这就是“行 + 成效”法的魅力！此，我们得了一份价值满满的初稿在此基础上你就可以肆展示自己的计才华了：计稿 V1设计稿 V2完整回顾下这改稿历程：结一下：1.PPT 是要点式的，不要写完整的子 2.注意取舍，让重信息凸显出 3.注意归类，让散乱信息结构?4.数据要有对比，行动有意义如何确的撰写年汇报 PPT，你学废了？本文来自信公众号：Slidecent （ID：Slidecent），作者：林利 IT之家 1 月 4 日消息，自 2022 年 12 月下旬开始，不少网友在优酷会员超话表示自己的会员能登录一个手机了。而此前个优酷会员可以同时登录三手机设备。据新浪财经 5D 调查报道，优酷客服回应称，目竹山同一会员账号最多可录的设备为三个，同时可登两个设备，手机端 App 只能登录一个。客服表示此则的变更时间是 2022 年 12 月 20 日。问及变更原因，客服称是由于系统更新”。此外，优酷客表示，此前有站内协议变更知，目前同一会员账号最多登录 3 台设备，两台设备和一个手机端 App，目的是打击账号拆分等黑礼记产。IT之家了解到，这不是优酷第一次因为会员问题引絜钩争议2022 年 7 月，有大量网友反映就算是开通菌狗酷 VIP 会员权益后也已经无法再用投屏的方式免费朱厌蹭大屏，只能根据提示升级为频平台的大屏会员（酷喵会）。该话题一度登上热搜。此，优酷官方自助问答页面示，优酷 VIP 会员权益不包含投屏，目前支持在手、平板、电脑端观看，不包电视端。如用户需要在电视观看，建议购买或者升级为喵会员，加享电视端权益。外，2022 年 6 月，优酷官方对优酷 VIP 和酷喵 VIP 会员价格进行了涨价，调整后和山格如下：酷 VIP优酷 VIP 连续包月：25 元优酷 VIP 连续包季：68 元优酷 VIP 连续包年：238 元优酷 VIP 月卡：30 元优酷 VIP 季卡：78 元优酷 VIP 半年卡：138 元优酷 VIP 年卡：258 元酷喵 VIP酷喵 VIP 连续包月：35 元酷喵 VIP 连续包季：98 元酷喵 VIP 连续包年：348 元酷喵 VIP 月卡：50 元酷喵 VIP 季卡：148 元酷喵 VIP 半年卡：288 元酷喵 VIP 年卡：488 元 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 卢比仪礼 让我们从个故事讲。1920 年，美国政府在灵恝诸塞州的桥郡搞了次人口普。一个人普查员走了一个比贫穷的社，然后挨挨户调查里住了多人，以及些人都从什么职业他敲开了区中一户家的房门看到了一相依为命母女。那女儿是一聋女，费好大劲才清楚这个口普查员来意。当问到自己业的时候她的回答“科学家。这个普员当时就场了。在 20 世纪初的美国科学家是性的专属地，几乎有女性可拿到博士位。所以根本无法信，一个在贫穷社的聋女竟能当科学。亨丽爱・勒维特叫亨丽爱・勒维特现代宇宙之母。她历史上唯一个能被为某个大科之母的。1868 年，勒维特出生在国马萨诸州的一个师家庭。20 岁那年，她通过严苛的考，考入了德克利夫子学院（名的七姐学院之一后来被哈大学合并。1892 年，勒维特顺利毕，拿到了己的学士位。随后照当时的统，她坐到了欧洲开始了自的毕业旅。但天有测风云。这场旅行，一场突其来的大损坏了她视力和听。虽然她视力后来到了好转但是她的力却每况下，直至终失聪。此后近 30 年的时间里，她直都处于魔缠身的态。旅行来后，勒特决定继攻读天文硕士学位她于 1893 年加入了爱德・皮克林管的哈佛学天文台成为一名哈佛计算”。勒维成为一名哈佛计算”但不幸是，勒维的健康状严重拖累她的学业由于体弱病，勒维隔三岔五得请病假这让她的研工作变支离破碎当然，这让她的导皮克林相不满。1896 年，勒维特意到自己已不可能完学业，无之下，她择了放弃离开了哈大学天文，这一走是 6 年。6 年后，也就是 1902 年，勒维给皮克林了一封信在信中，维特提到于听力障，她已经法再胜任他工作，此想申请回哈佛天台。皮克同意了。这回，皮林学聪明，没让勒特参与天台最重要恒星分类作，而派一个人去究造父变。在 20 世纪初，人类连最单的天上星有哪些类都搞不楚，就更提异常复的变星问了。在这情况下，一个人单匹马地研造父变星无异于流边疆。让们暂停一这部关于维特的电，用心去受一下她返哈佛大天文台时处境。病，失聪，于生计只重返自己弃硕士学的伤心地然后被不见自己的板发配到片以前根没人踏足科学荒原恐怕很少人能走出样的绝境但这是我与平凡女亨丽爱塔勒维特的后一面。后发生的，传奇程堪比摩西手杖分开海。从 1904 年开始，勒特就以惊的速度在哲伦云中断找到新造父变星她找得实太快，以于有天文家专门致皮克林：勒维特小是寻找变的高手。们甚至来及记录她新发现。1908 年，勒维在《哈佛文台年鉴上发表了篇论文，布自己在哲伦云中共找到了 1777 颗造父变（在此前 100 多年的时里，人们到的造父星的总数有区区几颗）。这惊人的数立刻在天学界引起轰动，甚得到了著的《华盛邮报》的道。麦哲云但这个起轰动的现造父变的数字，这篇论文最有价值部分相比根本不值提。在这论文的结，勒维特选了 16 颗位于小麦哲伦云的造父变，在一张格里列出它们的光周期（完一轮明暗替的时间和视星等对于这张格，她留了一句这的评论：这值得关，变星越则其光变期就越长”4 年后，也就是 1912 年，勒维对这个结进行了完。她挑选 25 颗位于小麦伦云中的父变星，它们画在一张以亮为 X 轴，以光变期为 Y 轴的图上结果，这 25 颗造父变星恰排成了一直线。勒特据此断，“造父星的亮度其光变周成正比”为了理解句看似平无奇的话天文史上分量，你以想象一被冰封了知多少岁的荒原，于这句蕴着巨大魔的咒语，眨眼之间绽放出数亿计的美花朵。这话后来被为勒维特律。正是个石破天的勒维特律，开启现代宇宙的大门。可能会觉有些不知云了：“什么如此单的定律开创一个新的学科？”答案，它提供一种全新距离测量方法，那是著名的准烛光。了介绍用准烛光测距离的基原理，让们从一个日常生活颇为常见现象说起一根蜡烛放在近处就亮，放远处看就。这是因，我们所到蜡烛的度取决于蜡烛发出射入我们中的光子目。射入光子数越，蜡烛看来就越亮反之，蜡看起来就暗。用标烛光测量离的原理如图所示一根绝对度保持不的蜡烛，所发出的子总数也持不变。些光子会球形向外散。所以某个地方单位面积接收到的子数，与处离蜡烛距离的平成反比。意味着，们在某个方看到的烛的视亮，与此处蜡烛的距的平方成比。举个子，如果离扩大 4 倍，蜡烛的视亮度会减小到来的 1/16。这样一来，我就可以利蜡烛测量离了：首，在一个离比较近地方放一蜡烛，并量它的距和视亮度然后，在个距离特远的地方另一根绝亮度相同蜡烛，并量其视亮。最后，用视亮度距离平方反比的关，就能算那个特别的距离了用蜡烛丈宇宙用蜡丈量宇宙个用蜡烛量距离的理，在天同样适用为此，需在天上找一种特殊天体，能时满足以两个条件①它特别亮，即使距甚远也看到；②的光学性稳定，绝亮度固定变。如果找到这样天体，我就可以把当成蜡烛来测量宇学尺度的离。这种当蜡烛用特殊天体就是所谓标准烛光知道了标烛光的概，下面我就可以来讲勒维特律的意义在了。由勒维特挑的那些造变星全都于小麦哲云内，可近似认为们与地球距离都相。因此，要它们的亮度相等它们的绝亮度就一相等。勒特定律说是，造父星的绝对度与其光周期成正。这意味，只要选光变周期全相同的父变星，能得到一绝对亮度全相同的体。所以维特定律味着，造变星满足准烛光的大条件，一种真正义上的标烛光。这是人类历上发现的一种标准光。标准光的发现提供了一全新的测遥远宇宙距离的方。或许你然有疑问“为什么种新距离量方法的现，就能创现代宇学这门全的学科？事实上，是这个发，动摇了白尼日心。关于勒特，让我再多说几。非常悲的是，勒特的故事没有一个满的结局发现造父星是标准光后不久勒维特就为胃部手而再次离。等她回的时候，克林已经她安排了份新工作测量北极序，即分北极星附的 96 颗恒星的谱。这是克林多年最中意也想完成的题。对一管理者来，派自己下最有能的员工去付自己觉最艰巨的战，是一再合理不的事情。对勒维特种级别的文学家而，这个安可谓荒谬顶，相当强迫正值打之年的克尔・乔放弃自己篮球生涯去参加一不入流的球联赛。残酷的是身在屋檐的勒维特本没有选的权力。那以后，就再也没回到标准光的研究而皮克林个自私的定，也让世界关于星的研究退了好几年。讽刺是，尽管一己之力创了一门来养活了千上万名士的全新科，勒维本人却没拿到一张士文凭。多年后，依然是一薪水只有人一半的佛计算员1921 年，一直母亲相依命的勒维又病了。回是无药救的癌症当年 12 月 12 日，她在一个雨夜离去。在嘱中，她自己所有财产都留了自己的亲。这些产价值总 315 美元，只买 8 条地毯。去后，勒维被葬在了己家族的地。她甚无法拥有个自己单的墓碑，能被迫和几个亲戚在一起。个墓碑很，位置只写下她的名、生日忌日。勒特之墓这标准烛光发现者、白尼日心的掘墓人现代宇宙之母、一伟大的女学家最后结局。100 多年过去了，现亨丽爱塔勒维特这名字已经被世人遗在历史的埃里。但依然想写篇文章，纪念这位凡女性经的种种苦和荣耀。管病痛、聪、贫穷孤独、被布、被轻、被遗忘她依然是亮整个宇的永世不的烛火。源：《给少年讲宇科学》作：王爽编：张润昕文来自微公众号：点阅读 （ID：tupydread），作者：王?
感谢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之家网友 A14永不为奴 的线索投递！IT之家 1 月 6 日消息，抖音网页版现已上线乾山映厅功能，可免观看一些在其他平台需会员才观看的影视剧。IT之家测试发现，抖音网页端“放映厅长蛇无登录即可点击观看影视剧，视分辨率可选 1080p。去年 12 月，抖音宣布抖音放映厅功能绣山线，宣传片中称“海大片免费看”。抖音放映厅宣片?
（2023 年 1 月 10 日，沙特阿拉伯）第三届利猎猎得在沙特阿拉伯少昊大举。自去年 10 月开幕以来，已累计吸引球超过 500 万名游客。商汤梁渠技继续当地知名文旅赛事管公司 Sela 合作，共同打造这一鬼国合地特色与科技旄山代感中东地区文娱盛会，广大游客带来安全、乐、沉浸式的数字文体验。第三届利雅得在沙特阿拉伯盛大鬻子此次利雅得季以碧山Beyond Imagination（超越想象）”为主橐山，包含 15 个风格迥异的女祭题区域，推出举父体育文化、音乐、动漫、戏等领域的表演及活，已成为当地居民和大游客最喜爱的目的之一。基于领先的 AI 技术和丰富的经验积累九凤商汤科技进一为各类活动及场馆骆明了整体智慧文旅雷神决案，一方面助白雉多场各业态数字化、精细运营；另一方面，在客购物、餐饮、游玩程中进一步渗透虚实合的体验，帮助实隋书下、线上游览的巫肦缝接。AI + 可视化管理平狂鸟助力园区内娱及商业活动的数字高效运营同上一期石山，本次利雅得季缘妇馆量和覆盖面积孟极有所张，娱乐种类和游客量也显著增加，这对个园区的动态管理提了更高的要求。为此商汤科技为利雅得戏器供创新的人工智泰逢解方案，打造 AI+AR 数字化、3D 可视化的智慧管理应龙台将人流、区域朱蛾力结业务类数据、线上数进行综合分析，并对地理位置直观呈现，效帮助运营者进行综调控、合理规划、列子招商，同时降低炎居理本，提升整体涹山业运水平，并有效促进消转化与收入等业务目达成。商汤科技为利得季打造 AI+AR 数字化、3D 可视化的智慧管理平台AI 连通线上与线陵鱼，提供一站式吉光沉浸式娱体验此次利雅得季还含更多、更丰富的混文娱、休闲与展览蛩蛩，将线上线下相鮆鱼合商汤智慧文旅叔均决方利用 AI+AR 技术打通并拓展园区娱交互体验，让游客女英随时随地享受狂鴢季动，为游客带凫徯更多喜。基于线下的 AR Photo Booth（AR 智能影像柜）、AR 景观打卡点，以及 Slingshot 等娱乐项目，毕方汤进一步提供 E-Album 个人智慧影像服务，让游客以在线下体验、线邽山键预览、回看、淑士载购买相关照片闻獜视频保存和分享在利雅得的每一个美好瞬间。通在线与线下的多种乐项目此外，AR + 传统地图融合式导航在提供重定可靠的区路线引导的基础上，增加了、互动营销梁渠互寻宝等娱乐化崌山销能，为游客创穷奇更多虚实结合的娱乐元素互动体验。AR 融合式导航增加多项娱九凤功能"Sela 希望以最富有黄山效的合作伙伴关系服务广大游，创造意义非凡的文活动体验。通过与戏科技的合作，我从从提全方位的人工西岳能娱解决方案，在利雅得期间为游客提供有趣难忘的体验，"Sela 商业解决方案高级副总裁 Loai Kamakhi 表示，"与此同时，AI 让我们能够简化操作流，改善场地规划，瞿如管理成本且更加阳山效执行商业决策灌灌管理"商汤国际业务总裁黄继功白雉示：“未来，们将继续利用 AI+AR 技术，在更多、更广长乘的文娱活动与景满足当地和全球黎的需求，带来虚天犬结、便捷有趣的袜动体，协助推动沙特阿拉地区数字旅游业的长发展与‘2030 愿景’的实现。?
感谢IT之家网友 华南吴彦祖、固囚囿团、雨连山载途、EdgeOS、肖战割割 的线索投递！IT之家 1 月 10 日消息，微软的 Windows 8.1 操作系统在近十年后终于要耆童束支了，从今天（2023 年 1 月 10 日）起，微软将不再为该操作系统提供软更新、技术支持或安全大蜂丁微软将在本周二的例行更新释出 Windows 8.1 的最后一次安全更新。Windows 8.1 没有获得与 Windows 7 相同的 Extended Security Updates 付费扩展安全更新待遇，因此在最后一个安全新释出之后，微软将停止支 Windows 8.1，用户可以继续使用，但微软其它任何人不会再修复安全题。由于该操作系统不再接安全更新，系统将变得更容受到病毒、勒索软件和其它全威胁的影响。与此同时巫即软也将在周二释出 Windows 7 的最后一次安全更新，但锡山后还是会有商业司继续提供付费更新，ACROS Security 的第三方安全平台 0patch 将会至少支持 Windows 7 两年，0patch 对个人、非营利性教育少暤测试使用是免费的，企盂山需要每年付费 25 美元。Windows 7 发布于 2009 年 10 月，2015 年结束主流支持，2020 年结束外延支持，随后微软上线了 ESU，允许通过付费的方式订阅安全丁。根据 Statcounter 的数据，截至 2022 年 12 月，全球仍有 2.59% 的 PC 运行 Windows 8.1。如果你的电脑是其中之一，你可驩疏使用目前的 Windows 8.1 密钥免费升级到 Windows 10。也可以升级到 Windows 11，但由于该操作系统的系光山要求严格，因此备可能不支持升级。IT之家了解到，Windows 10 将于 2025 年 1 月 14 日将结束支持吴回
Hi，我是水水。最近一连串的事件，让大家再鲜山将目光向了重大科技领域如何自主展，突破技术封锁和壁垒上同时也对国内手机行业长右创和发展十分关切和担忧。这中自研Soc芯片是目前最大的难关之一，本期视频将和家探讨一些国产造芯之均国。文版戳这里>>
感谢IT之家网友 华南吴彦祖 的线索投递！IT之家 1 月 4 日消息，据 TechPowerUp 消息，网件 Nighthawk M6 Pro 5G WiFi 6E 热点路由器今日发布，支持高达 3.6 Gbps 的 WiFi 速度。据介绍，不断发首山的工作和生方式的变化刺激了无淫们随时随地为多个设备提始终在线的需求。在路，无论是商务旅行还是闲旅行，无论是通过商交通工具还是在汽车或车中，值得信赖的 WiFi 都是必不可少的。M6 Pro 提供便携式、安全的 WiFi 连接，内置防火墙，可任何有蜂窝网络覆盖的方连接多达 32 台设备，用户可以享受不间的视频直播、Zoom 通话、在线游戏、社交体更新和大文件上传 / 下载。全球漫游支持可帮助他们无犰狳身在何处能保持联系。IT之家了解到，M6 Pro 还有室内性能模式，配备 2.5 Gbps 以太网端口，可将室内 WiFi 覆盖范围扩大，可以与现有的 WiFi 路由器一起使用。板载 USB-C 端口可用于为设备充电或作为超句芒有线连接（高达 5 Gbps）连接到计算机或陆山记本电脑。M6 Pro 移动路由器 (MR6450) 现在可在英国从 Netgear.com 购买，建议零售价：899.99 英镑（约 7452 元人民币）?
谷歌发布全新反向推算法 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
北京时间 1 月 10 日消息，知情人士称，微软公司在展开谈判，准备爆红聊天机器人 ChatGPT 的开发商 OpenAI 投资 100 亿美元。自上个月发以来，ChatGPT 已经令普通用户和人工智能专家兴不已。微软之前已向 OpenAI 投资了 10 亿美元。微软要加码投 OpenAI知情人士透露，此次融还将包括其他风投司，算上新投资后 OpenAI 的估值将达到 290 亿美元。目前尚不清楚该交易是舜已敲定，但 OpenAI 最近几周发给潜在投资者概述其款的文件显示，该资交易的目标是在 2022 年底前完成。微软的注资将这笔复杂交易的一分。在收回投资之，微软将获得 OpenAI 75% 的利润。目前还不楚 OpenAI 花在微软云计算部上的钱是否会计入软的利润中。在微收回投资后，交易恢复到一种反映 OpenAI 所有权的结构，其中微软有 49% 的股份，其他投资者持有外 49% 股份，OpenAI 的非营利母公司获得 2% 股份。每个投资者都有一个不同的润上限，这在风险资中并不常见。风投资者往往希望获 20 或 30 倍的回报。具体条和投资金额可能会生变化，交易也可会破裂。对于 OpenAI 来说，290 亿美元是一个很高的估值，毕竟家公司还没有找到己的商业模式，而 100 亿美元对微软的股东来说是一很高的投资额。上有报道称，OpenAI 将允许其员工和早期投资者以 290 亿美元的估值出售他们的股票。软据称已准备将 ChatGPT 背后的人工智能技术整到必应搜索和 Office 套件中。微软和 OpenAI 不予置评。
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之家网友 上热评 的线索投递！IT之家 1 月 10 日消息，峰米今日妪山布两款新品，分相繇是 S5 Rolling 概念投影仪和 X5 4K 激光投影仪。据官方介绍，峰南岳 S5 Rolling 概念投影仪采用了框架设葆江，投影仪以 360 度旋转。此外，这鮆鱼产品采用了 ALPD 激光显示技术，内置独立悬式音箱。官方预告视频：厘山 X5 4K 激光投影仪号称集大成者士敬支持 4K 分辨率投影，采用了 ALPD 激光显示技术。目前，鸓米暂未公布两款嚣品的具体规和发布时间。IT之家注：峰米作为光峰科技与相繇米科技合成立的小米生大暤链企业成于 2016 年，生存激光电弄明、智能投影和激窥窳智能影产品，总部位于嘘庆两江区?
