AI FOR SCIENCE · 记录
MIT
记录里的研究
- 2026-10-14叠加在 ECMWF 预报之上的机器学习校正，在 ECMWF 2025 年第三、四周实时预报竞赛中排名第一，胜过六家业务预报中心和 34 支队伍第 3 级 · 对照已有证据检验
- 2026-10-08AutoDrude 直接从 DFT 拟合可极化力场，抓住了电荷缩放抓不住的聚合物电解质锂传输行为第 3 级 · 对照已有证据检验
- 2026-10-08一种双重亚稳合成法做出四个相，其中三个与作者检索的实验库和计算库里的结构都对不上第 4 级 · 在物理世界里被检验
- 2026-10-01MIT 的 VISTA 框架让 Claude Opus 5.0 只看画面就通关 ARC-AGI-3 全部 25 个公开游戏，没有训练新模型第 2 级 · 算出来了
- 2026-09-18麻省理工的贝叶斯优化 AI 仅用六轮实验就找到耐热 mRNA 疫苗配方第 4 级 · 在物理世界里被检验
- 2026-09-16ShEPhERD-2 仅凭 3D 相互作用谱设计类药分子，采样速度比前代快 6.4 倍第 2 级 · 算出来了
- 2026-09-15Google、Google DeepMind 与 MIT FutureTech 调查 637 名科学家、分析 1500 万次 Gemini 对话：每周约省 7 小时，其中不少花在核查 AI 输出上未分级
- 2026-09-08GPT-5.6 Sol 在超导量子芯片上运行实验第 4 级 · 在物理世界里被检验
- 2026-09-08MIT 的 IRIS 从基因表达反推细胞在发育中接收过哪些信号，一项小鼠组织实验证实了它的一个预测第 4 级 · 在物理世界里被检验
- 2026-08-26MIT 用 AI 写的 12.6 万种晶体描述训练晶体-文本模型；改用论文原句训练，按性质检索与随机无异第 2 级 · 算出来了
- 2026-08-18ASI-Bench 测试缺少逐步指导时的自主科研能力第 2 级 · 算出来了
本站的解读
- 2026-10-05同一个模型，换一套外围系统：三份证据说明框架能决定多少成绩简报
- 2026-10-05VISTA 不训练新模型，只改模型看和记的方式：ARC-AGI-3 的 25 个公开游戏全部通关简报
- 2026-09-26Codex 参与真实量子芯片校准：一次公开运行说明了什么简报
- 2026-10-20Codreanu：AI 把科研瓶颈推向验证，选题可能趋于保守评论Annelies Gamble · Mixture of Experts
- 2026-10-19Bravo-Abad：报出设计成功率，让测试贴近下一次真实使用评论Jorge Bravo-Abad · Discovery at Scale
- 2026-09-13Johnson：仪器接口降低 agent 操作门槛，但不给它物理状态模型评论Justin Johnson · Run Data Run
时间线上的其他条目
人物
只列 AI4S.fyi 记录里出现过的人：融资、时间线、评论、访谈或有出处的任职。不是完整团队。
在 AI4S.fyi 里出现
Larry Guth数学系 Claude E. Shannon（1940）讲席教授 一份声称证明了所有维度局部平滑猜想的论文，连带给出所有维度的 Kakeya 猜想；已发表的结果只到三维
Ryan Williams电气工程与计算机科学教授 OpenAI 与 Anthropic 各自宣称找到亚指数时间的 3-SAT 算法，推翻指数时间假设；两边都过了 Lean 检查，但都没有外部核验
Pulkit Agrawal电气工程与计算机科学系副教授，领导 CSAIL 的 Improbable AI 实验室 MIT 的 Pulkit Agrawal 与前 DeepMind 的 Tuomas Haarnoja 创办的 Eka Robotics 完成 1.5 亿美元 A 轮，做能靠力感抓取的机器人
Artur Lyssenko2026 年预印本署名单位（第一作者），材料科学与工程系 AutoDrude 直接从 DFT 拟合可极化力场，抓住了电荷缩放抓不住的聚合物电解质锂传输行为
Joseph G. Checkelsky2026 年预印本署名单位（通讯作者），物理系 一种双重亚稳合成法做出四个相，其中三个与作者检索的实验库和计算库里的结构都对不上
Kyuho Lee2026 年预印本署名单位（第一作者、通讯作者），物理系 一种双重亚稳合成法做出四个相，其中三个与作者检索的实验库和计算库里的结构都对不上
Rafael Gómez-Bombarelli材料科学与工程系副教授 AutoDrude 直接从 DFT 拟合可极化力场，抓住了电荷缩放抓不住的聚合物电解质锂传输行为
Pavel Etingof数学教授；MIT PRIMES 首席研究顾问 Etingof、Gerovitch：AI 能证定理后，招聘要少看论文、多看理解力
再显示 13 人
Slava GerovitchPRIMES/MathROOTS 项目主任；数学系高级讲师 Etingof、Gerovitch：AI 能证定理后，招聘要少看论文、多看理解力
Kaiming He电气工程与计算机科学系终身副教授 MIT 的 VISTA 框架让 Claude Opus 5.0 只看画面就通关 ARC-AGI-3 全部 25 个公开游戏，没有训练新模型
Linlu Qiu电气工程与计算机科学系及 CSAIL 博士生，导师为 Yoon Kim 与 Jacob Andreas MIT 的 VISTA 框架让 Claude Opus 5.0 只看画面就通关 ARC-AGI-3 全部 25 个公开游戏，没有训练新模型
Ana Jaklenec现任 首席研究科学家、课题组负责人 · 麻省理工学院科赫综合癌症研究所 麻省理工的贝叶斯优化 AI 仅用六轮实验就找到耐热 mRNA 疫苗配方
Henry Cohn数学教授 Cohn：零散无解释的 AI 证明是技术债，理解的活推给了别人
Beatriz Yankelevich电气工程与计算机科学系研究生 GPT-5.6 Sol 在超导量子芯片上运行实验
Pulin Li生物学副教授；Whitehead 研究所核心成员 MIT 的 IRIS 从基因表达反推细胞在发育中接收过哪些信号，一项小鼠组织实验证实了它的一个预测
Arya Rao现任 哈佛-麻省理工医学博士/哲学博士候选人 · 哈佛-麻省理工 MD-PhD 项目 Rao 等：AI 科学家应在可交互的隐藏世界里接受评测- EElsa OlivettiJerry McAfee 工程讲席教授；材料科学与工程系教授 MIT 用 AI 写的 12.6 万种晶体描述训练晶体-文本模型；改用论文原句训练，按性质检索与随机无异
- JJu LiCarl Richard Soderberg 动力工程讲席教授；核科学与工程系、材料科学与工程系教授 MIT 用 AI 写的 12.6 万种晶体描述训练晶体-文本模型；改用论文原句训练，按性质检索与随机无异
Markus BuehlerJerry McAfee (1940) 工程学教授 Unreasonable Labs 的 ProjectionBench 让模型只凭研究问题预测一篇新论文的结果，再逐步给出更多细节；GPT-5.4 得分最高
Tess Smidt电子工程副教授；领导 Atomic Architects 研究组 Smidt：物理学没有一个让 AI 统一接入的接口- CCathy WuClass of 1954 职业发展讲席教授
曾在这里
Jian Ma现任 创始人 · 晶泰科技 晶泰科技的 LCMS2Yield 预测反应产物吸收紫外光的强弱，测收率不必先纯化出一份对照样品
Shuhao Wen现任 创始人 · 晶泰科技 晶泰科技的 LCMS2Yield 预测反应产物吸收紫外光的强弱，测收率不必先纯化出一份对照样品
Nicholas T. Hutchins2026 年论文署名单位（第一作者），生物工程系 MIT 的 IRIS 从基因表达反推细胞在发育中接收过哪些信号，一项小鼠组织实验证实了它的一个预测- YYang Jeong Park材料科学与工程系、核科学与工程系博士后 MIT 用 AI 写的 12.6 万种晶体描述训练晶体-文本模型；改用论文原句训练，按性质检索与随机无异
Chenru Duan现任 创始人 · 深度原理 深度原理 · A3 轮 · 未披露
Haojun Jia现任 创始人 · 深度原理 深度原理 · A3 轮 · 未披露
Caida Lai现任 创始人 · 剂泰科技 剂泰科技 · 港股 IPO · 募资总额约 21.13 亿港元
Wenshou Wang现任 创始人 · 剂泰科技 剂泰科技 · 港股 IPO · 募资总额约 21.13 亿港元
Lipeng Lai现任 创始人 · 晶泰科技 晶泰科技 · 配售新股 · 总额约 26.533 亿港元- TTheo Schafer现任 创始人 · Tetsuwan Scientific Tetsuwan Scientific · 种子前轮 · 270 万美元
本页汇总 AI4S.fyi 已记录的内容，每一条都链接到来源。它不是对这家机构的评分，也不是完整历史：空白往往说明记录还没跟上，而不一定说明什么都没发生。