★ 5
OpenAI 宣布数学、计算机科学、物理学三项新发现
OpenAI 宣布在调和分析、复杂性理论和量子场论三个方向取得新发现，并采用与学术界合作的新方法。公司邀请外部专家组织团队理解研究结果，参与者无需签署保密协议、可自由讨论并发表结论，且为自愿无报酬。OpenAI 表示不会为内部模型产生的发现寻求学术署名。
36氪6 天前
#科学发现
共 28 篇相关资讯，按重要度与时间排序，每 3 小时更新。
★ 4
经济学人：AI 数学攻势推动科学进入新领域
《经济学人》撰文指出，AI 在数学领域的密集突破正把科学研究推向新的疆域，涉及猜想发现与证明辅助等方向。文章讨论 AI 对数学与基础科学方法论可能带来的结构性影响。
Hacker News – AI20 天前
★ 4
AI 在 22 个科学领域发现被忽视的现成解决方案
Science 报道称，AI 在 22 个科学领域中找到了长期被忽视、其实已存在于文献中的问题解决方案。该成果展示了 AI 在跨学科知识挖掘与科学发现中的潜力。
Hacker News – AI22 天前
★ 4
Station 智能体开放式科学发现重现已达 62.7%
论文研究 AI 智能体能否自主开展开放式科学发现，构建了多智能体模拟科研生态的开放世界环境 Station，并加入 Supervisor 机制与周期性 Meta Reflection 以鼓励持续探索。基于 ICLR 三篇口头论文构造开放式任务，Station 平均重现 62.7% 的原始发现标准，…
arXiv cs.AI24 天前
★ 4
AI何时才算做出科学发现
Anthropic宣布其分子生物学实验室的Claude智能体系统发现了一个新的基因重复模式，但生物学家批评这并非真正的科学发现，只是实验室辅助工作。文章探讨了AI公司宣称其系统自主做出突破与科学实际运作方式之间的张力。
MIT Technology Review – AI34 天前
★ 4
Anthropic AI 生物实验室发现病毒中类 CRISPR DNA
Anthropic 的 AI 生物实验室在病毒中发现了类似 CRISPR 的 DNA 结构，成果发表于《自然》相关报道。该发现展示了 AI 在基础生物学发现中的潜力，也引发对 AI 驱动生物研究的后续讨论。
Hacker News – AI37 天前
★ 4
MAGE：多模态智能体框架自动发现偏微分方程
提出MAGE框架，组织偏微分方程发现为置信度驱动的假设验证循环，四个智能体协作。在标准PDE套件上实现精确结构恢复，系数误差大幅降低。
arXiv cs.AI62 天前
★ 3
SciGame 基准发布：评测 LLM 智能体科学定律发现能力
研究者提出 SciGame 受控基准，把科学文献转成结构化科学卡片，每张卡片生成原始与反事实两套同接口环境，并区分历史经典定律与模型知识截止后新论文。在五个前沿模型上实验发现：熟悉的先验在规律被改动后反而有害，自适应实验只对最强模型有帮助，且解释合理可能掩盖定量失败。
arXiv cs.AI2 天前
★ 3
研究提出测试时记忆演化 TTME，科学发现任务超越测试时训练且省 82% 算力
论文提出即插即用的测试时自适应方法 TTME，通过持续更新外部记忆蒸馏经验来引导后续发现，无需更新模型权重。在相同发现框架下，TTME 在全部五个数学任务上优于测试时训练 TTT，同时减少 82.8%-84.6% 的 FLOPs 与 47.7%-58.4% 的运行时间。
arXiv cs.AI6 天前
★ 3
研究评估 LLM 智能体能否在上下文中做贝叶斯推断
研究系统评估大模型在上下文中进行贝叶斯信念更新的能力，涵盖定性认识论示例、定量基准与非贝叶斯更新对下游任务的影响。结果显示 LLM 通常违反贝叶斯规则，但配备现代推理能力与代码执行后性能大幅提升，甚至可近似解析不可解的后验。这表明带工具的 LLM 已可用于科学发现中的复杂信念更新。
arXiv cs.AI10 天前
★ 3
SpecEvo 多模型协同进化搜索，科学发现 API 成本降 80%
论文提出 Speculative Evolution（SpecEvo）多 LLM 框架，用轻量模型承担并行推测器与顾问角色，持续整合成功、失败与饱和方向的搜索证据，仅在稀疏检查点由前沿模型导航器介入。在覆盖四个科学与算法发现领域的 176 项任务上，SpecEvo 追平或超过前沿模型基线，API …
arXiv cs.AI10 天前
★ 3
研究揭示 LLM 优化器陷入原理级局部最优瓶颈
论文提出「原理级搜索坍缩」概念，指反馈驱动的 LLM 优化器虽持续产出不同候选，但搜索被限制在狭窄的设计原理集合内。在分子优化、网络哨兵节点选择与 GPU 内核优化 161 次运行中，78.3% 出现坍缩迹象，而多样性注入等常见缓解手段效果有限。
arXiv cs.LG12 天前
★ 3
Wired：AI 攻下数学之后，正进军其余科学领域
Wired 文章讨论 AI 在数学领域取得突破后，正加速向物理、生物等其他科学领域扩展，改变科研发现的方式与节奏，同时也引发对可验证性与科研范式的讨论。
Hacker News – AI13 天前
★ 3
Richard Socher 新书：AI 最大突破在科学发现而非聊天机器人
AI 研究者 Richard Socher 在新书《The Eureka Machine》中提出，AI 最有价值的应用是自动化科学发现，而非聊天机器人或生产力工具。他以 2024 年 Hassabis、Hinton 获诺贝尔奖为例，说明神经网络正深刻影响化学与物理。书中主张 AI 通过预测语言习得…
快公司15 天前
★ 3
AI 在 22 个科学领域发现隐藏的解决方案
Science 报道称，AI 在 22 个科学领域的问题中找到了「显而易见却未被发现」的解决方案，展示了 AI 在跨学科科研发现中的潜力。该报道引发 Hacker News 社区讨论。
Hacker News – AI23 天前
★ 3
DeepMind 发文谈 AI 如何加速科学发现
Google DeepMind 研究所发布文章，讨论 AI 在科学研究中的现状与未来，提出「弯曲发现曲线」的愿景。内容涵盖 AI 在生物、材料等领域的应用潜力，属于机构观点与展望。
Hacker News – AI24 天前
★ 3
AI 是数学的终结吗
《量子杂志》文章探讨 AI 对数学研究范式的冲击，讨论机器能否参与定理证明与数学发现，以及这对数学学科意味着什么。属于深度思想报道，涉及 AI 与基础科学的交叉议题。
Hacker News – AI27 天前
★ 3
MOSAIC-SR：Transformer 引导的符号回归
论文提出 MOSAIC-SR，用预训练 Transformer 生成多个初始表达式草图，为搜索提供有希望的起点，避免在巨大表达式空间中随机初始化。每个搜索结合尺度感知常数优化与局部符号修复，在 SRSD-Feynman 等数据集上取得最高符号解率，且在存在无关变量时仍保持优势。
arXiv cs.LG41 天前
★ 3
ScienceDiscovery谈AI从给答案到做研究
访谈围绕ScienceDiscovery展开，探讨AI如何从纳米抗体到大飞机等科研场景中，由单纯“给答案”转向真正“做研究”。讨论涉及AI在科学发现流程中的角色升级与落地挑战。
InfoQ AI42 天前
★ 3
Nature 研究：AI 能否抢先提出光量子假说
Nature 刊发研究，让 AI 回到 1900 年的知识背景，测试其能否独立提出光量子假说。该实验旨在检验大模型是否具备提出颠覆性科学假设的能力，而非仅做知识检索与复述。结果引发对 AI 原创科学发现潜力的讨论。
量子位43 天前
★ 3
论文提出物理实验室可计算表示支持可验证工作流
研究建立物理实验室的可计算表示，通过类型化研究对象、能力约束操作和组合工作流代数，将工作流表达为程序。该表示在模块化智能体机器人实验室中实现，绑定形式操作到可执行功能技能。状态模拟传播对象转换并验证前提，为端到端自主科学发现提供通用计算接口。
arXiv cs.AI58 天前
★ 2
论文对比 AI 科学与人类科学的研究路径
一篇论文比较 AI 驱动的科学研究与人类科学研究的差异，探讨自动化科研在假设生成、验证与方法论上的特点与局限。该讨论关乎 AI 在科学发现中的角色定位。
Hacker News – AI6 天前
★ 2
Eurekist 推出 AI 驱动研究增速测量方法
Eurekist 提出一种衡量 AI 驱动科研产出指数级增长的方法，试图量化 AI 对研究节奏的实际加速作用。该工作关注如何用可观测指标评估 AI 在科学发现流程中的贡献，而非停留在个案叙述。
Hacker News – AI15 天前
★ 2
研究提出可能性推理实现开放式科学发现
论文将开放式科学发现问题形式化为 Abductive Autonomous Scientific Discovery（AASD），基于可能性理论引入可计算的溯因效用度量，并提出首个 AASD 算法 possibility frontier search，在合适条件下保持 anytime 有效性并渐…
arXiv cs.AI23 天前
★ 2
审计成对等价判断：多智能体假设生成中的自我批判与多样性测量
论文研究多智能体科学假设生成中的两个评测问题：自我批判相对运行间波动的真实增益，以及等价规则如何影响多样性测量。实验显示，从0到1轮批判带来34.5个百分点的机制级分歧，而1到5轮仅增加1.3个百分点。在等价规则对比中，替换起始事件时LLM评判识别出83%的有效对为不同机制，而TF-IDF为0%、…
arXiv cs.AI26 天前
★ 2
R-GroundBench：Markush 分子编辑基准
论文发布 R-GroundBench，基于真实专利 Markush 结构构建诊断基准，包含难度可控的 VQA 赛道与开放式生成赛道。结果显示模型在简单题上准确率超 90%，但难题降至 56-66%，化学领域视觉语言模型难题仅 25.7-46.2%，生成精确匹配普遍低于 20%。
arXiv cs.AI30 天前
★ 2
前沿探索观察：AI 进入科学发现需验证什么
该文为 70 强项目观察系列之一，聚焦 AI 在科学发现领域的应用，指出 AI 给出答案之外，如何验证结果、确保可靠性成为关键问题。文章探讨 AI for Science 从生成假设到实证检验的完整链条。
InfoQ AI41 天前
★ 2
时间对齐演化概念图用于科学关系预测
论文提出时间对齐的演化概念图框架，联合建模概念语义与图结构的演化，将带日期论文视为共享更新事件，从同一发表历史重建语义与结构状态。在含 187,848 篇论文、745 万共现链接的图上，完整框架将平均关系 AUROC 从最强基线的 0.9290 提升至 0.9722。同步刷新上下文相比冻结上下文使…
arXiv cs.AI45 天前