新闻资讯 · 第 8 页
- OpenPerov 用论文证据辅助太阳能电池设计
研究团队在 arXiv 发布 OpenPerov 预印本,尝试把文献证据和专家推理结合,用于钙钛矿太阳能电池的设计与优化。团队整理了来自 4,532 篇论文的证据,并建立包含 800 道问题的 PSMBench 评测。
- Agent Desktop 让 AI 读取桌面界面结构
Vercel Labs 的 Agent Desktop 提供命令行工具和 C 接口,让智能体利用操作系统的无障碍界面树识别按钮、输入框等元素,再执行相应操作。项目覆盖 macOS、Windows 和 Linux,并采用 Apache 2.0 许可证。
- Palantir 美国商业收入首超政府业务
Palantir 在 11 月 2 日披露的第三季度业绩中表示,美国商业收入首次超过美国政府业务收入。商业收入为 9.84 亿美元,同比增长 148%;政府收入为 9.53 亿美元,同比增长 96%。
- Marvell 拟以 1150 亿美元收购 Lumentum
Marvell 与 Lumentum 于 11 月 2 日宣布全股票收购协议,隐含企业价值约 1150 亿美元。每股 Lumentum 股票将换取 4.5 股 Marvell 股票。
- TopoQuant 用拓扑变化检查模型量化损失
TopoQuant 研究尝试在不反复运行昂贵下游评测的情况下,判断大模型量化后是否出现行为偏移。团队用拓扑数据分析描述参数结构变化,再观察它与注意力一致性的关系。
- SenseNova Loop 用共享权重加深模型计算
商汤公开的 SenseNova-Loop-9B-Preview 支持文字和图像输入,面向长上下文、文档理解、编程及工具交互。它在解码器中重复执行一段共享权重的层,以较少的参数副本增加计算深度。
- 让大模型读求解日志,减少参数调优试错
LDST 研究把混合整数规划求解器的日志交给语言模型分析。系统先提取运行瓶颈,再提出少量参数修改,并在执行前校验配置,而不是把每次求解结果只当作一个黑盒分数。
- 两位 MIT 学者因 AI 抗生素研究获奖
MIT 报道,Regina Barzilay 与 James Collins 因利用人工智能推动抗生素发现的研究获得 Pritzker AI for Science 奖项。两人的工作把机器学习与实验生物学结合,用于寻找可能具有抗菌活性的化合物。
- AI 智能体尝试解释量子实验数据
一项预印本把语言模型智能体用于量子系统的模型发现:系统提出候选物理模型,调用计算工具,再比较不同假设对实验数据的解释能力。研究使用了三组此前公开的金刚石与碳化硅色心实验数据。
- Anthropic 招募生命科学客座研究员
Anthropic 发起生命科学客座研究员征集,邀请高校、非营利机构和政府实验室的研究负责人及团队提交合作项目。方向包括人类生物学、结构与计算分子生物学、药物化学、药物发现和临床科学。
- Pandora 研究更贴近个体的咨询来访者模拟
Pandora 预印本研究如何让心理咨询来访者模拟器更贴近个体的表达方式。系统会根据咨询互动更新心理与关系状态,再单独规划表达内容和语言风格,避免模拟角色总能过分清楚地解释自己的困扰。
- Audio8 TTS 小模型支持 23 种语言语音生成
Audio8-TTS-Realistic-Air 基于 0.6B 级架构,支持文本转语音和零样本声音克隆。模型卡列出 23 种支持语言,并提供交互试玩入口、模型权重和 44.1kHz 音频编解码器。
- 机器人精细操作:更好的示范比大模型重要?
Friday 团队公开了 MetaFine 精细操作挑战赛的方案:每项任务采用约 1,900 万参数的策略模型,而不是直接微调大型视觉语言动作模型。训练数据来自模拟器中的脚本教师,也包含对学生模型错误的纠正。
- Trail 把智能家居指令变成本地分层选择
Trail 研究提出一种完全本地运行的智能家居控制方式。系统不让小模型自由编造控制命令,而是从实际设备注册表中依次选择房间、设备和操作;对把握不足的请求可以拒绝执行。
- 研究重查正交训练:收益未必来自正交性
一项语言模型训练研究比较了 14 种正交约束方案,模型规模从 3.6 亿到 31 亿参数,训练数据接近 2,000 亿 Token。作者希望分清性能改善究竟来自正交结构,还是来自参数归一化等其他因素。
- 塔吉克语检索模型公开训练与评测方法
Saidzoda-Tajik-E5-Large 基于 5.6 亿参数的多语言嵌入模型微调,面向塔吉克语文档检索。研究使用法律、税务、百科和网页文本构造问答对,同时混入英语与俄语数据,以保留多语言能力。
- Omen 收购 Aquatic Labs,补强数据中心液冷监测
Omen AI 于 11 月 2 日宣布,以现金和股票合计 1,600 万美元收购 Aquatic Labs。后者创始人 Allan Adams 将担任首席科学官并负责研发。
- 研究为注意力输出的扰动范围提供新证明
一项 Transformer 注意力研究提出锥规划框架,尝试为输入变化会让注意力输出偏移多少提供可计算的保证。论文区分了固定查询与查询、键共同变化时的难度。
- colibri 从磁盘按需加载 MoE 模型专家
开源项目 colibri 尝试让大型 MoE 模型在内存较小的电脑上运行。它把当前推理需要的部分留在内存,其余专家权重按需从磁盘读取,核心引擎使用 C 编写,并提供 CPU 及多种 GPU 路径。
- PrismServe 协调不同厂商加速器运行大模型
PrismServe 研究面向混合硬件集群的大模型服务。系统在同类设备组内运行量化专家,先根据预期回答质量选择专家,再按负载与缓存位置选择具体副本,减少跨硬件协作的开销。
- Matt Pocock 公开可组合的工程开发技能集
开发者 Matt Pocock 在 GitHub 公开日常使用的智能体技能集,强调用小而可修改的工作流程辅助真实工程开发。技能可以按任务组合,不要求把整个开发过程交给一套固定框架。
- SFTProbe 用少量探测筛选推理训练数据
SFTProbe 研究尝试减少推理模型微调数据的筛选成本。方法先做短暂的 LoRA 适配,再只检查每条推理轨迹的一小部分,通过损失特征估计样本难度与多样性。
- Worktrunk 简化多个 AI 编程任务的隔离开发
Worktrunk 是面向 Git worktree 的命令行工具,用于管理多个并行开发目录。不同智能体可以在各自的分支与工作目录中处理任务,降低相互覆盖文件的风险。
- BitLLM 优化手机 GPU 上的低比特模型解码
BitLLM 研究把手机 GPU 上的低比特模型推理瓶颈拆成数值类型转换和 KV 缓存访问两部分。方案调整缓存布局,并把部分转换移出矩阵计算的关键路径。