10:14官方账号arXiv cs.AI@Alizer Wong, Heng Cui, Yi Tan, Xiongchao Zhan, Liang Lin, Yuxiang Guo, Zhaorong Dai, Zixin Zeng, Wenyuan LiEureka模型是一种任务条件元代理架构,可将长时任务转化为动态义务图。实验表明其完成170个递归任务且无错误接受,同时压缩输入令牌数量。主动上下文压缩使输入令牌从9490减少到4005,并避免65.38%重复计算。该架构还可充当理论发现与数学猜想代理,在量子理论与黎曼猜想研究中取得进展。AI模型EurekaMeta-Agent科学发现推荐理由:Eureka模型发布了,能做科学发现任务,压缩输入还少重复计算,比以前方法强。原文稍后读已读值得跟进有用关注 Eureka
15:28官方账号arXiv cs.AI@Hui MaoarXiv 论文提出用历史回测评估科学问题生成系统:从历史截止点的语料生成问题,冻结后由未来语料判定其是否被回答、部分解决或独立提出。研究在 2010-2024 四个时间窗口测试 798 个问题,发现证据结构优先的生成器优于纯 LLM 提示,后者存在记忆性相关但缺乏前瞻性。七位评分者一致性研究显示人类标注者 kappa 仅 0.17,而前沿模型间一致性达 0.60,说明 LLM 评委可靠性被高估三倍。论文发布了可复现的天文学实例和 200 个冻结问题供未来验证。论文历史回测科学发现LLM评估推荐理由:这篇论文给科学问题生成系统立了个可证伪的考试:用未来文献打分。证据结构优先的生成器比纯 LLM 提示更靠谱,还发现 LLM 评委互相打分虚高,值得做科研工具的人看看。原文稍后读已读值得跟进有用关注 历史回测
06:39Y Combinator@ycombinator78°Jeff Dean与Sanjay Ghemawat、Oriol Vinyals、Quoc Le共同宣布成立公益公司Discovery Loop,四人的合作时间长达14至30年。该公司定位为Public Benefit Corporation,使命是自动化机器学习、科学和工程流程以加速发现。他们曾参与构建全球使用最广泛的产品、基础设施和AI模型,如今将转向这一方向。行业Jeff DeanDiscovery LoopAI自动化10 个信源在谈事件专题推荐理由:Jeff Dean这帮老搭档出来创业了,新公司要做自动化科研,用AI加速科学发现。原文稍后读已读值得跟进有用关注 Jeff Dean
03:38techcrunch@Lucas Ropek82°谷歌传奇高管Jeff Dean与多位谷歌高管一同离职,联合创办一家新公司。他们的目标是利用AI技术推动科学发现进程。这次集体离职发生在谷歌AI业务重组期间,引发行业关注。新公司的具体融资和产品方向尚未披露。行业Jeff DeanGoogle科学发现10 个信源在谈事件专题推荐理由:Jeff Dean从谷歌出来了,带着一批高管合伙创业,搞AI加速科学发现,这事值得关注。原文稍后读已读值得跟进有用关注 Jeff Dean
09:37官方账号arXiv cs.LG@Boxiao Wang, Runxiang Wang, Kai Li, Chongming Li, Zhiwei Chen, Yifan Zhang, Jian ChengMOT-SR是一种面向符号回归的多目标工具增强框架,利用外部分析工具提取结构先验,并通过动态Pareto前沿同时优化精度、复杂度和泛化性。在40个标准任务上,MOT-SR在准确率、泛化性和效率上优于现有符号回归方法。在极端质量比旋进轨道建模中,该方法发现的可解释修正项在留出配置上取得了最低的轨迹级积分误差。论文MOT-SR符号回归多目标优化推荐理由:MOT-SR把工具和大模型结合起来找方程,40个任务上又快又准,还能处理引力波轨道建模,挺实用。原文稍后读已读值得跟进有用关注 MOT-SR
23:15Gary Marcus@GaryMarcus76°MIT和哈佛发布论文《Evaluating Large Language Models in Scientific Discovery》,提出名为SDE的新评估框架。该框架将LLM置于假设提出、实验设计和结果解读的完整研究循环中。测试覆盖生物学、化学、材料科学和物理学的前沿模型。结果显示,LLM在标准科学基准上的表现与真实研究能力之间存在巨大差距。研究者还发现,单纯扩大模型规模无法缩小这一差距。论文LLMSDEMIT推荐理由:MIT和哈佛发了个评测,把前沿LLM丢进真实科研流程,结果它们连假设都提不好。原文稍后读已读值得跟进有用关注 LLM
10:33官方账号arXiv cs.LG@Baptiste Mathevon, Farah Cherfaoui, Amaury Habrard, Marc Sebban这篇论文针对偏微分方程(PDE)发现领域的事后评估问题,提出了首个PDE评估指标分类法。作者系统梳理了来自机器学习和数值分析的文献,指出评估需同时考虑预测准确性、物理一致性、可解释性和分布外泛化能力等四个冲突维度。现有指标仅部分覆盖整体问题,可能导致对物理理论有效性的过度解读。论文提供了标准化实践建议,旨在推动可靠评估方法的发展。论文PDE发现评估指标物理信息机器学习推荐理由:这是PDE发现评估的第一篇系统综述,适合ML和物理科学交叉领域的研究者。它帮你理清预测精度与物理一致性之间的权衡,避免用单一指标误导结论。原文稍后读已读值得跟进有用关注 PDE发现
11:45IT之家(博客/媒体)72°腾讯混元推出 Hyra-1.0,一个专为性能导向研究与工程任务打造的智能体,具备递归自我改进能力。它能在真实 AI 研发流水线、自然科学及工业场景中学习进化。在 2D 图像转 3D 模型任务中,Hyra 通过多轮探索修改代码和参数,使用 VLM judge 评估轮廓、比例等维度,生成结果比 Claude Code goal 模式更接近参考图像且更符合审美。AI模型腾讯混元Hyra智能体推荐理由:腾讯混元搞了个新智能体 Hyra,能自己改自己,做 3D 模型比 Claude Code 效果还好,值得看看原文稍后读已读值得跟进有用关注 腾讯混元
21:54官方账号Google DeepMind@GoogleDeepMindGoogle DeepMind 发文指出,AI 智能体已能完成从提出假设到设计实验的科学发现流程,但最困难的环节是将这些想法在真实世界中进行验证,形成日益严重的验证瓶颈。文章为政策制定者和资助者提出了四项优先事项,以破解这一瓶颈。核心建议包括完善仿真环境、建立标准化评估基准、鼓励开源验证框架以及调整资金支持模式。行业Google DeepMind智能体科学发现推荐理由:Google DeepMind 把 AI 做科研的卡点讲透了——验证环节不够快,还给了四个方向,搞科研和投资的都该看看。原文稍后读已读值得跟进有用关注 Google DeepMind
09:03官方一手arXiv: DeepSeek@Yufeng Wang精选FirstResearch引入结构化研究问题证书,包含10个字段如原始定义、假设、机制模型和可证伪假设。在10个LLM代理研究主题上,基于DeepSeek盲审协议得分为4.86/5,超过最强基线AI Scientist-v2的4.38/5。独立Gemini-2.5-Flash重评分保持排名,Pearson一致性为0.865。消融实验显示移除证书后得分降至1/5以下。这些初步结果采用LLM评判而非人类专家,但表明显式推导约束可提升可审计性。论文FirstResearchLLM科学发现推荐理由:这篇论文搞了个FirstResearch框架,用研究问题证书让LLM提的科学问题更透明可查,比现有方法得分高出一截,适合研究AI科学发现的同学看看。原文稍后读已读值得跟进有用关注 FirstResearch
11:46官方一手arXiv: DeepSeek@Pan Li精选论文审计了LLM作为进化引擎在科学方程发现中的效果,发现父代条件进化与独立采样无显著差异:中位OOD NMSE分别为0.045和0.049。新方法PTB-Search仅需一次LLM采样,通过集合级稀疏选择在717个测试中解决165-169个,而单术语方法仅74-78个。在239个问题的LLM-SRBench上,PTB-Search用Llama-3.1-8B达到73.2% Acc0.1,用DeepSeek-V4达到77.0%,是最好基线(49.2%)的1.5倍以上,且调用预算仅十分之一。论文PTB-SearchLLM-SRBench科学发现推荐理由:别浪费算力跑进化循环了——这篇论文实测发现多轮迭代没用,用一次采样加集合选择反而效果翻倍,还省了90%的调用成本。原文稍后读已读值得跟进有用关注 PTB-Search
10:16官方账号arXiv cs.AI@Bingchen Zhao, Sara Beery, Oisin Mac AodhaDiscoPER是一个基于大语言模型的自主科学发现框架,能够在不预设研究目标的情况下动态生成和探索假设。该系统通过代码执行分析数据集,并通过统计检验验证每个发现,在iNatDisco多模态生态知识基准上恢复了9个已知模式中的8个,假设支持率达72.7%。相比经典因果发现和LLM基线方法,DiscoPER性能更优,消融实验也证实了其第二阶元反思机制的有效性。AI模型DiscoPERiNatDisco科学发现推荐理由:DiscoPER能自己挖掘数据规律,在生态基准上检出率接近90%,比传统因果方法好用多了。原文稍后读已读值得跟进有用关注 DiscoPER
12:14官方账号Mark Chen (OpenAI 研究)@markchen90Mark Chen 在 X 上发文反驳了某种观点,强调科学在当前时代比以往更重要。他认为未来不能只是向社区大量抛售结果,而需要与科学家合作,利用 AI 加速发现,同时保留科学的艺术性。他对 Sebastien Bubeck 和 ahelkky 两位杰出科学家承担这一使命表示兴奋。这反映了 AI 在科学研究中应扮演辅助角色而非替代者的理念。行业AI 加速科学科学发现AI 与科学家合作推荐理由:AI 与科学交叉领域的从业者值得关注——Mark Chen 点出了当前 AI 应用在科研中的关键误区:不能只追求产出而忽视科学家的创造力。做 AI for Science 的团队可以反思自己的方法论。原文稍后读已读值得跟进有用关注 AI 加速科学
10:22官方一手arXiv: OpenAI@Guojun Liao本文提出AI在科学发现中的三层框架:第一层是LLM的搜索与检索,第二层是通过定性推理形成模型(核心创新),第三层是执行、优化与细化。作者认为第二层最为重要但发展最不充分,它要求AI能识别当前框架的结构性不足,并在更广泛的表征空间中理解问题。通过陈省身对Gauss-Bonnet定理的内在证明、Nesterov加速梯度收敛问题的Lyapunov函数解法、以及OpenAI 2026年自动推翻Erdos单位距离猜想三个案例,展示了第二层推理的结构特征。该框架为AI驱动的科学发现提供了更清晰的路径,尤其强调了超越现有框架的模型创新能力。论文科学发现AI框架模型形成推荐理由:这篇论文给AI科学发现领域划出了真正的瓶颈——不是搜索或执行,而是模型形成能力。做AI for Science的研究者、科学哲学爱好者、以及关心AI能否真正创新的开发者,都值得一读。原文稍后读已读值得跟进有用关注 科学发现
10:38官方账号arXiv cs.LG@Hanqiao Yu, Shusen Yang, Xuebin Ren, Cong Zhao精选Deflex是一种端到端AI方法,能从多尺度复杂系统中自动提取不同形式的数学公式(如不变量和分布)。它由两个子系统组成:Deflexpressor(基于Lambda演算的符号回归模型)和Deflexformer(可分解深度能量模型)。Deflexpressor生成合成数据预训练Deflexformer,后者通过解耦多尺度潜在关系引导公式发现。在六个代表性复杂系统上,Deflex比现有方法效率提升高达7倍,实现了自动化多尺度发现。这项工作有望成为跨学科科学发现的有用工具。论文符号回归Lambda演算多尺度建模推荐理由:做复杂系统建模或科学发现的团队,终于有了能自动提取多尺度公式的工具——Deflex比现有方法快7倍,做物理、生物、工程等跨学科研究的可以直接试试。原文稍后读已读值得跟进有用关注 符号回归
00:55rohanpaul_ai@rohanpaul_ai精选MIT 新论文提出一种自修正发现系统,旨在让 AI 科学家在科学探索中不仅搜索现有方案,还能识别当前思维框架的局限性并主动引入新概念。现有 AI 科学系统大多在固定设置内搜索,而真实科学需要新变量、工具或假设。该框架通过将数据、模型、失败等所有产出标记为带类型的工件,区分检索、搜索和发现三种操作,其中发现意味着改变系统本身的表达方式。论文试图形式化 AI 系统长期回避的问题:在语言内找到答案与获得改变语言的权利之间的区别。论文AI 科学家科学发现自修正系统推荐理由:这篇论文戳中了当前 AI 科学系统的核心瓶颈——只会搜索不会创新,做 AI 科研或科学自动化的团队值得关注,它给出了一个严谨的形式化框架来定义真正的发现。原文稍后读已读值得跟进有用关注 AI 科学家
06:05Google AI Developers@googleaidevsGoogle DeepMind 在 GitHub 上开源了 Science Skills 工具包,旨在帮助开发者构建用于科学发现的自主智能体。该工具包提供科学基础和高 token 效率,可加速智能体工作流。开源版本允许社区直接使用和贡献,推动 AI 在科学研究中的应用。AI产品智能体开源/仓库科学发现推荐理由:做科学 AI 智能体的开发者可以直接用上这个开源工具包,提升 token 效率和科学推理能力,值得一试。原文稍后读已读值得跟进有用关注 智能体
05:23官方账号Google DeepMind@GoogleDeepMindGoogle DeepMind 宣布将 Co-Scientist 工具开放给个人研究者,作为 Gemini for Science 项目的一部分。该工具专注于假设生成,旨在探索 AI 驱动的科学发现未来。个人研究者现在可以通过 Hypothesis Generation 功能使用这一工具,加速科研流程。这是 AI 在科学领域应用的重要一步,降低了高级研究工具的使用门槛。AI产品Google DeepMindCo-Scientist科学发现推荐理由:个人研究者终于能直接使用 DeepMind 的 AI 科学助手生成假设,做科研的可以试试这个工具来加速发现过程。原文稍后读已读值得跟进有用关注 Google DeepMind
01:08官方账号Google DeepMind@GoogleDeepMind精选Google DeepMind 系统与全球科学专家合作,一年内处理了多个复杂科学问题。系统成功识别出肝纤维化的新治疗靶点。它还发现了针对肌萎缩侧索硬化症的新研究方法。系统通过消化数十年文献,提出了逆转衰老的新遗传线索。AI模型Google DeepMind科学发现肝纤维化推荐理由:系统搞定三个难题原文稍后读已读值得跟进有用关注 Google DeepMind
11:02IT之家(博客/媒体)精选72°图灵奖得主理查德·萨顿指出,普通生成式AI(如大语言模型)缺乏自我评估与持续筛选能力,因此难以完成真正的科学发现。他认为科学发现需要变异、评估和选择性保留三步,而生成式AI只擅长生成变体,缺少测试环节来筛选更好方案。萨顿列举AlphaGo、AlphaFold等系统作为正面案例,这些系统都有评估闭环。他还批评AI行业过度押注更大语言模型,更看好能与环境互动、从经验中学习的AI智能体。行业生成式AI科学发现强化学习推荐理由:萨顿点出了生成式AI在科学发现上的根本局限,做AI研究和科学发现的团队值得反思:你的系统有评估闭环吗?原文稍后读已读值得跟进有用关注 生成式AI
01:41官方账号Decoder@Matthias Bastian76°图灵奖得主Richard Sutton指出,传统生成式AI的核心缺陷在于无法评估自身结果,因此无法实现真正的科学发现。他认为,没有内置评估循环,AI产生的创新只是昙花一现,无法积累。相比之下,AlphaGo和AlphaProof等系统通过内置评估机制展现了真正的创造力。Sutton的观点挑战了当前大语言模型在科学研究中的主导地位,强调评估能力是AI实现科学突破的关键。AI模型生成式AI科学发现评估循环推荐理由:Sutton戳中了生成式AI的致命短板——没有自我评估能力,做科研的团队和AI开发者值得深思:你的模型真的能推动科学发现吗?原文稍后读已读值得跟进有用关注 生成式AI
08:53Marc Andreessen@pmarca精选AI 先驱 Richard Sutton 在视频演讲中提出争议性观点:当前基于监督学习的生成式 AI(包括大语言模型、图像和视频模型)本质上无法做出新颖的科学发现。他认为这些系统能产出“好”或“新”的结果,但无法同时兼具两者——当输出新颖时往往意味着“幻觉”,而追求准确性时则缺乏创新。Marc Andreessen 对此评论称,在 AI 时代我们可能从未真正定义过“新颖”和“发现”,AI 将创造许多新事物但难以命名。这一观点挑战了当前 AI 在科学和数学领域的应用预期。AI模型生成式 AI监督学习AI 创新推荐理由:Sutton 的演讲戳中了生成式 AI 在科研创新上的核心局限,做 AI 研究或依赖 AI 做科学发现的团队值得一看,看完会对当前模型的能力边界有更清醒的认识。原文稍后读已读值得跟进有用关注 生成式 AI
12:16官方账号OpenAI@OpenAI (@OpenAI)OpenAI 与研究员 Terence 对话,探讨 AI 如何减少研究中的认知摩擦,帮助保留发现背后的路径,并拓展数学家和科学家可尝试的范围。Terence 认为 AI 能加速科研流程,让研究者更专注于创造性思考。该讨论反映了 AI 在科学发现中的潜在变革作用。行业AI 研究认知摩擦科研工具10 个信源在谈事件专题推荐理由:科研人员关注:AI 正在改变研究方式,减少繁琐工作,让你更专注于创新。建议点开了解未来科研工具的新方向。原文稍后读已读值得跟进有用关注 AI 研究
12:15官方账号OpenAI@OpenAI (@OpenAI)菲尔兹奖得主陶哲轩在 OpenAI 的推文中表示,AI 为研究者创造了更多实验空间,可以测试意想不到的路径,发现原本难以触及的成果。他认为 AI 能赋予研究者追求“更疯狂”想法的自由。这一观点强调了 AI 在加速科学发现和拓展研究边界方面的潜力。行业AI 科研陶哲轩OpenAI10 个信源在谈事件专题推荐理由:陶哲轩的观点直击科研痛点——AI 降低了试错成本,做基础研究或探索性项目的学者值得听听这位顶级数学家的判断。原文稍后读已读值得跟进有用关注 AI 科研
10:45berryxia@berryxia在Google I/O大会上,DeepMind CEO Demis Hassabis宣布科学进步正在变得可量化计算,并推出Gemini for Science系统。该系统能帮助研究人员阅读论文、编写代码、快速生成假设,将科学研究从依赖天才灵感和漫长实验试错,转变为可工程化、可编程、可加速的迭代过程。这标志着AI不再仅是生产力工具,而是成为科学的基础设施层,有望彻底改变科学发现的方式。AI产品Gemini for ScienceDeepMind科研工具推荐理由:科研人员终于有了AI驱动的科学基础设施——Gemini for Science能帮你读论文、写代码、生成假设,让科学发现像软件一样迭代,做基础研究的团队值得立即关注。原文稍后读已读值得跟进有用关注 Gemini for Science
07:59官方账号Google DeepMind@GoogleDeepMind72°Google DeepMind 发布了名为 Gemini for Science 的实验性工具套件,旨在帮助科学家利用 AI 探索更多假设、大规模验证工作、轻松解析文献等。该工具集成了 Gemini 模型的能力,为科研人员提供从假设生成到结果验证的全流程支持。这是 AI 在科学领域应用的重要一步,有望加速药物发现、材料科学等领域的突破。目前该工具处于实验阶段,但已开放给部分研究者使用。AI产品Google DeepMindGemini科学发现推荐理由:科研人员终于有了一个能贯穿研究全流程的 AI 助手——从假设探索到文献解析,Gemini for Science 能帮你省下大量重复劳动,做实验设计或写论文的团队值得关注。原文稍后读已读值得跟进有用关注 Google DeepMind
03:37官方账号Google DeepMind@GoogleDeepMindGoogle DeepMind 推出 Computational Discovery 智能体原型,结合 AlphaEvolve 与实证研究助手,可并行开发并评分数千种代码变体。该原型旨在大幅缩短复杂领域(如流行病学)新建模方法的测试时间,从通常的数月缩短至数天。这标志着 AI 在科学发现自动化方面迈出重要一步,尤其适用于需要大量模拟和参数优化的研究场景。AI产品智能体科学发现AlphaEvolve推荐理由:做流行病学或复杂系统建模的研究者终于有了能并行跑数千种代码变体的工具,测试新方法的时间从数月缩到数天,值得点开看看怎么用。原文稍后读已读值得跟进有用关注 智能体
09:57官方账号arXiv cs.AI@Licong Xu, Thomas Borrett精选这篇论文提出了两个面向宇宙学的AI智能体系统:CMBEvolve通过LLM引导的代码进化和树搜索,针对有明确量化目标的任务(如弱引力透镜图中的异常检测)进行优化;CosmoEvolve则构建虚拟多智能体研究实验室,用于开放式的科学工作流(如自主分析ACT DR6数据)。初步实验显示,CMBEvolve能通过代码进化迭代提升基准分数,CosmoEvolve能识别非平凡的成对和尺度依赖行为并生成分析级诊断。这项工作展示了宇宙学如何为AI科学家系统的开发提供可控基准和真实开放研究问题。论文AI智能体宇宙学代码进化推荐理由:宇宙学研究者终于有了能自主推进发现的AI工具——CMBEvolve和CosmoEvolve分别解决了定量优化和开放式探索两大痛点,做数据分析或理论建模的团队可以直接参考其方法。原文稍后读已读值得跟进有用关注 AI智能体