搜索优化
English
搜索
Copilot
图片
视频
地图
资讯
购物
更多
航班
旅游
酒店
房地产
笔记本
Top stories
Sports
U.S.
Local
World
Science
Technology
Entertainment
Business
More
Politics
时间不限
过去 1 小时
过去 24 小时
过去 7 天
过去 30 天
按相关度排序
按时间排序
9 分钟
陶哲轩宣布“等式理论计划”成功:人类 AI 协作,57 天完成 2200 万 ...
而现在,在 2200 万 + 个需要证明的蕴含关系中,8178279 个已被证实,13855193 个已被证伪,仅有 162 个还悬而未决。 采用”数学家 + AI(包括自动定理证明系统和大模型)+ 证明辅助语言 Lean”这样的协作方式,构建一个展示 4694 个 magma 等式(最多四次使用 magma 操作)之间所有蕴含关系的“蕴含图”。 传统上,大部分数学研究项目都由少数专业数学家(通常 ...
17 分钟
《黑神话:悟空》《卡游三国》等入选“2024 年度数字文化十大 IP”
IT之家11 月 23 日消息,据新华社今日报道,中国外文局当代中国与世界研究院的最新研究成果《2024 中华文化符号国际传播指数(CSIC)报告》(以下简称“报告”)在 2024 世界互联网大会乌镇峰会互联网文化交流互鉴分论坛发布。 报告指出,2024 年中华文化国际传播呈现出海内容“国潮”化、主体多元化、赛道细分化、生态延展化等新特征。 报告基于中华文化符号国际传播指数(Chinese Cul ...
IT之家
19 分钟
Sensor Tower:《无尽冬日》《PUBG 手游》《原神》领跑中国手游 10 月 ...
IT之家11 月 23 日消息,Sensor Tower 公布了最新的 2024 年 10 月中国手游产品在海外市场收入及下载量排行榜。 大家就算在国内也经常看到相关虚假广告的《无尽冬日》海外收入再次提升 4%,超过 1.1 亿美元(IT之家备注:当前约 7.99 亿元人民币),蝉联出海手游收入 ...
31 分钟
吉祥汽车首款车型 JY AIR 泰国首发上市,车主可得吉祥航空 3 年机票 ...
IT之家 11 月 23 日消息,均瑶集团吉祥智驱(以下简称“吉祥汽车”)首款纯电动汽车 JY AIR 于 11 月 19 日在泰国首发上市。 此次泰国首发上市,除了常规权益之外,均瑶集团还为用户提供了航空权益大礼包, 包括吉祥航空 3 年金卡会员免费、吉祥航空 3 年机票随心飞(不限航线)等 。
46 分钟
乘联分会崔东树:全国乘用车市场 10 月末库存 297 万台、库存 40 天
IT之家 11 月 23 日消息,乘联分会秘书长崔东树今日发文称,2024 年 10 月月末全国乘用车库存 297 万台, 较上月降低 5 万台 ,较 2023 年 10 月下降 71 万台,且较 2022 年 10 月低 75 万台。目前的燃油车市场低迷带来厂商的总体谨慎,年末冲刺前的生产仍收缩明显。
35 分钟
低成本机器人“皮肤”登上 Nature 子刊:实现三维力的自解耦,来自 ...
触觉是人类感知外部环境并与之交互的重要知觉形式。现在,科学家们也正在制作 柔性皮肤 ,试图将这种能力赋予机器人,使之能完成更为灵巧、复杂的操作。比如,自适应地稳稳夹紧一颗鸡蛋: ...
40 分钟
迪士尼《星际宝贝》真人电影首张海报公开,2025 年 5 月 23 日北美上映
剧情类似于大家熟知的迪士尼 2002 年经典动画,影片讲述孤独的夏威夷小女孩莉萝(凯洛哈饰)一直梦想养一只宠物狗,这天她终于得偿所愿,在姐姐的帮助下收养了一只流浪小狗,并帮他取名史迪奇。
50 分钟
孩之宝 CEO 称其正开发《龙与地下城》游戏新作
IT之家 11 月 23 日消息,孩之宝(Hasbro)首席执行官 Chris Cocks 本周四在接受彭博社采访时透露,该公司正在开发一款新的《龙与地下城》游戏作品。 虽然他在采访中未透露这款游戏新作的具体内容、类型以及制作工作室,但确认该游戏正在积极开发中。
50 分钟
漫步者花再 Zero Clip 耳夹耳机开售:蓝牙 5.4、综合 35 小时续航,首发 ...
IT之家 11 月 23 日消息,漫步者花再 Zero Clip 耳夹耳机现已开售,该款耳机支持蓝牙 5.4 无线连接、综合 35 小时续航, 首发 359 元 。 据介绍,漫步者花再 Zero Clip 耳夹耳机拥有 珍珠白 、 琉璃黑 和 可可棕 三种配色;耳机采用开放式耳夹设计,辅以 0.6mm 镍钛记忆钢丝材质,宣称拥有“不易变形”的特性。
50 分钟
上世纪 90 年代,游戏开发者们的尘封“网事”
编者按:本文作者 Alexis Ong 是一位对上世纪 90 年代到本世纪初互联网文化感兴趣的自由撰稿人。在本文中,她与几位从 20 世纪 90 年代开始、通过设计官方网站进入游戏行业的开发者一起,共同回顾了游戏网站的黄金时代。尽管它非常短暂,但那时候,人们还相信互联网能把彼此更紧密地联系在一起。
2 小时
荣耀 300 Ultra 手机外观曝光:曲面屏设计,镜头 Deco 印有红色标识
从曝光图来看,荣耀 300 Ultra 延续了 Pro 版的设计语言, 至少提供黑、白两款配色 。新机正面采用曲面屏设计,居中打孔屏幕;机身背面搭载后置三摄,镜头 Deco 印有独特的红色标识。
2 小时
腾讯出售超 4 亿美元 Reddit 股票
IT之家 11 月 23 日消息,社交媒体公司 Reddit 股价在 11 月 22 日收盘跌超 7%,此前腾讯披露称该公司出售了对 Reddit 的大量持股。 腾讯 11 月 19 日以平均每股 133.76 美元(IT之家备注:当前约 971 元人民币)的价格出售了 65.50 万股 Reddit 股票; ...
当前正在显示可能无法访问的结果。
隐藏无法访问的结果
反馈