Peking University

记录里的研究

• 2026-10-24字节跳动 Seed 与北京大学把总自旋对称性严格写进神经网络波函数，用它解出铁硫簇的自旋阶梯第 3 级 · 对照已有证据检验
• 2026-10-23用神经网络修正重构体，原子级电子断层在六分之一的剂量下恢复到原有精度，但只重读了一套倒转序列第 2 级 · 算出来了
• 2026-10-08一个世界模型学会在原子模拟里向前跳步：直接预测哪些原子动了、过去了多少物理时间，物理性靠硬约束钉住第 2 级 · 算出来了
• 2026-10-06北京大学团队与编码智能体在 Lean 中形式化庞加莱猜想：约 280 万行代码，主体阶段两周多，花费约 2.5 万美元第 2 级 · 算出来了
• 2026-09-29CARAT 检验材料大模型是在推理晶体结构，还是在抄输入里已经印出来的答案第 2 级 · 算出来了
• 2026-09-15从电催化文献中学习的模型给七种稀土掺杂排序，实验证实了前四位的顺序第 4 级 · 在物理世界里被检验
• 2026-09-14北京大学团队的开源科研智能体 OpenAI4S 把每一步存成可重跑的代码，在 36 个科学任务上得 7.83 分，Claude Code 为 5.7 至 6.4 分第 2 级 · 算出来了
• 2026-09-09西湖大学与深势科技在 Nature 发表 ProteinTalks：用药物处理后的乳腺癌蛋白质组训练的虚拟细胞，它挑出的药在三名患者的类器官上做了测试第 4 级 · 在物理世界里被检验
• 2026-03-01深势科技牵头的 RealPXRD-Solver 直接从实测粉末衍射图谱解出晶体结构，并解出 39 个此前从未报道过结构的数据库条目第 3 级 · 对照已有证据检验
• 2025-10-23剂泰科技称 MTS-004 达到 III 期主要终点：这款片剂的制剂由公司自己的 AI 工具设计，试验入组 264 名患者，适应症是无法控制的哭笑第 5 级 · 投入实际使用

按证据走了多远分级，不是按结果好坏。见方法论。

本站的解读

• 2026-09-26MatSemNet：用文献训练的模型给七种稀土掺杂排序，实验测出的前四名与预测一致简报

人物

只列 AI4S.fyi 记录里出现过的人：融资、时间线、评论、访谈或有出处的任职。不是完整团队。