Euler:面向人类理解的多智能体数学发现系统
作者提出 Euler,一个以共享结构化研究状态为核心的多智能体数学发现系统,记录精确命题与假设、命题间依赖、备选证明路线、失败尝试及每条结论的证据,供研究者和智能体共同使用。
按时间排列的全部内容。默认只显示通过双重评分的入选条目;切换到“全部收录”可以检索所有抓到的资料。
2,347 条收录动态,更新于 03:33
全部收录包含没有通过评分的资料,标题以常规字体显示并标为“未入选”,只供检索,不写入选理由。
作者提出 Euler,一个以共享结构化研究状态为核心的多智能体数学发现系统,记录精确命题与假设、命题间依赖、备选证明路线、失败尝试及每条结论的证据,供研究者和智能体共同使用。
Digital Science 指出,引用是滞后指标,Altmetric 平台通过学术、非学术、政府与专业来源追踪文章、书籍、报告及灰色文献的分享与提及,可识别特定 KOL 并分析社群情绪。该平台近期将研讨会与读者信息纳入数据集。社交媒体讨论可在发表当天出现,播客通常至少一年后,政策与指南引用一般要两到三年。
UKRI 发布新的研究数据政策,适用于研究理事会资助、UKRI 全机构计划以及 Innovate UK 和 Research England 的部分活动,并将从 2027 年 4 月 1 日及之后发布的新资助机会开始执行。
入选理由UKRI 把分散的数据政策合并为统一框架,并明确与 AI 生成数据治理衔接,受资助团队可据此提前调整数据管理计划。
Ai2 发布 HiRO-ACE 系统的新版本 HiRO-ACEv2,其降尺度模型 HiROv2 可同时预测多种高分辨率变量,在给定粗化的 X-SHiELD 数据时,对极端降雨、风速和气压的高分辨率统计量误差在 3% 以内,并能估算热带气旋总能量。
Third Moment Research 借助 GPT-6 Astra、GPT-6.1 Sol、Codex 以及面向网络安全的 Daybreak,构建出可连续专注数天并随使用持续改进的智能体,规模达 10,000 个、运行 36 小时以上。该实验室称这些智能体能够长时间保持专注,并在使用中不断自我提升。
NVIDIA 宣布计划投资 Boltz、Foresight、Hiverge、Prima Mente 和 Riverlane 五家英国 AI 与量子计算初创公司,并作为 Global Alliance Founding Partner 与 Earthshot Prize 合作。
Google 的 Gemini 4 Argon 已正式发布,覆盖编程、知识工作、企业工作流与网络防御,可通过付费 Gemini API 及 Gemini 平台使用,入门 API 价格为每百万输入/输出 token 2/10 美元。
一项预印本引入由 42 篇已撤稿、造假和伪科学论文组成的探针语料,用接近原文的段落搭配看似合理的研究设计请求,测试模型是否会基于这些前提继续工作。
一项预印本研究对ICLR 2025和2026的200篇论文做了约1.4万次AI评审,考察单次AI评分的可靠性、分数分布估计以及不同模型对修订增益的一致性。结果显示,即使论文、模型和评审配置固定,重复评审的分数仍会波动;更细的评分粒度会降低方差但系统性改变均分;同一份修订稿在不同评审模型下可能得到方向相反的增益,原始论文评分高度相关的两个模型在修订增益上的相关性明显下降。
F1000 与 Wellcome Sanger Institute 为 Wellcome Open Research 开发了一套半自动化出版流程,目标是把 Tree of Life 项目的基因组笔记出版量从每月约 30 篇提升至 200 篇。
入选理由F1000 与 Wellcome Sanger Institute 的基因组笔记工作流把计算机辅助审查与发表后同行评审结合,为大规模数据论文的出版与索引提供了可参照的流程。
K-Dense Web 公布 Hypothesis-to-Evidence Grant 首批入选者:香港大学 Joy-Yan Lam 与 MIT 的 Alexander Reading、Daniel Pascal 团队,项目从计算结果出发,经 K-Dense Web 形成假设与实验方案,再由 Litmus Science 完成湿实验室检测。
SciSpace 发布学术写作指南,讲解通用研究目标与具体研究目标的区别及写法。通用目标陈述研究的总体目的,通常一个;具体目标将其拆解为可独立评估的任务,聚焦型学生论文通常写 2 到 5 个。指南给出公共卫生、教育、商业三领域示例,并列出定义研究问题、写通用目标、拆解具体目标、选用可测量动词、检查可行性与一致性五步流程及常见错误。
Nature Computational Science 在线发表的研究提出 HDOCK-Multimer,一个通过整合从头对接与组合组装来预测大型蛋白复合物结构的通用框架,据称显著优于现有最先进方法。论文由 Xuan Yao 撰写,DOI 为 10.1038/s43588-026-01062-1。
Nature 刊发评论《水科学不止于论文》,指出水科学的价值不能只用论文数量衡量。原文正文未能加载,仅可见标题与来源信息,具体论据与案例无法核实。
一款检测器声称能分辨某个想法究竟出自 AI 还是人类。相关报道未提供该检测器的名称、开发机构、检测准确率或可用范围等具体信息。
原文正文未能加载,仅能从标题判断该文讨论科研人员缺乏国别性基金资助是否会影响海外求职机会。由于缺少正文内容,无法提供具体数据、机构或结论。
vLLM 团队发布 train-inference-consistency 技能与配套代码,让训练前向直接调用 vLLM 推理内核并改造高性能内核,使 rollout 与训练对每个采样 token 的 logprob 逐位相同(diff = 0)。
入选理由vLLM 团队公开了让训练与推理逐位一致的算子级配方和智能体技能,可迁移到新模型与低精度部署。
该内容因页面组件未能加载,正文不可获取,仅能从原始标题得知其主题为中国 AI 研究的快速发展以及身处该领域前沿的亲身经历。由于缺少可核验的正文信息,无法提供具体机构、模型、数据或结论。
MIT McGovern 研究所与 ICoN 中心团队在 PNAS 发表研究,证明一组随机连接的单元仅凭简单的连接调整规则即可自组织成有效的信息处理网络,学会识别模式和分类图像,性能与依赖反向传播训练的网络相当。研究者认为,能否自组织——包括调整连接的学习机制本身——应成为衡量神经网络生物学合理性的关键指标。
MIT Lincoln Laboratory 于9月3日承办美国国家新兴生物技术安全委员会(NSCEB)全国巡展一站,汇聚州政府、国防中心、高校及科技企业代表,讨论马萨诸塞州生物技术生态如何强化国家生物防御能力。NSCEB 于2022年由国会设立,2025年4月发布报告,呼吁五年内至少投入150亿美元联邦资金。该委员会正处三年任期的最后一年,将把各地生物技术生态的见闻带回华盛顿供国会议员参考。
研究者提出 RoTA-Bench,通过交互式 3D 到 2D 投影对齐评估视觉语言模型的 3D 空间推理能力,自动流程从 2D 图标构建保轮廓 3D 物体,共生成 674 个任务和分层 100 任务测试集。
NSF 支持的科研人员 Torrey Rhyne-Carrigg 在 NSF Discovery Files 播客中讨论 DNA 起始子(DNA initiators),并介绍如何用模型进行分析。她还谈及自己在 NSF 研究生研究奖学金计划(Graduate Research Fellowship Program)中的经历。
Kai Van Brunt 将 Molmo 2——我们用于视频理解的开源模型——适配到了一个远超其训练数据的领域:鲑鱼的声呐视频。 认识 Molmo2Fish,这是一个可追踪鱼类、并能通过自然语言引导纠正部分错误的原型。🧵 https://allenai.org/blog/molmo2fish
美国数学学会(AMS)发布了一份基于其近期组织的数学科学研究生教育研讨会的报告。该报告于10月2日发布,由 Terence Tao 在其博客中提及。
我们一直在探索利用 Gemini 4 Argon 加速 @Google 研究的潜力。其中一项测试是使用人类完成趣味任务的视频(比如投沙包游戏?)来自主生成训练模拟,而非完全依赖手动编程。 听听我们研究团队的介绍,并观看实际效果:我们的类人机器人研究这些视频、运行模拟,并掌握了投沙包游戏。
很自豪能与 @UWProteinDesign 以及华盛顿大学的同事们一起支持蛋白质设计与药物发现领域的 AI 研究。
✨Introducing Prompteina: all-atom protein design directly from natural language✨ - Control diverse protein properties through a single text prompt - Higher predicted binding confidence than baselines - First experimentally validated de novo binders reported for GM2A 🧵
Gemini 4 Argon 是模型性能的一次阶跃式提升。 近几周,它对我们 @GoogleDeepMind 团队以及外部合作者的科学项目产生了变革性影响,并帮助在多个科学学科领域取得了一系列显著进展。🧵👇
Gemini 4️⃣ Argon ✨ 现已在全球范围内上线。 我们的前沿模型专为编码、金融、法律、网络安全和科学领域的复杂现实任务而打造。 来看看如何在您常用的 Google 产品中使用 Argon 🧵
Google DeepMind 发布 Gemini 4 Argon,定位为通用物理推理模型,在 Embodied Reasoning(ERQA)基准上以纯推理取得 87%,称超过其他前沿模型。
入选理由材料给出 Argon 在机器人全流程的提示词示例与开放渠道,研究者可据此判断它能否接入自己的仿真与真机工作流。