网络资讯 字节跳动发布新一代形式化数学推理专用模型 Seed Prover 1.5 12 月 24 日消息，字节跳动 Seed 团队今日宣布推出新一代形式化数学推理专用模型 Seed Prover 1.5，通过大规模的 Agentic RL 训练，其推理能力和推理效率宣称取得显著进步... 五花石 2025-12-24 13
网络资讯 B站否认“全面付费观看”后，造谣行为人被依法行拘 12 月 24 日消息，据第一财经今日报道，因发布“明年B站所有视频需购买会员才能观看”不实信息，警方迅速将相关造谣人员抓获并依法予以行政拘留。... 五花石 2025-12-24 27
网络资讯 自己年初造的新词火了，OpenAI 联合创始人卡帕西谈“氛围编程” 12 月 24 日消息，今年年初，安德烈・卡帕西（Andrej Karpathy）创造了“氛围编程（vibe coding）”一词。如今，他对此有话要说。... 五花石 2025-12-24 15
网络资讯 Meta 偷师 Valve：用 Steam Deck 掌机“防游戏掉帧”技术加速服务器 12 月 24 日消息，科技媒体 Tom's Hardware 今天（12 月 24 日）发布博文，报道称近期在东京举行的 Linux Plumbers 大会上，Meta 工程师透露已将 Va... 五花石 2025-12-24 11
网络资讯 部分用户反映谷歌 Pixel 手机出现奇怪 Bug：拍摄的照片不翼而飞 12 月 24 日消息，据 AndroidAuthority 报道，部分谷歌 Pixel 系列手机出现异常故障，导致用户照片丢失。近日，有多位 Reddit 论坛用户发帖反映，用 Pixel... 五花石 2025-12-24 11
网络资讯 三星电子华城园区发生火灾，约 120 人紧急疏散 12 月 24 日消息，当地时间今日上午 10 时 02 分左右，韩国京畿道华城市三星电子园区内的一栋研发大楼发生火灾，约 120 人紧急疏散。... 五花石 2025-12-24 10
网络资讯 MiniMax 更新 M2.1 模型，重点聚焦于更多编程语言和办公场景的可用性 12 月 24 日消息，MiniMax 昨日宣布为其 MiniMax M2 开源模型推出 M2.1 版本更新。此次更新致力于提升真实世界复杂任务中的表现：重点聚焦于更多编程语言和办公场景的可用性。... 五花石 2025-12-24 10
网络资讯 消息称韩国现代接触中国插混方案，有望引入吉利雷神 12 月 24 日消息，据路咖汽车昨日消息，现代汽车集团（非“现代中国”）正在与吉利汽车进行接触，商讨将后者的混动系统搭载在国产新车上的可能性。... 五花石 2025-12-24 11
网络资讯 Omdia：预计 2026 年全球电视出货量超 2.1 亿台同比增长 1%，中国市场同比下滑 4.7% 12 月 24 日消息，技术研究与咨询机构 Omdia 最新发布《2025 年第三季度，电视机（新兴技术）市场追踪与预测》，预测全球年度电视机出货量预计将在 2026 年超过 2.1 亿台，主要受 F... 五花石 2025-12-24 12
网络资讯 中科卫星“海哨三号”SAR 卫星计划启动，增强低纬度区域观测能力 12 月 24 日消息，2025 文昌国际航天论坛-自贸港“陆海空”科技与产业创新论坛于 12 月 22 日在海南文昌举办。在论坛上，中科卫星科技集团与海南省航天技术创新中心发布了“海哨”星座建设成果... 五花石 2025-12-24 13
