Lattice 打造本地 LaTeX 工作台:整合 Overleaf 同步并接入 Claude Code
Lattice 推出面向学术研究的本地 LaTeX 工作台,将论文编辑、PDF 实时预览与文献笔记整合在同一工作区。它支持与 Overleaf 双向同步,并能直接接入 Claude Code 等 Coding Agent 来排查编译错误和修改排版,省去多工具频繁切换的麻烦。
AI 领域的重要论文、新基准和新方法,以及 AI 在生物、医药、材料等科学研究里的突破。
Lattice 推出面向学术研究的本地 LaTeX 工作台,将论文编辑、PDF 实时预览与文献笔记整合在同一工作区。它支持与 Overleaf 双向同步,并能直接接入 Claude Code 等 Coding Agent 来排查编译错误和修改排版,省去多工具频繁切换的麻烦。
Anthropic 科学博客发文探讨 AI 对科学建模的改变。过去科学家需要手动编写并比对多种竞争模型,现在 AI 能将模型写成代码并自动运行、拟合与修改,从而快速探索多种可能的模型结构,找出契合真实数据的科学解释。
OpenAI 联合 Ligo 推出评测基准 BioBasicsBench,用电泳图、显微镜成像等原始实验数据,测试 AI 智能体处理 100 项日常湿实验分析的能力。在最高推理设置下,GPT-6 Astra 拿到 66.7% 的分数,远超 GPT-5.6 Sol。不过模型在对照检查和菌落计数上仍容易犯错。
PSI 团队借助非公开的 Anthropic 模型与 Lean 验证器,仅用 3 天便完整证明了悬而未决 18 年的阿伦森-安拜尼斯猜想。该定理正式确认量子计算机处理无规律随机数据时无法实现指数级加速,彻底为量子计算划定了严格的数学边界。
Anthropic 公布让 Claude 玩太空网游 EVE 的实验结果。在模拟市场中,最新模型靠低买高卖赚取价差,把本金做大高达 600%;但在 4 人组队任务里,智能体几乎抓不出暗中搞破坏的队友。这展现了 AI 自主管理资本的潜力,也揭示了多智能体协作的信任漏洞。
Anthropic 提出名为「做梦」的智能体记忆机制,让 Claude 在任务间隔的空闲时间复盘历史日志,自动修正错误笔记并提炼长期规则。这模拟了人类睡眠时的记忆巩固,核心在于让 AI 学会判断什么才值得记,而不是盲目把所有细节塞满上下文。
Anthropic 资助的图宾根学者撰文指出,AI 参与科学建模必须超越单纯拟合数据。研究者提出通过基于模拟的推断和智能体,让 AI 探索合理模型的概率分布,而非只给单一答案。这有助于科学家从无数可能中提炼真正的机理洞察。
Runway 公布实时数字人 Characters 的推理优化方案,将 57B 视频模型的硬件需求从 8 张 H100 减半至 4 张。通过在写入缓存时做量化并融合通信算子,单步扩散缩至 147.4 毫秒,稳定跑满 24 帧实时生成。这意味着大规模部署实时高保真视频的硬件门槛大幅降低。
Anthropic 生物实验室在 Claude 协助下,首次解析出原核生物中类似穹窿体(vault)的 3D 蛋白质结构。从搜寻基因、优化提纯到处理冷冻电镜数据,Claude 参与了全流程,把原本需数周的模型搭建缩短至 34 小时。这为揭开这一自 1986 年发现以来功能未明的巨大结构带来了新线索。
MIT 研究人员发现,OpenAI 的 GPT-6 Astra 能在不进行二次训练的情况下,直接读取并修改其他小模型的连续权重。在测试中,Astra 仅修改了 Qwen 模型 0.016% 的权重就修补了死循环缺陷,将其数学得分从 7.9% 拉高至 48.1%。这意味着前沿模型未来或能直接在底层手动升级 AI,无需依赖繁重的训练流程。
DeepPrinciple 开源 7530 亿参数科研模型 Hydrogen-1.0。它基于 GLM-5.3 后训练,能分析核磁共振谱图、编写分子模拟代码并自主修复错误,还能将实验方案编译为机器人指令。在部分科学推理任务中其表现优于 GPT-6-Astra,权重已在 Hugging Face 开放。
研究人员提出「权重空间编程」,GPT-6 Astra 无需训练即可直接读写模型参数。它仅修改 Qwen3.5-0.8B 约 0.016% 的权重就消除死循环,数学得分从 7.9% 跃升至 48.1%。不过该优化借助了代码工具测试,并未普适于其他模型。
Anthropic 开源可验证推理系统 FlashProve,利用 zkSNARK 零知识证明技术,在不暴露模型权重的前提下,验证回答是否确由指定模型生成。在单张 H100 上跑 400B 规模的 Llama 4 Maverick,证明速度达每秒 110 token。虽然生成证明比原生推理慢 70 至 95 倍,但普通 CPU 几秒内即可完成验证,为防范输出篡改和合规监管提供了新工具。
Google 宣布 Project Suncatcher 原型卫星通过在轨 TPU 运行 Gemma 4 模型,传回首个太空 AI 回复。卫星飞经挪威地面站时受命写下一首太空俳句。团队后续将测试其抗辐射与热应力表现,计划 2027 年发射双互联卫星。
Anthropic 披露多项 Claude 制药成果,并宣布收购单人药企 Mithril Medicine,正式下场自研药物。借助 Claude 协作,Mithril 的候选药 18 个月即跑通小鼠实验,有望 2028 年底进人体试验;它还在 4 小时内起草原本耗时 3 个月的监管申报。不过官方提示该业务可能无法产生收益。
Cortical Labs 推出 HIVE 系统,将 15 台搭载活体人类神经元的 CL1 生物计算机组网协同。在虚拟导航测试中,15 台集群得分达到约 70%,大幅领先传统深度 Q 网络的 32%。这种脑细胞分工机制有效平抑了生物活体的波动,证明了网络化生物计算的落地潜力。
OpenAI 宣布其未发布模型在数学、计算机科学与物理学取得三项突破,包括证伪被广泛引用的指数时间假说(ETH),以及推进千禧年物理难题。最关键的是,部分成果已完成 Lean 形式化验证,并交由原假说提出者与诺奖得主牵头核实。
研究人员推出 DecisionRAG,用决策模型替代传统向量检索与生成式推理。系统借鉴人类查阅图书的层级结构,单次前向传播即可给同级选项同时打分,不生成文本直接逐层定位。在 268 万段维基百科测试中,检索仅需 0.7 到 1.8 秒,召回率大幅领先传统重排方案。
Microsoft 在《Science》发表多智能体诊断系统 MAI-DxO。它模拟医生专家组多轮会诊,在《新英格兰医学杂志》复杂病例中达到 83% 准确率,远超查阅资料的医生(36%),且检查花费减少一半以上。最值得关注的是,AI 能自主权衡开单收益与成本,目前正计划在波士顿医院展开前瞻性临床测试。
研究团队提出 3D 重建方案 HiP3R。它采用分层位姿图结构,先做视频片段级整体对齐,再逐帧优化统一相机位姿,解决长视频拼接时的机位漂移问题。最值得关注的是,它无需重训基础大模型,直接插入现有算法就能稳定重建连贯大场景。