科技

字节跳动发布新一代形式化数学推理专用模型 Seed Prover 1.5

IT之家 12 月 24 日消息，字节跳动 Seed 团队今日宣布推出新一代形式化数学推理专用模型 Seed Prover 1.5，通过大规模的 Agentic RL 训练，其推理能力和推理效率宣称取得显著进步。相比上一代模型，Seed Prover 1.5 在 16.5 小时内，针对 IMO 2025 的前 5 道题目生成了完整可编译验证的 Lean 证明代码，换算成绩为 35/42，达到此前 ......

科技

普通人的手机多久换一次合适？

原标题：普通人的手机多久换一次合适？ 来源：亿欧网你正在刷微信抖音的手机，是不是快3年没换了？虽然，感觉人人都在买新iPhone，换新旗舰。但其实，坚持用买了3、4年的手机，舍不得换的人，才是中国的大多数。2025年，中国用户平均换机周期接近33个月，与20年相比拉长近40%。所以，现在还用3年前的手机，甚至还在用刚有5G时入手的Mate 30、iPhone 12、小米10，都不算特别。中国......

科技

同日三店齐开，京东、美团、盒马的生鲜线下争夺战

出品/联商专栏撰文/肥脸一场耐人寻味的“线下赶考”正在生鲜零售赛道上演。同一日，北京美团小象超市首店限流排队，石家庄京东七鲜超市人气爆棚，深圳盒马鲜生新店吸引周边居民争相体验。三家互联网巨头携不同体系、不同方法论强势入局，看似偶然的“撞档”，实则揭开了零售行业的重要转向——当线上流量红利见顶，生鲜这个电商化最难啃的品类，正成为巨头们重构线下价值的核心抓手。曾经以“颠覆线下”为标签的互联网企业，如今......

科技

消费者发“避雷帖”引丽江古城旅拍退单潮，有商户称：确有部分商家低价引流，图片精修易引发消费者不满

来源：经视直播 近日，丽江旅拍行业因不实“避雷帖”引发大规模退单，丽江市古城区文旅局要求小红书平台介入内容治理，引发网友热议。经视直播记者联系部分商户，对方回应称，投诉多涉及精修收费与修图效果，已通过沟通协商或申诉处理。文旅局、行业协会及市场监管部门则表示已出台管理办法、成本提示并加强监管，呼吁行业诚信经营、明码标价。 图/......

科技

2025中国品牌全球信任指数发布 海信蝉联智能家电行业第一

转自：新华财经新华财经北京12月24日电 近日，全球知名市场研究机构益普索（Ipsos）发布的《2025 中国品牌全球信任指数》报告显示：中国品牌全球净信任度同比提升12个百分点，而海信也凭借在全球市场的优异表现，蝉联智能家电行业第一。 从2019年起，益普索Ipsos持续追踪中......

科技

“中国手”出圈！英伟达、谷歌、微软、斯坦福、SKAILD AI选用星动纪元灵巧手

【环球网科技综合报道】创办仅仅两年，星动纪元所研发的星动XHAND1，就因首创关节全直驱灵巧手，迅速“圈粉”了美国Skild AI、韩国Rainbow Robotics、英国Extend Robotics、Discover Robotics等全球主要机器人厂商，以及斯坦福大学、哥伦比亚大学、摩根大通AI研究院、同济大学、清华大学、上海交通大学、香港大学、上海期智研究院、上海人工智能实验室等国内外知......

科技

从传统住宿向生活空间运营商转型 中旅酒店品牌重塑取得阶段性成果

【新华企业资讯12月24日】当前，中国旅游市场正经历从高速增长向高质量发展的深刻转型。随着“体验经济”时代的全面到来，消费者的需求已超越简单的住宿与观光，转而追求更深层的情绪共鸣、文化浸润与品质生活。面对市场变局，作为中国旅游集团旗下专注于酒店业务的全资子公司，中旅酒店于2023年底启动了以客户为中心的品牌重塑与产品升级。此举旨在推动企业从“传统住宿服务商”向“年轻化、智能化、场景化的生活空间运营......

科技

苹果AI团队规模悄然扩张，2026年架构重组锁定设备端大模型

来源：环球网 【环球网科技综合报道】12月24日消息，据appleinsider报道称，尽管过去一年多次传出高管离职与项目延误的消息，苹果公司的人工智能（AI）团队实际上规模远超外界预期，并正通过内部重组强化其长期战略。 外媒据多方消息证实，苹果不仅未放缓AI研发节奏，反而在20......

科技

跨省奔赴音乐之约 演唱会音乐节成文旅消费新引擎

来源：央视新闻客户端 近年来，大型演出市场呈持续上升态势，演唱会、音乐节等演出不但聚集人气带来票房收入，还带动交通、住宿、餐饮等消费增长，正在成为拉动文旅消费的新引擎。中国演出行业协会发布的数据显示，2024年演唱会、音乐节等大型营业性演出保持高速增长态势，票房收入达296.36亿元，同比增长66%，占营业性演出总票房的51.1%，成为演出市场票房成绩最为突出的品类。今年在北京，仅一个表演团队的系......

科技

消息称英伟达H200模组国内单价140万元，黄仁勋有望再来华

12 月 24 日消息，本月早些时候，美国商务部宣布将允许英伟达向中国的获批准客户出口 H200 芯片。路透社 12 月 22 日援引多位知情人士消息透露，英伟达已告知中国客户，计划于明年 2 月中旬，即中国农历春节前向中国客户交付 H200。其中两位消息人士称，英伟达计划动用库存履行首批订单，预计发货总量为 5000 至 10000 套芯片模组，相当于约 4 万至 8 万颗 H200 芯片。 ......

科技

自己年初造的新词火了，OpenAI联合创始人卡帕西谈“氛围编程”

12 月 24 日消息，今年年初，安德烈・卡帕西（Andrej Karpathy）创造了“氛围编程（vibe coding）”一词。如今，他对此有话要说。 据IT之家了解，卡帕西曾在特斯拉主导人工智能业务五年，负责公司的自动驾驶项目，还短暂参与过人形机器人“擎天柱”的研发工作。他......

科技

日本公布《AI基本方针》，确定独自发展路径

昨天（12月23日），日本媒体报道的三条关联消息十分引入注目：1，美国外交智库CFR（外交问题评议会）12月22日发表报告称，目前，美国的AI半导体能力是中国的5倍、2年后更是会扩大到17倍。2，日本工作机械工业会23日宣布，在两国关系紧张的11月，日本接到的来自中国的仪器设备订购单比去年同期增加了30%，总金额达到381亿日元（约17亿元人民币），超过了日本国内的订单，这也是连续20个月递增，显......

科技

格力电器：暂时没有空调铝代铜计划，铝材成本约为铜材的1/12

12 月 24 日消息，格力电器 12 月 23 日在互动平台表示，公司暂时没有铝代铜计划。格力电器表示，铜是空调的核心原材料，占空调成本的 20% 左右，尽管同等情况下，铝材成本约为铜材的 1/12（价格约为 1/4，密度约为 1/3），但其在熔点、热传导系数、电阻率、耐腐蚀等参数以及长期可靠性等方面与铜存在较大差距，在其性能、质量和可靠性不能完全保证的情况下，公司暂时没有铝代铜计划。公司重视铝......

科技

广电绝地反击！揭秘多彩新媒「不烧钱」的AI生存法则

机器之心发布目前，传统广电行业正面临一场深刻的生存危机。外部竞争压力持续加剧，不断挤压行业原有的发展空间：家庭智能语音设备渗透率已经突破 68%，短视频平台日均占用用户时长已经高达 2.8 小时，用户注意力的结构性转移趋势已然形成。而这种冲击更直接体现在行业的基本面上 —— 据国家广电总局数据，2024 年省级 IPTV 用户平均 ARPU 值已不足 15 元，较三年前下降 22%。究其根源，用户......

科技

万亿城市扩容后，城市竞争焦点会从规模转向质量吗？

万亿城市俱乐部扩容至27座后，政策层面已明确将城市竞争焦点从"规模扩张"转向"质量优先"，这一转型由城镇化率触顶、人口增速放缓和资源约束等多重现实倒逼而成。 一、政策定调：从"增量扩张"转向"内涵提升" 顶层设计落地：2025年中央城市工作会议及《关于推动城市高质量发展的意见》明确提出，城市发展需从"规模优先"转向"质量优先"，从"外延扩张"转向"内涵增长"，以存量提质增效为核心任务。目标到20......

科技

算力利润率攀升至70%的背后，OpenAI高估值与盈利困局能否找到平衡支点？

OpenAI的算力利润率从2024年初的35%一路飙升至2025年10月的70%，表面看是运营效率飞跃，实则暴露了高估值与盈利困局的核心矛盾——算力投入与收入增长的强绑定关系，以及商业模式对资本输血的深度依赖。 一、算力利润率攀升的本质：供给瓶颈下的效率优化 算力即收入上限 OpenAI明确将算力视为收入增长的硬约束而非成本项。CEO Altman指出，若算力翻倍，收入几乎同步翻倍，过去......

科技

英伟达携手SK海力士打造下一代AI SSD

韩国存储芯片制造商SK海力士近日宣布，正与英伟达合作开发一款面向人工智能推理工作负载的高性能固态硬盘（SSD），目标是在企业级SSD基础上实现最高可达十倍的性能提升。新产品目前处于概念验证阶段，计划在2026年底前完成原型设计。 据SK海力士副总裁金天成（音译）在一场会议上透露，......

科技

短短47天又多100万用户！马斯克的卫星互联网业务增速“起飞”

数小时前，科技富豪马斯克的卫星互联网业务“星链”（Starlink）宣布，公司的全球活跃用户数量已经突破900万关口。相较900万这个数字本身，用户数量的增速才是更关键的信息。 根据“星链”过往贴文的统计，公司在11月5日刚宣布活跃用户数量突破800万，之前是在8月28日突破70......