跳到正文

全部动态

按时间排列的全部内容。默认只显示通过双重评分的入选条目;切换到“全部收录”可以检索所有抓到的资料。

305 条收录动态,更新于 17:55

全部收录包含没有通过评分的资料,标题以常规字体显示并标为“未入选”,只供检索,不写入选理由。

11月3日

星期二,2 条

11月2日

星期一,6 条
  1. Amazon 用 Lean 4 形式化证明 AWS Aurora 数据分发协议的鲁棒性

    Amazon 自动推理团队用 Lean 4 形式化并证明了 AWS Aurora 分布式协议 Grover 的核心数据修复与迁移协议,证明其满足默认六副本容忍任意两节点同时故障的承诺,且证明不限定副本数。团队让 LLM 迭代提出规范并尝试证明或反例,过程中发现并记录了文档中的隐性假设与歧义,若照文档实现可能导致数据丢失。两种风格的协议形式也被证明等价,便于专家审阅。

    Amazon Science官方开放代码未入选重要性 58
  2. 智元联合清华、无问芯穹发布 CEL 群体经验学习:96 台真机实现机器人教机器人

    智元携手清华大学、无问芯穹发布群体经验学习范式 CEL,让机器人以同伴的真实作业轨迹为经验来源,在插花、叠衣、手机充电、凳子组装、手机包装五项真实任务上训练的策略全部超过 6 名人类远程操作员平均水平,最高领先 16.7 个百分点。

    AGIBOT 智元预印本未入选重要性 46

11月1日

星期日,4 条
  1. Simjecture 框架:语言模型智能体以反例驱动完成 Z-pinch 辐射能超额研究

    西安交通大学团队提出开源框架 Simjecture,让语言模型智能体围绕人类设定的物理猜想做反例搜索与前瞻性假设修正,并以计算物理作为可执行检验平台。

    入选理由作者团队公开了 Simjecture 框架与完整研究记录,研究者可据此判断反例驱动的智能体研究在计算物理中能承担到哪一步。

    arXiv 科研构思与自主科研代理预印本重要性 78
  2. Simjecture 框架以反例驱动智能体研究 Z-pinch 辐射能超额问题

    作者提出开源框架 Simjecture,让语言模型智能体围绕人类设定的物理猜想,以反例驱动的证伪和假设修正推进研究,并用计算物理作为可执行测试环境。团队用该框架开展 82.6 小时研究,考察 Z-pinch 中辐射能超过内爆壳动能这一长期问题,结果显示更强的相干螺旋形变会提高电阻转换、降低辐射并增加滞留能量,更宽的尾随等离子体分布则推迟后段辐射峰值并弥补早期辐射热计亏损。

    arXiv 科研构思与自主科研代理预印本未入选重要性 71
  3. BioAgent-DF 审计生物医学研究智能体的决策溯源:结论不变但证据路径可能已变

    作者提出 BioAgent-DF,用配对参考值与候选值在原坐标上还原或移植,审计生物医学研究智能体在工具数值被静默污染后读了哪些文献、引了哪些句子。在 SciFact 的八个批次中,Qwen3.5-4B 在三个捕获–论断组合上出现可重复的引用变化,Gemma 3 4B IT 在四个组合上出现可重复的阅读与引用变化,共涉及两个论断,而完整还原可恢复参考证据集且结论不变。

    arXiv 科研构思与自主科研代理预印本未入选重要性 58

10月31日

星期六,4 条
  1. OpenResearch v0.2.23 发布:桌面应用与远程安装更新

    alphaXiv 的 OpenResearch 发布 v0.2.23,桌面应用可自动更新,远程服务器和计算集群可通过终端安装 ORX 并用 orx update 升级。该版本新增移动端适配的仪表盘工作区、键盘导航与应用菜单,并将 oh-my-pi 加入预配置编码智能体。

    alphaXiv OpenResearch 发布记录官方可用产品未入选重要性 20
  2. BestRand:通过随机采样实现稳定低成本基准压缩

    BestRand 是一种稳定、低成本的基准压缩方法,在 70 多个文本、多模态和智能体基准上验证,并将方法扩展至 VLA 评测。相比对比方法,BestRand 将高误差风险降低 50.2%、估计误差平均降低 16.4%,构建成本仅为 51.3%,在分数范围、模型家族和时间偏移下还将 OOD 估计误差平均降低 21.8%。代码与数据已公开。

    Hugging Face Daily Papers开放代码未入选重要性 38

10月29日

星期四,2 条

10月30日

星期五,1 条

10月29日

星期四,2 条
  1. 让 AI 自己提出研究问题:自主科研代理连续完成五次从选题到修订论文

    作者 Ko Fujimura 报告一套由通用编程代理、约 7300 词指令文档和两个技能(研究问题构思、同行评审)组成的自主科研系统,在笔记本电脑本地计算、无人类研究输入的情况下连续完成五次运行,从提出研究问题走到经 AI 评审并修订的可重算论文。

    arXiv 科研构思与自主科研代理预印本未入选重要性 66
  2. 研究:检索到的文献如何影响大语言模型的科研构思

    一项 arXiv 预印本研究在统一生成协议下比较五种文献检索策略与无文献基线,覆盖 15 个机器学习主题、十个开放权重模型和 45,000 条研究想法。结果显示,相对无文献基线,五种检索策略使同一组论文生成的想法多样性下降 5.6%–17.9%,而把不同论文集生成的想法合并后,多数策略使多样性提升 10.2%–18.1%;对想法质量与新颖性的平均影响较小且随主题变化。

    arXiv 科研构思与自主科研代理预印本未入选重要性 60

10月30日

星期五,8 条
  1. OpenBMB 的 MiniCPM-OCR 实测手写笔记

    很高兴看到 MiniCPM-OCR 在真实手写笔记上接受检验!💙 感谢分享这个例子,帮助传播 MiniCPM-OCR 和 Jev!🙌

    引用Hasan Toor@hasantoxr

    OpenBMB just released an OCR parser alongside a separate model that evaluates its outputs. It’s called MiniCPM-OCR. One model reads your documents. A second model tells you which parts it probably got wrong. 100% open source. Apache 2.0. ↓

    OpenBMB可用产品未入选重要性 33
  2. 研究重析 AI 科研智能体论文:无依据数字多为错配而非编造

    一项针对 Into the Unknown 基准的重分析发现,AI 科研智能体论文中无依据的数值大多并非凭空编造,而是取自错误的实验、指标或运行。作者重析该基准全部 540 份评审判断,并人工标注 18 份投稿中的 256 条数值主张,在 53 条无依据主张中 47 条属于错配、仅 6 条在可用文件中找不到来源,加权后错配占比约 81%。

    arXiv cs.DL 数字图书馆厂商自述未入选重要性 71
  3. 上海AI实验室联合清华推出蛋白质改造评测基准PFArena,评测显示大模型尚难可靠完成改造

    上海AI实验室联合清华大学智能产业研究院(AIR)及清华大学药学院推出专业蛋白质改造评测基准PFArena,基于202项真实蛋白质实验、293个任务实例和60万余条候选记录,评测6种蛋白质语言模型、6种通用大语言模型及基于Biomni和AMixKit构建的5种智能体组合。

    入选理由上海AI实验室联合清华发布PFArena,用202项真实实验衡量模型能否在有限实验预算下选对突变,为蛋白质改造的AI评测提供了新口径。

    上海人工智能实验室·科研动态官方预印本重要性 62
  4. alphaXiv 推出 autoresearch:改 arXiv 链接即可自动复现论文

    alphaXiv 推出面向 arXiv 论文的 autoresearch 功能,把任意论文 URL 中的 arxiv 改成 autoarxiv 即可触发。OpenResearch 会为用户创建项目、在用户选定的算力上搭建环境并运行最小复现,智能体在完全本地的闭环中跟踪日志、可视化运行过程并产出结果文件。

    入选理由把 arXiv 链接改成 autoarxiv 就能触发本地复现流程,研究者可据此判断它是否适合自己验证论文。

    alphaXiv预印本重要性 70
  5. alphaXiv 开源 OpenResearch:支持任意模型的研究 harness

    alphaXiv 发布开源研究 harness OpenResearch,称其支持包括开源与闭源权重在内的任意模型,代码已在 GitHub 开放。官方表示随着近期模型研究能力提升,对开源 meta-harness 的需求会指数级增长,并强调使用该工具时工作成果归用户所有,不受前沿实验室商业利益影响。

    alphaXiv可用产品未入选重要性 58

10月29日

星期四,1 条