而现在，在 2200 万 + 个需要证明的蕴含关系中，8178279 个已被证实，13855193 个已被证伪，仅有 162 个还悬而未决。 采用”数学家 + AI（包括自动定理证明系统和大模型）+ 证明辅助语言 Lean”这样的协作方式，构建一个展示 4694 个 magma 等式（最多四次使用 magma 操作）之间所有蕴含关系的“蕴含图”。 传统上，大部分数学研究项目都由少数专业数学家（通常 ...

IT之家11 月 23 日消息，据新华社今日报道，中国外文局当代中国与世界研究院的最新研究成果《2024 中华文化符号国际传播指数（CSIC）报告》（以下简称“报告”）在 2024 世界互联网大会乌镇峰会互联网文化交流互鉴分论坛发布。 报告指出，2024 年中华文化国际传播呈现出海内容“国潮”化、主体多元化、赛道细分化、生态延展化等新特征。 报告基于中华文化符号国际传播指数（Chinese Cul ...

IT之家 11 月 23 日消息，均瑶集团吉祥智驱（以下简称“吉祥汽车”）首款纯电动汽车 JY AIR 于 11 月 19 日在泰国首发上市。 此次泰国首发上市，除了常规权益之外，均瑶集团还为用户提供了航空权益大礼包， 包括吉祥航空 3 年金卡会员免费、吉祥航空 3 年机票随心飞（不限航线）等 。

IT之家 11 月 23 日消息，乘联分会秘书长崔东树今日发文称，2024 年 10 月月末全国乘用车库存 297 万台， 较上月降低 5 万台 ，较 2023 年 10 月下降 71 万台，且较 2022 年 10 月低 75 万台。目前的燃油车市场低迷带来厂商的总体谨慎，年末冲刺前的生产仍收缩明显。

触觉是人类感知外部环境并与之交互的重要知觉形式。现在，科学家们也正在制作 柔性皮肤 ，试图将这种能力赋予机器人，使之能完成更为灵巧、复杂的操作。比如，自适应地稳稳夹紧一颗鸡蛋： ...

剧情类似于大家熟知的迪士尼 2002 年经典动画，影片讲述孤独的夏威夷小女孩莉萝（凯洛哈饰）一直梦想养一只宠物狗，这天她终于得偿所愿，在姐姐的帮助下收养了一只流浪小狗，并帮他取名史迪奇。

IT之家 11 月 23 日消息，漫步者花再 Zero Clip 耳夹耳机现已开售，该款耳机支持蓝牙 5.4 无线连接、综合 35 小时续航， 首发 359 元 。 据介绍，漫步者花再 Zero Clip 耳夹耳机拥有 珍珠白 、 琉璃黑 和 可可棕 三种配色；耳机采用开放式耳夹设计，辅以 0.6mm 镍钛记忆钢丝材质，宣称拥有“不易变形”的特性。

IT之家 11 月 23 日消息，孩之宝（Hasbro）首席执行官 Chris Cocks 本周四在接受彭博社采访时透露，该公司正在开发一款新的《龙与地下城》游戏作品。 虽然他在采访中未透露这款游戏新作的具体内容、类型以及制作工作室，但确认该游戏正在积极开发中。

编者按：本文作者 Alexis Ong 是一位对上世纪 90 年代到本世纪初互联网文化感兴趣的自由撰稿人。在本文中，她与几位从 20 世纪 90 年代开始、通过设计官方网站进入游戏行业的开发者一起，共同回顾了游戏网站的黄金时代。尽管它非常短暂，但那时候，人们还相信互联网能把彼此更紧密地联系在一起。

从曝光图来看，荣耀 300 Ultra 延续了 Pro 版的设计语言， 至少提供黑、白两款配色 。新机正面采用曲面屏设计，居中打孔屏幕；机身背面搭载后置三摄，镜头 Deco 印有独特的红色标识。

IT之家 11 月 23 日消息，社交媒体公司 Reddit 股价在 11 月 22 日收盘跌超 7%，此前腾讯披露称该公司出售了对 Reddit 的大量持股。 腾讯 11 月 19 日以平均每股 133.76 美元（IT之家备注：当前约 971 元人民币）的价格出售了 65.50 万股 Reddit 股票； ...

IT之家 11 月 23 日消息，据比亚迪商用车官方消息，11 月 21 日，比亚迪轻卡 T5 系列大电量版重磅首发，现场签约 836 台。 据官方介绍，比亚迪 2025 款 T5 以“纯电 + 混动”的产品布局为基础，推出大电量版本以满足城配和城际细分场景运输需求多样化。 混动车型 T5DM 从 18.3kWh 提升至 55.39kWh，纯电车型 T5EV 增加 82/90/100/132kWh ...