「科学计算」共找到 948 篇相关文章
特朗普正收购英特尔10%股份，约100亿美元
凌晨华尔街日报消息，特朗普政府正与英特尔谈判，拟将“芯片与科学法案”部分或全部资助转成公司股权获10%股份，约100亿美元，旨在助其重振代工业务，目前谈判初期，股价有波动。
矩阵乘法可以算得更快了！港中文10页论文证明：能源、时间均可节省
香港中文大学10页论文提出新算法RXTX，用于计算矩阵与其转置的乘积XXᵗ。该算法结合机器学习搜索和组合优化技术，能源可节省5%-10%，时间节省5%，对多领域有深远影响。
微软Build 2025大会Day 1：All in「智能体网络」，全面推动MCP
北京时间昨夜今晨，微软Build 2025开发者大会Day 1开场，CEO萨提亚·纳德拉透露“智能体网络”概念。大会展示微软在开发者工具、办公中枢、云平台等多方面进展，还宣布Microsoft Discovery平台加速科学突破。
Meta归来！时隔一年发布Muse Spark，重回第一梯队
Meta发布Muse Spark模型，这是MSL团队首款模型。此前Llama 4表现不佳，刺激Meta重组。Muse Spark性能超Llama 4，计算效率提升，在测试中成绩优异，Meta AI战略转向闭源探索，模型已上线。
The Batch: 899 | 更划算的推理
研究人员提出 Delethink 强化学习方法，训练大模型定期截断推理 token 至固定最大数量，以限制处理长思维链成本。经测试该模型在多方面超基线，且缓解计算成本限制，为长上下文推理提供路径。
B站整了个搞笑诺贝尔评选，也太难绷了
B站2025超级科学晚变身搞笑诺贝尔奖颁奖典礼，获奖研究脑洞大开，如狼人杀AI、给蚊子变性等。虽看似不正经，实则是各领域正经科研突破，涉及数学、物理、医学等多领域。
AI"学霸"也解不出高中题？耶鲁、复旦发布MMSciBench，揭示AI理科推理能力短板
耶鲁、复旦等推出MMSciBench评测基准，揭示主流模型复杂科学推理短板。它有高质量数据、多模态多题型测试和精细知识分类体系。测试发现模型图文融合及推理能力弱，英文推理或效果更好。
黄仁勋CMU演讲：取代你的是会AI的人，所有人同一起跑线，奔跑吧
卡内基梅隆大学毕业典礼上，黄仁勋发表演讲。他指出AI不太可能取代人，但善用AI的人可能取代他人。他还提及计算范式转变，新工业带来新潜能，呼吁毕业生全力奔跑塑造未来。
刚刚，DeepSeek 突发梁文锋署名新论文：V4 新架构提前曝光？
今天凌晨，DeepSeek在GitHub开源新论文与模块Engram，论文提出“查—算分离”机制，通过可扩展查找记忆结构提升模型表现。Engram将记忆与计算职责分离，或成V4核心技术，获网友肯定。
AAAI 2026 Oral | 手机传感器正在泄露隐私？PATN实时守护隐私安全
移动应用获取手机传感器数据支撑重要功能，但带来隐私隐患。西安交通大学与东京科学大学在AAAI 2026提出PATN框架，基于对抗攻击思想，设计两大核心技术，能在多种场景下守护隐私安全。