Lattice 打造本地 LaTeX 工作台：整合 Overleaf 同步并接入 Claude Code
Lattice 推出面向学术研究的本地 LaTeX 工作台，将论文编辑、PDF 实时预览与文献笔记整合在同一工作区。它支持与 Overleaf 双向同步，并能直接接入 Claude Code 等 Coding Agent 来排查编译错误和修改排版，省去多工具频繁切换的麻烦。
AI科研 · 日报
周六
昨天
周五
11月6日 星期五
Anthropic 博客解析：AI 如何改变科学建模
Anthropic 科学博客发文探讨 AI 对科学建模的改变。过去科学家需要手动编写并比对多种竞争模型，现在 AI 能将模型写成代码并自动运行、拟合与修改，从而快速探索多种可能的模型结构，找出契合真实数据的科学解释。
OpenAI 推出湿实验基准 BioBasicsBench：GPT-6 Astra 跑出 66.7% 得分
OpenAI 联合 Ligo 推出评测基准 BioBasicsBench，用电泳图、显微镜成像等原始实验数据，测试 AI 智能体处理 100 项日常湿实验分析的能力。在最高推理设置下，GPT-6 Astra 拿到 66.7% 的分数，远超 GPT-5.6 Sol。不过模型在对照检查和菌落计数上仍容易犯错。
PSI 用非公开 Anthropic 模型攻克阿伦森-安拜尼斯猜想：量子计算 18 年悬案告破
PSI 团队借助非公开的 Anthropic 模型与 Lean 验证器，仅用 3 天便完整证明了悬而未决 18 年的阿伦森-安拜尼斯猜想。该定理正式确认量子计算机处理无规律随机数据时无法实现指数级加速，彻底为量子计算划定了严格的数学边界。
Anthropic 让 Claude 玩 EVE：靠炒货把资金翻 6 倍，组队却查不出「内鬼」
Anthropic 公布让 Claude 玩太空网游 EVE 的实验结果。在模拟市场中，最新模型靠低买高卖赚取价差，把本金做大高达 600%；但在 4 人组队任务里，智能体几乎抓不出暗中搞破坏的队友。这展现了 AI 自主管理资本的潜力，也揭示了多智能体协作的信任漏洞。
Anthropic 详解 Claude 记忆机制：让智能体靠「做梦」自动纠错
Anthropic 提出名为「做梦」的智能体记忆机制，让 Claude 在任务间隔的空闲时间复盘历史日志，自动修正错误笔记并提炼长期规则。这模拟了人类睡眠时的记忆巩固，核心在于让 AI 学会判断什么才值得记，而不是盲目把所有细节塞满上下文。
Anthropic 资助学者谈科学建模：让 AI 找规律洞察，而非光拟合数据
Anthropic 资助的图宾根学者撰文指出，AI 参与科学建模必须超越单纯拟合数据。研究者提出通过基于模拟的推断和智能体，让 AI 探索合理模型的概率分布，而非只给单一答案。这有助于科学家从无数可能中提炼真正的机理洞察。
周四
11月5日 星期四
Runway 优化 57B 实时视频模型：算力需求减半，4 张 H100 跑出 24 帧
Runway 公布实时数字人 Characters 的推理优化方案，将 57B 视频模型的硬件需求从 8 张 H100 减半至 4 张。通过在写入缓存时做量化并融合通信算子，单步扩散缩至 147.4 毫秒，稳定跑满 24 帧实时生成。这意味着大规模部署实时高保真视频的硬件门槛大幅降低。
周三
11月4日 星期三
Anthropic 用 Claude 攻克生物谜题：首次解析原核生物穹窿体 3D 结构
Anthropic 生物实验室在 Claude 协助下，首次解析出原核生物中类似穹窿体（vault）的 3D 蛋白质结构。从搜寻基因、优化提纯到处理冷冻电镜数据，Claude 参与了全流程，把原本需数周的模型搭建缩短至 34 小时。这为揭开这一自 1986 年发现以来功能未明的巨大结构带来了新线索。
周二
11月3日 星期二
MIT 演示 AI 直接重写模型权重：无需训练，仅改 0.016% 修复小模型缺陷
MIT 研究人员发现，OpenAI 的 GPT-6 Astra 能在不进行二次训练的情况下，直接读取并修改其他小模型的连续权重。在测试中，Astra 仅修改了 Qwen 模型 0.016% 的权重就修补了死循环缺陷，将其数学得分从 7.9% 拉高至 48.1%。这意味着前沿模型未来或能直接在底层手动升级 AI，无需依赖繁重的训练流程。
周一
11月2日 星期一
DeepPrinciple 开源科研模型 Hydrogen-1.0：7530 亿参数，写模拟代码还能自己修
DeepPrinciple 开源 7530 亿参数科研模型 Hydrogen-1.0。它基于 GLM-5.3 后训练，能分析核磁共振谱图、编写分子模拟代码并自主修复错误，还能将实验方案编译为机器人指令。在部分科学推理任务中其表现优于 GPT-6-Astra，权重已在 Hugging Face 开放。
权重空间编程：GPT-6 Astra 直接改写模型参数，数学跑分翻 6 倍
研究人员提出「权重空间编程」，GPT-6 Astra 无需训练即可直接读写模型参数。它仅修改 Qwen3.5-0.8B 约 0.016% 的权重就消除死循环，数学得分从 7.9% 跃升至 48.1%。不过该优化借助了代码工具测试，并未普适于其他模型。
Anthropic 开源 FlashProve：用零知识证明防模型掉包，单卡每秒 110 token
Anthropic 开源可验证推理系统 FlashProve，利用 zkSNARK 零知识证明技术，在不暴露模型权重的前提下，验证回答是否确由指定模型生成。在单张 H100 上跑 400B 规模的 Llama 4 Maverick，证明速度达每秒 110 token。虽然生成证明比原生推理慢 70 至 95 倍，但普通 CPU 几秒内即可完成验证，为防范输出篡改和合规监管提供了新工具。
周五
10月30日 星期五
Google 卫星首发太空 AI 回复：在轨 TPU 跑通 Gemma 4 写俳句
Google 宣布 Project Suncatcher 原型卫星通过在轨 TPU 运行 Gemma 4 模型，传回首个太空 AI 回复。卫星飞经挪威地面站时受命写下一首太空俳句。团队后续将测试其抗辐射与热应力表现，计划 2027 年发射双互联卫星。
周二
10月27日 星期二
Anthropic 收购单人药企：靠 Claude 搞定药物设计，启动自研制药
Anthropic 披露多项 Claude 制药成果，并宣布收购单人药企 Mithril Medicine，正式下场自研药物。借助 Claude 协作，Mithril 的候选药 18 个月即跑通小鼠实验，有望 2028 年底进人体试验；它还在 4 小时内起草原本耗时 3 个月的监管申报。不过官方提示该业务可能无法产生收益。
Cortical Labs 联机 15 台生物计算机：活体神经元协同，跑赢传统 AI
Cortical Labs 推出 HIVE 系统，将 15 台搭载活体人类神经元的 CL1 生物计算机组网协同。在虚拟导航测试中，15 台集群得分达到约 70%，大幅领先传统深度 Q 网络的 32%。这种脑细胞分工机制有效平抑了生物活体的波动，证明了网络化生物计算的落地潜力。
周一
10月26日 星期一
OpenAI 称 AI 取得三大科研突破：证伪 ETH 假说并推进千禧年难题
OpenAI 宣布其未发布模型在数学、计算机科学与物理学取得三项突破，包括证伪被广泛引用的指数时间假说（ETH），以及推进千禧年物理难题。最关键的是，部分成果已完成 Lean 形式化验证，并交由原假说提出者与诺奖得主牵头核实。
研究人员推出 DecisionRAG：不用检索器，268 万段资料检索只要 0.7 秒
研究人员推出 DecisionRAG，用决策模型替代传统向量检索与生成式推理。系统借鉴人类查阅图书的层级结构，单次前向传播即可给同级选项同时打分，不生成文本直接逐层定位。在 268 万段维基百科测试中，检索仅需 0.7 到 1.8 秒，召回率大幅领先传统重排方案。
周四
10月22日 星期四
Microsoft 诊断系统登《Science》：准确率超医生两倍，成本压低过半
Microsoft 在《Science》发表多智能体诊断系统 MAI-DxO。它模拟医生专家组多轮会诊，在《新英格兰医学杂志》复杂病例中达到 83% 准确率，远超查阅资料的医生（36%），且检查花费减少一半以上。最值得关注的是，AI 能自主权衡开单收益与成本，目前正计划在波士顿医院展开前瞻性临床测试。
周三
10月21日 星期三
HiP3R 提出分层位姿图：不用重训模型，长视频也能稳拼 3D 大场景
研究团队提出 3D 重建方案 HiP3R。它采用分层位姿图结构，先做视频片段级整体对齐，再逐帧优化统一相机位姿，解决长视频拼接时的机位漂移问题。最值得关注的是，它无需重训基础大模型，直接插入现有算法就能稳定重建连贯大场景。
OpenAI 派数千个智能体看脑细胞：人类要做一年的分析，32 分钟搞定
OpenAI 联合 PerturbAI 与 Scripps Research 展示了一项研究：利用数千个 GPT-Rosalind 驱动的分布式智能体，在 32 分钟内分析了数百万小鼠脑细胞的 CRISPR 数据。这原本需要人类耗费数月甚至一年，智能体不仅重现了既有结论，还顺藤摸瓜找出了帕金森等脑病的新线索。
周二
10月20日 星期二
Meta 发布多智能体世界模型 Overseer：给虚拟世界装监控，让多个 AI 视角一致
Meta 推出多智能体世界模型 Overseer。不同于以往单角色模型，它在 AI 第一人称视角外引入类似监控的固定辅助视角，让多个智能体在同一环境中行动时画面保持同步，已在 Minecraft 等游戏中验证。目前模型未开源，仅公开了数据集。
Claude 跨界解毒：64 小时设计出 17 种抗蝎毒素微蛋白
Anthropic 公布其内部 Claude 模型在 64 小时自主运行中生成了 318,484 个蛋白设计，并挑选出 211 个送检。经合作实验室验证，其中 17 种微蛋白成功结合目标蝎神经毒素。该实验展示了 AI 自主设计蛋白质、加速冷门疾病药物研发的潜力。
周五
10月16日 星期五
Anthropic 借闭环迭代设计量子电路：Claude 刷新 8 项基准，最高省 12 倍算力
Anthropic 公布研究，让 Claude Mythos 5 在无人干预的闭环中设计量子电路。在化学、数论等 8 项基准任务中，其方案全部超越此前已发表纪录，将核心步骤开销最高降低约 12 倍。这意味着 AI 能自主推演数学规律来加速量子算法落地。
Claude 破解 25 年悬案：NIST 椭圆曲线种子来自 90 年代 C 语言随机数
Anthropic 的 Claude 破解了困扰密码学界 25 年的悬案，反推了 NIST ECDSA 椭圆曲线种子的来源。它发现种子并非传闻中的短语哈希，而是 1997 至 1998 年用 C 语言 lrand48 结合时间戳生成的。这一发现证实曲线不存在故意设计的后门。
周四
10月15日 星期四
Sakana AI 开源 The Agentic Scientist：给科研智能体加上证据检验
Sakana AI 开源发布第三代科研系统 The Agentic Scientist。输入一份 Markdown 简报，系统即可调度智能体跑并行实验、出图并撰写论文草稿。新版最大变化是引入自动化基线与消融检验来核实结果，但最终判断仍交由人类科学家把关。
Google 攻克量子计算 20 年瓶颈：Willow 芯片实现魔术态培育，误差直降 40 倍
Google Quantum AI 在《Science》发表突破，在 Willow 处理器上成功运行「魔术态培育」技术。该方案将误差降低约 40 倍，逻辑保真度达 99.99%。这解决了以往容错魔术态需耗费量子计算机高达 95% 算力的陈年瓶颈，让实用化量子计算更近一步。
动作模型 Möbius：一句话生成 3D 动作，还能反向理解与指令编辑
研究人员提出统一动作-语言模型 Möbius，把 3D 人体动作的生成、理解、补全与编辑整合进同一个架构。模型直接处理连续帧级动作，省去了离散化和预训练 VAE，参数最高拓展至 1.7B。这意味着同一个模型既能听懂动作也能做动画，大幅降低了 3D 角色动作制作与微调的门槛。
OpenAI 推出学术资助计划：生物模型 GPT-Rosalind 免费开放给高校实验室
OpenAI 推出 Rosalind Academic Plan。符合条件的美国高校实验室可获最长 12 个月、最多 30 个免费席位，使用生命科学专用模型 GPT-Rosalind 及科研工作台。该计划旨在降低前沿生物科研门槛，需通过安全资质审核，目前暂不提供 API。
