跳到正文

全部动态

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

679 条收录动态,更新于 17:06

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

10月26日

星期一,1 条

10月27日

星期二,7 条
  1. 中国科学院团队开发整合空间转录组与连接组的深度学习框架 SpaCon

    中国科学院脑科学与智能技术卓越创新中心等开发深度学习框架 SpaCon,整合局部空间信息、基因表达特征与全局脑连接模式,支持全脑尺度联合分析。研究结合小鼠脑空间转录组数据与 Allen 小鼠脑连接图谱,发现接受相似皮层输入的丘脑神经元基因表达特征相近,且该关联在谷氨酸能和 GABA 能神经元中较明显。成果在线发表于《科学通报》(Science Bulletin)。

    中国科学院官方开放代码未入选重要性 40
  2. OpenAI 公布数学、计算机与物理三项 AI 成果,并引入外部专家把关

    OpenAI 公布三项由 AI 产出的“重大”成果:数学上给出欧氏波动方程局部光滑性的证明,并称由此解决 Kakeya 猜想与 Stein 限制性猜想;计算机科学上给出确定性算法,称 3-SAT 情形可反驳指数时间假设(ETH);物理上给出含规范场与费米子的四维相互作用量子场论的数学严格存在性证明,涉及 QCD 与标准模型统一完成,但物理部分未全文公开。

    入选理由OpenAI 公布数学、计算机科学与物理三项 AI 输出,并首次引入外部专家把关,同时其数学顾问小组反对这种指定专家先看结果的做法。

    The Verge · AI开放代码重要性 80
  3. OpenAI 称模型在数学、算法与量子场论取得三项成果,部分证明已公开

    OpenAI 宣布其模型在数学、计算机科学和物理学取得三项成果:证明适用于所有维度的局部光滑猜想并由此解决挂谷猜想与斯坦因限制猜想,给出推翻指数时间假设(ETH)的证明,以及提出量子色动力学和纯杨-米尔斯理论存在性的严格数学证明。

    入选理由三项成果分别涉及调和分析、计算复杂性假设和量子场论存在性,数学与算法部分已公开 Lean 形式化证明,物理部分仍在专家审查中。

    IT之家开放代码重要性 88
  4. Cohere 公开 Qwen3.8 异常行为调查轨迹

    Cohere 公开了针对 Qwen3.8 异常链接行为的调查轨迹、原始 token 和最小复现脚本,供开发者自行验证。该行为在不使用预填充的特定提示下出现但较罕见,若需复现可用带预填充的提示。Cohere 称开发者在自己机器上运行 Qwen3.8 时发现异常链接,开放权重让团队得以深入研究,并近期以 Apache 2.0 许可发布了多个开放权重模型。

    引用clem 🤗@ClementDelangue

    @cohere could you share the full traces? Very important artefact for all to understand this!

    Cohere开放代码未入选重要性 38
  5. Google Research用Gemini助力非洲离网太阳能

    撒哈拉以南非洲有超过6亿人生活在无电环境中。为帮助扩大离网太阳能规模,Google Research与Ignite Energy Access合作。通过使用Gemini for Science和我们的Open Buildings数据集,我们构建了一套可复制的蓝图,以扩大电气化覆盖。 阅读更多:https://goo.gle/4Bxq8bG

    Google Research证据待确认未入选重要性 38
  6. OpenAI 宣布在调和分析、复杂性理论和量子场论各取得一项科学发现

    OpenAI 联合创始人 Greg Brockman 在 X 上宣布三项科学发现,分别位于数学(调和分析)、计算机科学(复杂性理论)和物理(量子场论),并称 AI 开始帮助人类加深对宇宙的理解。推文附有 OpenAI 关于与学术社区共同推进科学理解的页面链接,未在推文中给出具体成果细节。

    Greg Brockman证据待确认未入选重要性 58

10月26日

星期一,9 条
  1. ARC Prize 2026 ARC-AGI-3 最高分更新

    新 ARC Prize 2026 - ARC-AGI-3 最高分 71.48%,由 Yi-Chia Chen @ Fields Model 取得 Yi-Chia 从 67% > 71% 跃升,并重新夺回第一名 比赛还剩 1 周

    ARC Prize证据待确认未入选重要性 22
  2. DEEPSEA 评测大模型东南亚语言能力

    大语言模型对东南亚语言的理解程度如何?今天上午 10:30,欢迎到 #EMNLP2026 Google 展台(#D5)参加 Shubham Mittal 的现场演示,了解 DEEPSEA——一个用于评估大语言模型在 12 种东南亚语言上表现的基准。阅读论文:https://arxiv.org/pdf/2610.26155v1

    Google Research预印本未入选重要性 25
  3. Greg Brockman 转发评论:OpenAI 数学论文在技术上超出人类想象但可被理解

    Greg Brockman 在 X 上引用 @scottnarmstrong 的评论并摘出其中一句,称 OpenAI 这篇论文在技术层面令人难以置信,可能超出人类能想到的范围,但并未超出人类理解。被引评论认为该构造与凸积分关系更大,其用流体不稳定性让流动自身产生振荡、由 Reynolds 应力形成坍缩光滑涡旋的做法在文献中无先例,并称已有多个 PDE 专家组大致理解该论文,预计很快会有解读。该评论同时批评称这一结果并不令人意外的说法站不住脚。

    引用Scott Armstrong@scottnarmstrong

    Since I'm now blocked by bluey from replying to this thread, I answer here by quote tweet the openAI construction has more to do with convex integration than anything else. In convex integration, the oscillations are typically built by hand and the iteration procedure creates wild weak solutions. The non-uniqueness construction of Albritton–Brué–Colombo used an unstable vortex to split solutions apart. The Córdoba–Martínez-Zoroa singularities amplify vorticity across scales by strain. In the openAI paper, a fluid instability is clever made so that the flow itself generates the oscillations: they grow by drawing energy from the background shear. The Reynolds stress then becomes the force that creates the collapsing smooth vortex. Using a physical instability to create the stress in this way has no precedent, and it is what produces a smooth force rather than a merely rough one. Some on these ideas are in the literature (e.g. Leibovich-Stewartson 1983) but the way they are combined is definitely insane and definitely nowhere in the literature previously. I also don't know of anyone suggesting that convex integration would play a role in the creation of a blow-up solution like this. On a technical level, the paper is unbelievable, maybe beyond what a human could have come up with but not beyond human understanding: there are several different groups of pde experts working on understanding it who say that they more or less understand now. I expect digestions soon td;lr: anyone saying that this OAI result is unsurprising is bullshitting sorry!

    Greg Brockman二手报道未入选重要性 65
  4. 预训练数据的词汇印记:UCE 如何预测零样本基准准确率

    研究提出词级一元交叉熵(UCE)这一与分词器无关、无需模型的指标,衡量预训练语料与基准目标的词汇对齐程度。在覆盖 10 个零样本基准、4 个预训练语料和 3 种模型规模的受控从头预训练中,UCE 越低(对齐越高)的语料在各基准上零样本准确率越高。文档级筛选训练文档与提示级路由到领域最对齐的 drafter 均带来与机制预测一致的准确率与吞吐提升。

    Hugging Face Daily Papers预印本未入选重要性 40
  5. EmbodiedLab 发布具身智能体基准:在模拟实验室中通过操作仪器获取知识

    研究团队提出 EmbodiedLab 基准,要求机器人在物理模拟实验室中自行选择实验步骤、通过相机读取仪器,以获取关于系统的知识,而非仅改变物体状态。基准覆盖 5 个学科的 30 个实验和 14 种实验装置平台,每个实例重新采样系统参数,评分依据实验过程中记录的读数与任务要求的物理状态,且每个实验均经验证可解。

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

10月25日

星期日,1 条

10月26日

星期一,2 条

10月25日

星期日,9 条
  1. 《科学》(20261022出版)一周论文导读:无线催化装置治糖胖病、多智能体AI框架加速药物发现

    《科学》第394卷6822期导读涵盖多项研究:一种无线供电植入装置可将葡萄糖催化转化为葡萄糖酸盐经肾脏排泄,在小鼠实验中恢复正常血糖并去除部分多余热量负荷;"虚拟生物技术公司"多智能体AI框架由首席科学官智能体统一调度。

    科学网同行评审未入选重要性 28
  2. Pinal模型登《自然》:输入功能文字描述即可生成候选蛋白质序列

    香港科技大学(广州)、西湖大学与中国科学院深圳先进技术研究院等团队合作提出蛋白质设计模型Pinal,相关研究发表于《自然》。模型以自然语言功能描述为输入,先生成蛋白质三维结构再设计氨基酸序列,训练数据含17亿组蛋白质—文本配对、覆盖约1.35亿条序列,参数规模160亿。

    入选理由研究者可据此了解文字到功能蛋白的闭环如何做实验验证,以及模型在定量性质指定上的边界。

    科学网同行评审重要性 78
  3. h1 用简单智能体循环在 Lean 4 中刷新形式化定理证明基准并解决 8 个开放问题

    研究团队提出 h1,一个给模型提供 Lean 4 高效接口、依靠验证器反馈与自我反思持续尝试的简单 harness,不预设分解或搜索结构。

    入选理由对做形式化证明的研究者来说,这篇给出了一个反直觉的对照结果:简单智能体循环加高效 Lean 接口,可能比人工设计的分解与搜索流程更划算。

    Hugging Face Daily Papers预印本重要性 80
  4. AutoTavern:LLM 研究智能体 20 天自主构建《炉石传说》酒馆战棋 AI 并登上实时天梯

    南京大学与上海 AI 实验室的 Changlian Ma、Limin Wang 提出 AutoTavern,由多个专职 LLM 研究智能体通过带类型的共享研究记忆和五道验证门协作,在 20 天内注册约 1 万次实验、交付 23 个 TavernAgent 版本,并构建出复现《炉石传说》酒馆战棋 36.6.3 版本全部 978 个游戏对象的模拟器 TavernGym。

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

10月24日

星期六,1 条