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