科学发现 LLM-DailyDigest 2026-08-11 2026-08-11 约 100 字 预计阅读 1 分钟 科学发现 本主题由提交工具自动创建，可在此补充洞察与资料。 相关消息（按子主题自动聚合） 世界模型 2 微软发布生物学世界模型 Project Quine 10-01 JEPA-Anything：跨异构世界的通用预测模型 09-19 代码评测 1 NatureBench：编程智能体能否复现论文中的 SOTA 08-12 元智能体编排 1 Eureka：面向科学发现的任务条件元代理编排 08-20 元进化 1 OpenMLE：单卡运行的 AI 自进化全栈系统 08-12 医疗人工智能 1 Isomorphic Labs披露AI药物设计引擎IsoDDE五年进展 10-01 医疗人工智能评测 1 OpenAI发布心理健康基准，Claude智能体发现未知酶系统 09-24 协同演化 2 EvoDuet：网页搜索与任务求解的双层协同演化 10-01 COEVOLVE：通过证据迁移协同演化科学发现原则 09-30 历史回测 1 科学问题发现的历史回测协议与天文学试点 08-18 反例搜索 1 Gowers：AI数学突破更擅长搜索反例与特殊构造 08-17 发现能力评测 1 Apodex Discovery：面向真实发现任务的AI评测环境 08-18 因果推理 1 EvoSCM：通过因果模型演化与实验实现科学信念修正 09-02 基因组模型 1 Hugging Face 发布 DNA-语言模型 Carbon-X 10-25 奖励建模 1 面向科学影响力的创意生成学习 09-25 学术搜索 1 百度“伐谋”自演化智能体：56分钟破解亿级特征组合搜索 08-14 实验设计 1 MDA：大模型与贝叶斯推断协同设计关键实验 08-15 开放式搜索 1 Large Discovery Models：基于实证的开放式科学搜索 08-19 强化学习 1 用强化学习搜索新物理 09-10 形式化证明 13 OpenAI与Anthropic模型被曝独立证伪指数时间假设 10-29 OpenAI多智能体生成纳维－斯托克斯证明，人类启动解读与核查 10-29 AlphaProof Nexus攻克9项埃尔德什问题并证明44项OEIS猜想 10-18 九章云极以可验证数学推理问鼎陶哲轩数学蒸馏挑战赛 10-18 AI批量攻克数学难题引发“数学末日”争议 10-10 报道称OpenAI用万名智能体攻关千禧年数学难题 10-10 多智能体提出C-HD最短路径算法并完成Lean验证 09-29 传OpenAI积压数百项AI生成数学证明 09-18 Aaronson称AI公司或暂未公开多项数学突破 09-16 OpenAI被曝逼近霍奇猜想，并与Anthropic竞逐BSD猜想 09-11 OpenAI称在第二道千禧年难题上取得实质性进展 09-11 GPT-5.6提出大素数空隙新构造并通过Lean验证 09-07 AI 辅助攻克森多夫猜想，陶哲轩推导出更强结果 08-16 技术生态 1 AI4AI 从自进化、元进化迈向递归自我改进 08-12 数学发现 1 Claude辅助构造S⁶复结构，挑战78年数学悬案 08-26 数学推理 5 数学家呼吁抵制 OpenAI 批量发布 AI 生成证明 10-09 未发布 Claude 推进黎曼猜想相关下界并支持形式化验证 10-08 机器学习计算链环的切片亏格与解结数 10-08 AI攻克百余数学难题后：数学评价转向人类理解 09-28 哈萨比斯：数学 AI 的“第37手”只是时间问题 08-11 数据合成 1 以训练分布归纳偏置学习可接受 PDE 假设的几何结构 09-01 数据策展 1 数学家质疑OpenAI Astra挪用未发表研究成果 09-10 智能体框架 1 SRHarness：面向智能体符号回归的科学搜索框架 09-30 机制发现 11 Principia：测试时假设与原理构建驱动科学发现 10-29 LLM 能否通过自由探索发现隐藏物理定律？ 10-29 几何无关的极端情景数据驱动发现 10-21 OptScientist：自动发现符号优化定律 10-21 基于可能性推理的开放式科学发现 10-10 LLM-IDEA：可识别性驱动的机制世界模型自主发现智能体 10-10 RISR：残差引导的大模型科学方程发现 10-10 NeuronDiscover：以世界行动模型发现神经微环境机制 09-30 MechBench：评测 AI 科研智能体的机制发现能力 09-30 ALDER：通过行动发现并修正世界规律 09-29 Mechanist：自主发现 AI 智能机制的科学智能体 08-14 模型发布 1 OpenAI 推出 GPT-Rosalind 生物学模型学术计划 10-18 模型路由 1 英伟达开源 Nemotron 3.5 Lightning 与 NeMo Switchyard 08-13 溯因推理 1 LLM 不为“跃迁”付出代价：机器溯因缺少物理成本 08-17 物理重建 1 Code-as-World：从视频逆推可执行物理世界 08-29 神经符号人工智能 1 LieDiscover：自适应符号库驱动的开放形式对称性发现 09-29 科研平台 1 ScienceDiscovery：可溯源的一站式 AI 科研工作台 08-17 科研智能体 11 数千个 GPT‑Rosalind 智能体并行挖掘全脑 CRISPR 图谱 10-22 GBClaw：面向晶界研究与机理发现的智能体框架 10-21 算法探索廉价化：EDA 智能体科研案例 10-08 编码智能体改进编辑距离码下界 10-01 OpenScience 开源科研智能体端到端完成科研循环 09-28 Claude 完成 N=4 超杨-米尔斯理论九圈散射振幅计算 09-26 SynAgent：多模态智能体驱动的假设式自主材料合成 09-17 HypoEvolve：遗传算法驱动多智能体发现科学假设 09-15 OmniScientist：全模态跨学科 AI 科学家 08-16 Intern-S2-Preview：科学智能体基础模型 08-15 AIBuildAI Science Agent：4小时自主完成顶刊级模型研发 08-13 科研自进化 1 Jeff Dean谈递归自我改进与Discovery Loop科研自动化 08-22 科研评测 6 SciExam for ENSO：AI 智能体能否构建气候模型？ 10-08 ExplorationBench：在可验证异世界中评测 AI 探索能力 09-25 GPT-1900重演光量子：AI科学创造力的“爱因斯坦测试” 09-21 “爱因斯坦测试”：GPT-1900尝试重现突破性科学发现 09-19 SCILAWS-BENCH：评测 LLM 在真实与平行世界中发现科学定律 09-02 MLS-Bench：140道真实任务检验AI方法创新能力 08-13 程序进化 1 ExpEvolve：以想法级经验复用推动开放式发现 10-22 自动化科学研究 34 PSI用AI辅助突破5项量子信息开放问题 10-29 OpenAI 宣布 AI 模型取得三项科学理论突破 10-27 1946个AI智能体并行分析小鼠脑CRISPR图谱 10-24 ADAPT for Science：自进化科学优化多智能体系统 10-23 多智能体团队自主发现线性注意力架构 10-22 AI 智能体发现低延迟共识协议 A-greement 10-22 前向引文监督生成可操作研究局限 10-19 Self-Building Labs：自主构建科学实验室 10-19 Claude 半小时追溯 NIST 椭圆曲线种子来源 10-18 Liam Fedus：AI 科学家必须走进实体实验室 10-18 Claude Mythos 5 闭环优化量子电路，八项任务刷新最优设计 10-18 SED-MCTS：通过结构经验蒸馏实现可解释的 PDE 解发现 10-10 OpenAI 公开 722 篇 AI 生成数学手稿 10-08 语言模型发现更快的分子几何弛豫算法 AutoSella 10-08 GPT-6 Astra辅助构造Grad核聚变猜想反例 10-08 Caltech用PINN发现三维无强迫欧拉方程奇点候选解 10-08 OpenAI多智能体用88小时攻克百万美元数学悬赏题 10-08 OpenAI称AI一周推进十年数学进展，下一站瞄准生命科学 10-08 当科学认知不再稀缺：AI 驱动的科研稀缺性倒置 10-08 Caltech用PINN发现三维无强迫欧拉方程自相似奇点候选 10-01 AutoMIP：面向混合整数规划的长程自动研究 10-01 DNA 瘦身：可审计智能体发现纯删除式序列设计器 10-01 微软发布 Quine，加速抗癌药物筛选 09-30 DoAtlas-2：自进化因果生物医学发现基础平台 09-30 自主量子相发现：梯度驱动探索哈密顿量空间 09-29 OpenAI科学智能体突破促使生物学竞赛改制 09-28 AI Skill 自动发现科研 Idea 并运行实验 09-25 AI自主跑实验并生成论文 09-25 950个Claude协作发现噬菌体新酶系统ART 09-24 OpenAI万级智能体协作求解Navier-Stokes引发安全焦虑 09-16 发现基础模型：迈向开放式发现智能 09-15 王梦迪：AI科学发现的瓶颈在长尾探索与实验验证 09-10 陶哲轩警告黑箱AI解题或“污染”数学研究 09-07 Hakken：预测未来科学发现，填补现有知识空白 09-07 蛋白质建模 4 Claude 64小时生成31.8万种蝎毒结合蛋白方案 10-22 Claude Science设计抗蝎毒蛋白并通过湿实验验证 10-21 RFdiffusion3 实现原子级蛋白质与核酸设计 10-19 Anthropic与Geodesic竞逐AI蛋白质设计闭环 09-19 蛋白质设计 1 Claude自主设计蛋白质结合剂，14个靶标实验命中 08-20 评测基准 2 SymbolicArena：符号回归基准蒸馏与动态评测基础设施 09-30 CausalArena：基础模型时代的因果发现评测基准 09-11 递归自我改进 2 DiscoveryRSI：递归学习发现高价值科学假设 10-19 RSI-Anything：以世界模型驱动跨领域递归自我改进 10-18 闭环科学发现 1 Gemini Co-Scientist 加速真实世界闭环科研 08-29 闭环自进化 1 生成式对抗循环：自动设定基准并发现算法 10-10
