「AI 数学发现」共找到 10335 篇相关文章
英伟达下一代GPU登场，Rubin CPX一次推理数百万Token，网友：这是头野兽
在周二的AI基础设施峰会上，英伟达宣布推出专为超100万token长上下文推理设计的Rubin CPX GPU。它将与其他产品组成新平台，性能卓越，还能复用现有平台，预计2026年底上市。
SFT远不如RL？永不过时的剃刀原则打开「终身学习」大模型训练的大门
现代AI系统学习新任务时会灾难性遗忘旧知识，限制其持续学习能力。麻省理工学院研究者对比SFT和RL后发现，相同性能下RL更不易遗忘，提出遗忘定律，解释了RL优势源于其on - policy特性。
半导体封测：高速增长的背后
近期国内半导体封测企业披露财报，行业发展迅猛，多数厂商业绩增长。汽车电子和AI成关键驱动力，先进封装重要性凸显，多数企业在该领域布局。不过部分厂商出现增收不增利情况。
Claude：Profile and Preference
文章借与Claude对话，探讨Profile和Preference概念，分析其区别联系，指出AI时代借助大模型理解用户的变化，还谈及数据源、实时个性化、偶然性、广告变革等问题，最后Claude为作者生成简易画像。
DeepSeek-R1发布100天后：全面复盘推理大模型复现研究及未来！
推理语言模型（RLMs）发展显著，DeepSeek - R1发布引发广泛影响且未完全开源。MiroMind等总结其复现研究，关注SFT和RLVR方向，介绍数据构建、方法设计、训练过程细节及实验关键发现。
等等，MiniMax H3不是刚发布吗？怎么就卷到几分钱的价格了……
MiniMax新发布的视频模型H3在多模态能力出色，霸榜Artificial Analysis榜单。但开源模型有部署和成本难题，秘塔AI上线该模型，免部署，2K方案0.15元/秒，768P方案0.09元/秒，降低创作门槛。
梁文锋叫停签约，DeepSeek百亿新融资或全面暂停；白宫控月之暗面蒸馏Anthropic Fable 5遭驳；腾讯员工晒317万年终奖被辞永不录用｜Q资讯
本文汇总一周AI行业热点，有DeepSeek百亿融资或暂停、Karpathy或从Anthropic离职等消息，还涉及腾讯、360、美团等公司动态，以及多个新模型发布与技术成果。
任务自适应 Harness：从 Trace 到多 Coding Agent 的协作记忆
作者为AI Coding准备的端到端方案未落地，后在Routa项目找到新落点。基于ACP协议的Agent Trace可记录关键行为，用于分析优化。还介绍了Feature Explorer、Kanban Harness及任务自适应Harness，探讨多Agent协作记忆。
库克与苹果
苹果CEO库克宣布卸任，转任执行董事长。他在苹果28年，任CEO 15年，让苹果市值和营收大幅增长，打造强大供应链，推出多新品类。但造车项目取消，Vision Pro未打开大众市场，AI发展滞后。接班人是硬件工程师John Ternus。
逆天! Claude Opus几小时攻破C++大神4年死磕Bug
Reddit上有30多年C++开发经验的大神ShelZuuz，被一个困扰四年的Bug折磨，投入约200小时未解决。用Claude Opus几小时就找到症结，而此前GPT - 4.1等模型都失败。大神认为AI在编写新代码上像初级开发者。