字节跳动 seed 团队推出新一代形式化数学推理专用模型 seed prover 1.5，通过大规模的 agentic rl 训练，其推理能力和推理效率取得显著进步。相比上一代模型，seed prover 1.5 在 16.5 小时内，针对 imo 2025 的前 5 道题目生成了完整可编译验证的 lean 证明代码，换算成绩为 35/42，达到此前 imo 评分标准的金牌分数线。
更系统的评估中，Seed Prover 1.5 在完整的 Putnam 历史评估集上解决...
小米高端旗舰机型的价格门槛正加速迈向7000元区间。
近日，小米集团合伙人、总裁卢伟冰在一场直播中明确表示：小米17 Ultra不仅将上调售价，而且涨幅“较为显著”，提前向用户释放了价格调整信号。
推动此次涨价的关键因素在于内存芯片成本的大幅攀升。卢伟冰指出，自2022年底起，AI产业迎来爆发式发展，由此引发的存储需求激增，已使2025至2027年成为DRAM与LPDDR内存价格持续走高的关键周期。
权威数据显示，2025年第三季度DRAM均价同比飙升171.8%；...
12月24日最新消息，据韩联社报道，当地时间当日上午10时01分前后，位于韩国京畿道华城市的三星电子华城园区一座研发楼突发火情，现场可见明显烟雾升腾，当地消防部门迅速响应并赶赴处置。
经初步确认，本次事件系园区配套附属设施中一台名为“泵”的设备因异常过热发生碳化所致，过程中释放出烟尘与灰烬，但未出现明火蔓延。所幸处置及时，未造成任何人员受伤或死亡。
为确保万无一失，消防部门调派了含泵车在内的30余台专业装备及80余名消防员到场，同步启动应急预案，对整栋建筑实施安全管控...
12 月 24 日消息，国家电影局今日正式公布《关于 2025 年 11 月下全国电影剧本（梗概）备案、立项的公示通知》。
查阅最新备案名录可见，一批以中华神话为内核的国产动画电影已获准立项，涵盖《西游・缘劫》《炽焰・铁扇公主》《嫦娥之太阴天命》《宝莲灯缘起》《天命・哪吒》《西游释厄传之悟・空》《西游之流沙河》等多部作品。
《炽焰・铁扇公主》
天地初开之际，昆仑墟中一株混元芭蕉孕育阴阳双扇，乃维系三界平衡之至宝。共工怒撞不周山后，右扇坠入魔域，左扇则化为神巫血脉世...
一篇挺有意思的论文，专门讨论了人类和大语言模型（llm）在判断方式上的差别。
论文原文：osf.io/preprints/psyarxiv/c5gh8_v1
论文指出，在 “怎么知道、怎么做判断” 这件事上，人和 LLM 其实有很大不同。虽然 LLM 给出的答案常常看起来和人类的判断很像，但这种 “像” 只是表面，背后的判断机制完全不是一回事。
回顾 AI 的发展，从最早依靠规则和推理的 “符号 AI”，到后来按关键词筛选信息的系统，再到现在这种大规...
华硕geforce rtx 50系列显卡全面兼容nvidia dlss 4技术，这是一项突破性的ai驱动渲染方案，通过深度神经网络显著提升帧生成速度、缩短响应延迟，并同步优化画面细节与清晰度。依托rtx 50系列gpu核心及全新第五代tensor core硬件加速，dlss 4不仅实现了更精准的光线重建与超分辨率重建，更首次引入革命性的多帧生成（multi-frame generation）能力。
DLSS多帧生成技术将充分释放GeForce RTX 50系列显卡的...
近日，一些playstation用户发现其游戏库中通过非正常途径获取的《影子战术：将军之刃》已无法打开或启动，表明索尼正逐步清理今年10月因ps商店系统异常而被误领的游戏，相关账号中的该作已被悄然下架。
今年10月，PlayStation Store曾短暂存在一处技术性缺陷，使部分玩家得以绕过付费流程，免费获得本应付费购买的《影子战术：将军之刃》。操作步骤为：先将该游戏的试玩版本加入自己的内容库，之后在完整版商品页中，系统会错误地显示“免费领取”选项，从而完成无成本...
亚马逊正式宣布，从2026年开始，alexa+将深度整合angi（家庭服务平台）等四大服务，用户只需通过自然语言对话，即可直接完成酒店预订、美发预约、家装报价获取、餐厅筛选等操作，全程无需启动任何第三方app。
该升级延续Alexa+强大的多轮交互能力，支持在对话中实时优化与调整需求。例如：
“帮我查一下芝加哥本周末的宠物友好型酒店，价格控制在200美元以内。”
“附近有没有评分4.5分以上的泰国餐厅？最好能直接订位。”
“找一位熟悉老房子电路改造的电工...
wine开发团队正紧锣密鼓地推进wine 11.0稳定版的发布工作，该版本计划于明年一月正式推出。目前，最新发布的候选版本为wine 11.0-rc3。
代码与功能冻结已于两周前正式启动，这意味着后续开发将聚焦于缺陷修复与回归问题排查，不再引入新功能或重大变更，直至Wine 11.0稳定版在下月如期上线。
本次Wine 11.0-rc3带来的关键修复涵盖以下方面：
修复NVIDIA闭源驱动环境下GLX后端的兼容性异常
改善Steam客户端窗口出现白屏或黑屏...
linux内核核心维护者greg kroah-hartman正式确认，内核主线中首次有rust编写的代码被分配了cve编号。他指出：
Rust并不是能根除一切安全风险的“万能钥匙”，但它确实显著提升了代码安全性；随着Rust在内核代码库中应用范围持续扩大，整体漏洞数量有望大幅下降。尽管如此，我们刚刚为内核中部分Rust实现分配了首个CVE：https://www.php.cn/link/fd2919424aa877f8510812adda653f71。该漏洞仅会触发系统...